8000 Tags · TyGuS/suslik · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: TyGuS/suslik

Tags

v1.0

Toggle v1.0's commit message 
Merge branch 'certification'

- Support for post-hoc certification via three targets---HTT, VST,
  Iris.
- More uniform/traversable representation of the source "ProofTree"
  used in certification, which contains a tree of successful
  derivations, with each node encoded as a "SuslikProofStep".
- A script (CertificationBenchmarks.scala) to evaluate characteristic
  test cases.

v0.6-icfp21-artifact

Toggle v0.6-icfp21-artifact's commit message 
Reordering

v0.6-certisuslik

Toggle v0.6-certisuslik's commit message 
Reordering

v0.5-cav21-artifact

Toggle v0.5-cav21-artifact's commit message 
README updated

v0.4-cypress

Toggle v0.4-cypress's commit message 
[doc] Updated README (benchmark cleanup).

0.3

Toggle 0.3's commit message 
More benchmark cleanup and new suslik numbers

0.3-cypress

Toggle 0.3-cypress's commit message 
More benchmark cleanup and new suslik numbers

v0.2-popl19

Toggle v0.2-popl19's commit message 
examples fixed

v0.1-popl19-submitted

Toggle v0.1-popl19-submitted's commit message 
Now also reverting the oracle change
0