Skip to content
This repository has been archived by the owner on Apr 4, 2019. It is now read-only.

Releases: paradise-fi/SymDIVINE

SymDIVINE v0.5

07 Nov 22:03
@yaqwsx yaqwsx
v0.5
9a8c43e
This commit was signed with the committer’s verified signature.
yaqwsx Jan Mrázek
GPG key ID: A3E71126F180EB6F
Learn about vigilant mode.
Compare
Choose a tag to compare
SymDIVINE v0.5 Latest
Latest
  • add optimized version of caching
  • include query simplifications from the SMT solver Q3B
      1. 2016: package update:
    • add support for trivial witness generation
Assets 3
Loading

SymDIVINE v0.3

17 May 08:37
@yaqwsx yaqwsx
v0.3
b81d983
Compare
Choose a tag to compare
SymDIVINE v0.3
  • Added support for Set-based caching via new multi-state representation - SMT Partial Store
  • Fixed bug in path condition simplification, that prevented unncessarry loop unrolling in some cases
Assets 4
Loading

SymDIVINE v0.2

30 Oct 15:47
@yaqwsx yaqwsx
v0.2
d3dce20
Compare
Choose a tag to compare
SymDIVINE v0.2 
Cleanup run_symdivine
Assets 4
Loading