summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fix-cln-static-downloadMerge branch 'master' into fix-cln-static-downloadAndrew Reynolds3 years
inc-adj-listRevert "Slightly better sorting key"Matthew Sotoudeh3 years
incremental-adj-for-dirtyThis seems to be the best of the past few commitsMatthew Sotoudeh3 years
incremental-adjacent-try3More like best than inc-adjMatthew Sotoudeh3 years
incremental-current-bestThis seems to be the best of the past few commitsMatthew Sotoudeh3 years
incremental-no-hashmapRemove the rest of my CDHashMapsMatthew Sotoudeh3 years
matthew-bellman-non-incUpdate rewriterMatthew Sotoudeh3 years
multiple-cycles-quickFix bugs in reporting multiple cyclesMatthew Sotoudeh3 years
starter-bellman-incRemove the rest of my CDHashMapsMatthew Sotoudeh3 years
starter-inc-longsDirty nodes for the int64_t oneMatthew Sotoudeh3 years
[...]
 
TagDownloadAuthorAge
test-tag2commit 0d51f9839e...Andrew Reynolds3 years
smtcomp2015-experimentalcommit ff5745a9f6...Kshitij Bansal9 years
smtcomp2015-stablecommit 9b32405be8...Kshitij Bansal9 years
1.4commit c0258d642d...Morgan Deters10 years
smtcomp2014-resubmissioncommit 15a15f5c9f...Tim King10 years
smtcomp2014-applicationcommit 933a5122ca...Morgan Deters10 years
smtcomp2014commit 44fde647e6...Morgan Deters10 years
1.3commit 97d7c35cb2...Morgan Deters11 years
casc24commit 4e32479206...Morgan Deters11 years
1.2commit 1ef3bf7434...Morgan Deters11 years
[...]
 
AgeCommit messageAuthor
2019-05-20[SMT-COMP 2019] Update run scripts to match tracksupdateRunScriptsAndres Noetzli
2019-05-18FP: Fix regression test and enable SymFPU on Travis. (#3013)Aina Niemetz
2019-05-17Update QF_NIA strategy (#3012)Andrew Reynolds
2019-05-17[SMT-COMP2019] Better strings configuration (#3010)Andres Noetzli
2019-05-17Support for incremental bit-blasting with CaDiCaL (#3006)Andres Noetzli
2019-05-17Fix BV ITE rewrite (#3004)Andres Noetzli
2019-05-17Add the problematic input from issue 2183 as a regression test (#3008)Martin
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2019-05-15cmake: Install JAR and JNI files for Java bindings. (#3002)Mathias Preiner
2019-05-15 BV: Do not enable abstraction when eager bit-blasting by default. (#3001)Aina Niemetz
[...]
 
Clone
https://lair.masot.net/git/cvc5.git
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback