Skip to content

Caesar 1.0.0
Compare
Choose a tag to compare
@Philipp15b Philipp15b released this 20 Sep 11:55
· 390 commits to main since this release
v1.0.0
8a4a2e1

The first release of Caesar corresponding to our OOPSLA 2023 paper, A Deductive Verification Infrastructure for Probabilistic Programs.

With minor modifications, this release was evaluated by the OOPSLA 2023 Artifact Evaluation Committee and marked as available, functional, and reusable. You can find the original submitted Docker image on Zenodo.

Assets 2
Loading