Skip to content

1.6.0
Compare
Choose a tag to compare
@rsasse rsasse released this 09 Sep 18:36
· 1718 commits to master since this release
1.6.0
a631d75

  • SAPIC integration

  • New feature: auto sources - compute sources lemmas automatically

  • New feature: predicate support

  • Observational equivalence concludes with attack more quickly, without requiring instantiation to public values for free variables.

  • Add a true (sequential) depth-first search (DFS) option: --stop-on-trace=seqdfs

  • nixOS development simplification

  • Allow Maude 3.0.0 (in addition to 2.7.1)

  • Change: --prove=name only verifies lemma named 'name', to prove all lemmas with the prefix 'name' use --prove=name* instead; adjusted existing examples

  • Numerous bug fixes

  • Multiple new case studies

  • Using stack LTS resolver 16.12 and GHC 8.8.4 now [stack update, stack upgrade needed]

Assets 16