Tags: ultimate-pa/ultimate
Toggle v0.3.1's commit message
Bugfix: Actually use IcfgBuilder in BuchiAutomizerCInline_IcfgBuilder…
….xml toolchain
Toggle v0.3.0's commit message
Revert "Refactor matching in witness validation to respect semantics"
This reverts commit e1b9321 .
Toggle v0.2.4's commit message
Release new version 0.2.4
Toggle v0.2.2's commit message
Toggle popl24-artifact's commit message
Version used in evaluation for the POPL'24 paper "Commutativity Simpl…
…ifies Verification of Parameterized Programs"
Toggle v0.2.3's commit message
Release new version 0.2.3
Toggle pldi22-artifact's commit message
Version used in artifact for the PLDI'22 paper "What Is Your Preferen…
…ce Order?"
Toggle v0.2.1's commit message
update versions to 0.2.1 for new release
Toggle v0.2.0's commit message
First really working build for 0.2.0
Toggle v0.1.25's commit message
update versions to 0.1.25 for new release
You can’t perform that action at this time.