Commits

Commit history

1. Commits on Aug 26, 2026

   • Merge pull request #3474 from apalache-mc/release/0.62.2

     Show description for fefda08
     konnov

     authored
     fefda08View commit details

     Copy full SHA for fefda08

     Browse repository at this point

   • Bump version to 0.62.3-SNAPSHOT

     Show description for 34a33d5
     

     konnov

     committed
     34a33d5View commit details

     Copy full SHA for 34a33d5

     Browse repository at this point

   • [release] 0.62.2

     Show description for f0dec98
     

     konnov

     committed
     f0dec98View commit details

     Copy full SHA for f0dec98

     Browse repository at this point

   • Merge pull request #3465 from apalache-mc/igor/types3464

     Show description for ebab03e
     konnov

     authored
     ebab03eView commit details

     Copy full SHA for ebab03e

     Browse repository at this point

   • Merge branch 'main' into igor/types3464

     konnov

     authored
     562bfc8View commit details

     Copy full SHA for 562bfc8

     Browse repository at this point

   • Merge pull request #3466 from apalache-mc/igor/json-ir-label

     Show description for 93cbc4a
     konnov

     authored
     93cbc4aView commit details

     Copy full SHA for 93cbc4a

     Browse repository at this point

   • Merge branch 'main' into igor/json-ir-label

     konnov

     authored
     877aa52View commit details

     Copy full SHA for 877aa52

     Browse repository at this point

   • Merge pull request #3473 from apalache-mc/igor/apalache-writer6

     Show description for 9591aca
     konnov

     authored
     9591acaView commit details

     Copy full SHA for 9591aca

     Browse repository at this point
2. Commits on Aug 21, 2026

   • fix printing of set filters

     Show description for 8246bed
     konnov

     committed
     8246bedView commit details

     Copy full SHA for 8246bed

     Browse repository at this point

   • fix printing of labels

     Show description for 9b2afc8
     konnov

     committed
     9b2afc8View commit details

     Copy full SHA for 9b2afc8

     Browse repository at this point

   • fix action subscripts

     Show description for 0e0a3d2
     konnov

     committed
     0e0a3d2View commit details

     Copy full SHA for 0e0a3d2

     Browse repository at this point

   • print unbounded quantifiers

     Show description for 21b4d8c
     konnov

     committed
     21b4d8cView commit details

     Copy full SHA for 21b4d8c

     Browse repository at this point

   • fix operator precedence in issue 2

     Show description for 371afdd
     konnov

     committed
     371afddView commit details

     Copy full SHA for 371afdd

     Browse repository at this point

   • remove the fruitless test

     Show description for 106efef
     konnov

     committed
     106efefView commit details

     Copy full SHA for 106efef

     Browse repository at this point

   • fix formatting

     Show description for a1aee0e
     konnov

     committed
     a1aee0eView commit details

     Copy full SHA for a1aee0e

     Browse repository at this point

   • fix precedence issues and scale priorities like in SANY

     Show description for b84c80b
     konnov

     committed
     b84c80bView commit details

     Copy full SHA for b84c80b

     Browse repository at this point

   • fix release notes

     Show description for 2983706
     konnov

     committed
     2983706View commit details

     Copy full SHA for 2983706

     Browse repository at this point

   • import labels from JSON IR

     Show description for ee60f6b
     konnov

     committed
     ee60f6bView commit details

     Copy full SHA for ee60f6b

     Browse repository at this point

   • Fix #3464: out of memory on nested tags

     Show description for ccb874d
     konnov

     committed
     ccb874dView commit details

     Copy full SHA for ccb874d

     Browse repository at this point
3. Commits on Aug 19, 2026

   • Merge pull request #3463 from apalache-mc/release/0.62.1

     Show description for 4943c45
     konnov

     authored
     4943c45View commit details

     Copy full SHA for 4943c45

     Browse repository at this point

   • Bump version to 0.62.2-SNAPSHOT

     Show description for 4c27bb0
     

     konnov

     committed
     4c27bb0View commit details

     Copy full SHA for 4c27bb0

     Browse repository at this point

   • [release] 0.62.1

     Show description for a321771
     

     konnov

     committed
     a321771View commit details

     Copy full SHA for a321771

     Browse repository at this point

   • Merge pull request #3462 from apalache-mc/igor/quint-labels

     Show description for 46fe04d
     konnov

     authored
     46fe04dView commit details

     Copy full SHA for 46fe04d

     Browse repository at this point

   • Merge branch 'main' into igor/quint-labels

     konnov

     authored
     e148b7fView commit details

     Copy full SHA for e148b7f

     Browse repository at this point

   • Merge pull request #3461 from apalache-mc/igor/json-rpc-quint

     Show description for a75231b
     konnov

     authored
     a75231bView commit details

     Copy full SHA for a75231b

     Browse repository at this point
4. Commits on Aug 18, 2026

   • closes #3458

     Show description for f5ec9a0
     konnov

     committed
     f5ec9a0View commit details

     Copy full SHA for f5ec9a0

     Browse repository at this point

   • Support source formats in JSON-RPC loadSpec

     Show description for 91fe0b6
     konnov

     committed
     91fe0b6View commit details

     Copy full SHA for 91fe0b6

     Browse repository at this point

   • Merge pull request #3453 from apalache-mc/release/0.62.0

     Show description for 80d4abb
     konnov

     authored
     80d4abbView commit details

     Copy full SHA for 80d4abb

     Browse repository at this point

   • Bump version to 0.62.1-SNAPSHOT

     Show description for cec53fe
     

     konnov

     committed
     cec53feView commit details

     Copy full SHA for cec53fe

     Browse repository at this point

   • [release] 0.62.0

     Show description for c4bdc43
     

     konnov

     committed
     c4bdc43View commit details

     Copy full SHA for c4bdc43

     Browse repository at this point

   • Merge pull request #3451 from apalache-mc/igor/output-manager-class

     Show description for cce138e
     konnov

     authored
     cce138eView commit details

     Copy full SHA for cce138e

     Browse repository at this point

   • fix formatting

     Show description for 555a5a3
     konnov

     committed
     555a5a3View commit details

     Copy full SHA for 555a5a3

     Browse repository at this point

   • Scope OutputManager state per Tool invocation

     Show description for f6f6a50
     konnov

     committed
     f6f6a50View commit details

     Copy full SHA for f6f6a50

     Browse repository at this point

   • Target released artifacts to Java 21

     Show description for 52d7c34
     konnov

     committed
     52d7c34View commit details

     Copy full SHA for 52d7c34

     Browse repository at this point
5. Commits on Aug 10, 2026

   • Merge pull request #3437 from apalache-mc/igor/rename-aux3429

     Show description for b702ab5
     konnov

     authored
     b702ab5View commit details

     Copy full SHA for b702ab5

     Browse repository at this point