Pinned Repositories
automata-benchmarks
Automata benchmarks that we use to evaluate our automata library
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
hanfor
Hanfor helps analyzing and formalizing requirements.
javacup
Java Cup Parser Generator
joogie
Joogie version used in the termination competition 2015.
smtinterpol
SMTInterpol interpolating SMT solver
sv-benchmarks
Collection of Verification Tasks
ultimate
The Ultimate program analysis framework.
ultimate-benchmarks
ultimate-overlay
Gentoo-Overlay for Ultimate Program Analysis Tools
ultimate-pa's Repositories
ultimate-pa/ultimate
The Ultimate program analysis framework.
ultimate-pa/smtinterpol
SMTInterpol interpolating SMT solver
ultimate-pa/javacup
Java Cup Parser Generator
ultimate-pa/hanfor
Hanfor helps analyzing and formalizing requirements.
ultimate-pa/ultimate-benchmarks
ultimate-pa/joogie
Joogie version used in the termination competition 2015.
ultimate-pa/automata-benchmarks
Automata benchmarks that we use to evaluate our automata library
ultimate-pa/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
ultimate-pa/licence-manager
Small utility to create licence headers for source files
ultimate-pa/smt-benchmarks
ultimate-pa/smtcoq
Communication between Coq and SAT/SMT solvers
ultimate-pa/sv-benchmarks
Collection of Verification Tasks
ultimate-pa/ultimate-overlay
Gentoo-Overlay for Ultimate Program Analysis Tools
ultimate-pa/VEWIT2023-ConcurrencyGhosts
Concurrency Correctness Witnesses with Ghosts - 1st Workshop on Verification Witnesses and Their Validation (VeWit 2023)
ultimate-pa/html2json
ultimate-pa/star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod