?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Merge branch 'clean_and_improve_numeric_examples' into 'master'
2024-05-16 Matteo ManighettiRemove simplify_intros from prepare_for_counterexmp
 commit | commitdiff | tree
2024-04-18 Matteo ManighettiMerge branch '840-spurious-debug-messages-when-using...
commit | commitdiff | tree
2024-04-18 Matteo ManighettiRemove spurious debug print
 commit | commitdiff | tree
2024-02-17 Matteo ManighettiFacilitate proof of arithmetic on bitvectors by Alt...
commit | commitdiff | tree
2024-02-17 Matteo ManighettiParse forall and lets in counterexamples
 commit | commitdiff | tree
2024-01-23 Matteo ManighettiDo not silently fail on parse error during CE parsing
 commit | commitdiff | tree
2024-01-17 Matteo ManighettiDisable all usage of meta `model_projected`
 commit | commitdiff | tree
2023-12-07 Matteo ManighettiMerge branch 'debug-giant-only' into 'master'
 commit | commitdiff | tree
2023-12-07 Matteo ManighettiDebug flag to only execute giant-step RAC
 commit | commitdiff | tree
2023-11-07 Matteo ManighettiMerge branch 'session-info-bugs' into 'master'
 commit | commitdiff | tree
2023-11-07 Matteo ManighettiUse geometric mean in graph
 commit | commitdiff | tree
2023-10-19 Matteo ManighettiAdd tooltips to hist graph
 commit | commitdiff | tree
2023-10-10 Matteo ManighettiKeep track of timings for driver transformations and...
commit | commitdiff | tree
2023-10-09 Matteo ManighettiSession create: don't do split_vc by default
 commit | commitdiff | tree
2023-10-02 Matteo ManighettiChange sexp for attributes
 commit | commitdiff | tree
2023-09-11 Matteo ManighettiAdd all warning IDs and make them mandatory
 commit | commitdiff | tree
2023-09-11 Matteo ManighettiScripts for benchmarking
 commit | commitdiff | tree
2023-08-28 Matteo ManighettiAdd Z3 4.12.2 to CI
 commit | commitdiff | tree
2023-08-28 Matteo ManighettiMove CVC4 proofs to CVC5
 commit | commitdiff | tree
2023-08-28 Matteo ManighettiUpgrade Z3 proofs
 commit | commitdiff | tree
2023-08-28 Matteo ManighettiUpgrade CVC3 proofs
 commit | commitdiff | tree
2023-08-28 Matteo ManighettiUpgrade Alt-Ergo 2.0.0 proofs
 commit | commitdiff | tree
2023-08-28 Matteo ManighettiUpdate Alt-Ergo 2.3.x proofs
 commit | commitdiff | tree
2023-08-25 Matteo ManighettiSession create: take transformation as argument
 commit | commitdiff | tree
2023-08-24 Matteo ManighettiAdd IDs for several common warnings
 commit | commitdiff | tree
2023-08-23 Matteo ManighettiBetter and faster hist graph
 commit | commitdiff | tree
2023-07-20 Matteo ManighettiChangelog and docs for graphs
 commit | commitdiff | tree
2023-07-20 Matteo ManighettiNew graph style and reworked options
 commit | commitdiff | tree
2023-07-20 Matteo ManighettiEqual scale
 commit | commitdiff | tree
2023-07-20 Matteo ManighettiNicer graphs
 commit | commitdiff | tree
2023-07-20 Matteo ManighettiGraph generation for comparison of prover pairs
 commit | commitdiff | tree
2023-07-11 Matteo Manighettiupgrade bench scripts with CVC5 from 1.0.0 to 1.0.5...
commit | commitdiff | tree
2023-06-27 Matteo ManighettiExample for issue 773
 commit | commitdiff | tree
2023-06-27 Matteo ManighettiFix dequantify recursion
 commit | commitdiff | tree
2023-06-20 Matteo Manighettitimings are now internally recorded with 1us precision
 commit | commitdiff | tree
2023-06-02 Matteo ManighettiFix JSON field
 commit | commitdiff | tree
2023-05-30 Matteo ManighettiExport several warning flags
 commit | commitdiff | tree
2023-05-25 Matteo Manighettiinterface for module Loc: improve doc, add disable_warning
 commit | commitdiff | tree
2023-05-11 Matteo ManighettiAdd --remove-proofs in `why3 session update`
 commit | commitdiff | tree
A platform for deductive program verification