Skip to content

Version 1.2
Compare
Choose a tag to compare
@nmacedo nmacedo released this 24 Sep 09:18
· 87 commits to master since this release
v1.2.0
8a267b9

Features

  • support for advanced SAT iteration operations, distinction between configuration and path iteration
  • support for advanced iteration operations for decomposed strategy
  • support for unsat cores for temporal formulas
  • support for bounded model checking with the electrod backend
  • disabled iteration through formulas for non SAT backend

Minor

  • iteration implemented at the SAT level
  • fixed a bug on the releases translation
  • fixed a bug when translating constants under unrolled traces
  • fixed a bug when evaluating past expressions
  • better handling of unsupported features of different backends
  • better reporting of stats for iterative temporal and decomposed solving
  • travis integration
  • updated temporal operators nomenclature (before, after, releases, triggered)
  • decomposed strategy no longer automatically iterates over integrated problems, not compatible with new operations
  • alternative instance encoding with some-disj pattern
  • support for electrod 0.7.1
Assets 2
Loading