8000 Tags · 000wahab000/quint · GitHub
[go: up one dir, main page]
Skip to content

Tags

Tags

v0.32.0

Toggle v0.32.0's commit message 
Release v0.32.0

evaluator/v0.6.0

Toggle evaluator/v0.6.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Add `leadsTo` and fix fairness effects (quint-co#1932)

* Add leadsTo

* Fix precedence of leadsTo

* Add integration and unit tests

* Accept arbitrary components on effect parsing to handle three-way effects

* Bump Apalache to 0.56.1

* Update docs and expectations

* Update fixture

* Add `leadsTo` as keywords to editor plugins

* Improve fixtures/tests and move to examples

* Add annotation and remove comment

* Add CHANGELOG entries

* Update examples tests scripts and expectations

* Ensure Apalache distribution is available locally before running TLC

---------

Co-authored-by: beu5a <boukhari.yassine@pm.me>
Co-authored-by: Yassine Boukhari <61566936+beu5a@users.noreply.github.com>

v0.31.0

Toggle v0.31.0's commit message

Verified

This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode 
Release v0.31.0

evaluator/v0.5.0

Toggle evaluator/v0.5.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request quint-co#1919 from informalsystems/yassine/release…

…-polishing

CLI polishing for release

v0.30.0

Toggle v0.30.0's commit message

Verified

This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode 
Release v0.30.0

evaluator/v0.4.0

Toggle evaluator/v0.4.0's commit message 
Release evaluator v0.4.0

v0.29.1

Toggle v0.29.1's commit message

Verified

This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode 
Release v0.29.1

v0.29.0

Toggle v0.29.0's commit message 
Remove integration tests from the release pipeline

The Rust backend keeps failing CI while trying to download the lastes
binaries from the GH API. This patch comments out the integration tests
from the release pipeline. We'll investigate a fix for it soon.

evaluator/v0.3.0

Toggle evaluator/v0.3.0's commit message

Verified

This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode 
Release evaluator v0.3.0

v0.28.0

Toggle v0.28.0's commit message

Verified

This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode 
Release v0.28.0
0