6 days ago |
Claude Marche | fix session with undone result
|
commit | commitdiff | tree |
10 days ago |
Claude Marche | disabled Alt-Ergo FPA for versions < 2.5.4 (bug known)
|
commit | commitdiff | tree |
2024-05-16 |
Claude Marche | fix some failing proofs
|
commit | commitdiff | tree |
2024-04-25 |
Claude Marche | minor fix, comments for prop error strat
|
commit | commitdiff | tree |
2024-04-24 |
Claude Marche | fix command line for Alt-Ergo 2.5.x FPA
|
commit | commitdiff | tree |
2024-04-17 |
Claude Marche | add isabelle proofs for new axioms and lemmas in real...
|
commit | commitdiff | tree |
2024-04-16 |
Claude Marche | remove useless hint
|
commit | commitdiff | tree |
2024-04-16 |
Claude Marche | fix proof of sqrtrem
|
commit | commitdiff | tree |
2024-04-16 |
Claude Marche | fix meta remove
|
commit | commitdiff | tree |
2024-04-16 |
Claude Marche | update sessions
|
commit | commitdiff | tree |
2024-03-13 |
Claude Marche | restored legacy shortcuts for Alt-Ergo
|
commit | commitdiff | tree |
2024-02-20 |
Claude Marche | check-ce script does run petiot when file is given.
|
commit | commitdiff | tree |
2024-02-19 |
Claude Marche | fix sessions
|
commit | commitdiff | tree |
2024-02-12 |
Claude Marche | restored legacy shortcuts for Alt-Ergo
|
commit | commitdiff | tree |
2024-02-12 |
Claude Marche | fix python script for statistics on CE bench
|
commit | commitdiff | tree |
2024-01-20 |
Claude Marche | add use_at_auto_level for Alt-Ergo 2.5.x
|
commit | commitdiff | tree |
2024-01-17 |
Claude Marche | protect against filenames with special characters
|
commit | commitdiff | tree |
2024-01-17 |
Claude Marche | recover format identified by "whyml"
|
commit | commitdiff | tree |
2024-01-16 |
Claude Marche | protect against filenames with special characters
|
commit | commitdiff | tree |
2024-01-16 |
Claude Marche | recover format identified by "whyml"
|
commit | commitdiff | tree |
2024-01-08 |
Claude Marche | add use_at_auto_level for Alt-Ergo 2.5.x
|
commit | commitdiff | tree |
2023-11-14 |
Claude Marche | new docker image with Alt-Ergo 2.5.2
|
commit | commitdiff | tree |
2023-11-06 |
Claude Marche | fix clash of proofNodeIds in handling of session stats
|
commit | commitdiff | tree |
2023-09-18 |
Claude Marche | reinforce pre-conditions of safe machine floats operations
|
commit | commitdiff | tree |
2023-09-07 |
Claude Marche | attempt to allow customized parsing of session files
|
commit | commitdiff | tree |
2023-09-06 |
Claude Marche | get steps for Alt-Ergo for any answer, not only "Valid"
|
commit | commitdiff | tree |
2023-09-06 |
Claude Marche | in simple assoc, checks equality of checksums to determine...
|
commit | commitdiff | tree |
2023-09-04 |
Claude Marche | test
|
commit | commitdiff | tree |
2023-09-04 |
Claude Marche | wip, do not merge that!
|
commit | commitdiff | tree |
2023-09-04 |
Claude Marche | fix broken sessions
|
commit | commitdiff | tree |
2023-08-30 |
Claude Marche | fix broken proofs
|
commit | commitdiff | tree |
2023-08-28 |
Claude Marche | fix corrupted session
|
commit | commitdiff | tree |
2023-08-25 |
Claude Marche | updated proof session
|
commit | commitdiff | tree |
2023-08-24 |
Claude Marche | updated sessions
|
commit | commitdiff | tree |
2023-08-23 |
Claude Marche | move production of meta for records to typing phase
|
commit | commitdiff | tree |
2023-07-21 |
Claude Marche | provers in extra config: search driver relatively to...
|
commit | commitdiff | tree |
2023-07-19 |
Claude Marche | why3 session info: print at least a one-line message
|
commit | commitdiff | tree |
2023-07-18 |
Claude Marche | mark unreachable code, fix doc
|
commit | commitdiff | tree |
2023-07-18 |
Claude Marche | Revert "Call_prover: always prioretize answer Valid...
|
commit | commitdiff | tree |
2023-07-18 |
Claude Marche | Call_prover: always prioretize answer Valid over others
|
commit | commitdiff | tree |
2023-07-18 |
Claude Marche | Freely allow several occurrences of the same transformation...
|
commit | commitdiff | tree |
2023-07-12 |
Claude Marche | removed obsolete oracle files
|
commit | commitdiff | tree |
2023-07-11 |
Claude Marche | put CVC5 version 1.0.5 in CI
|
commit | commitdiff | tree |
2023-07-11 |
Claude Marche | update CE oracles for CVC5 1.0.5
|
commit | commitdiff | tree |
2023-07-11 |
Claude Marche | update CE oracles after upgrade CVC5 1.0.0 to 1.0.5
|
commit | commitdiff | tree |
2023-07-11 |
Claude Marche | copy CE oracle files for cvc5 1.0.0 to 1.0.5
|
commit | commitdiff | tree |
2023-07-11 |
Claude Marche | fix nightly bench
|
commit | commitdiff | tree |
2023-07-04 |
Claude Marche | update sessions
|
commit | commitdiff | tree |
2023-06-27 |
Claude Marche | transparently import module wf when needed
|
commit | commitdiff | tree |
2023-06-20 |
Claude Marche | Sexp parser raises a proper exception when syntax error
|
commit | commitdiff | tree |
2023-06-20 |
Claude Marche | Revert "discarded support for Coq < 8.11"
|
commit | commitdiff | tree |
2023-06-20 |
Claude Marche | discarded support for Coq < 8.11
|
commit | commitdiff | tree |
2023-06-05 |
Claude Marche | add filter on being a leaf or not
|
commit | commitdiff | tree |
2023-06-05 |
Claude Marche | fix filter on verified status
|
commit | commitdiff | tree |
2023-05-31 |
Claude Marche | fix absence of CE values at the line of the VC
|
commit | commitdiff | tree |
2023-05-10 |
Claude Marche | add an input language is the form of s-expressions
|
commit | commitdiff | tree |
2023-05-05 |
Claude Marche | Revert "some metas may need to be kept when at least...
|
commit | commitdiff | tree |
2023-05-05 |
Claude Marche | some metas may need to be kept when at least one of...
|
commit | commitdiff | tree |
2023-05-05 |
Claude Marche | resurrect mark-obsolete and filters in `why3 session...
|
commit | commitdiff | tree |
2023-04-30 |
Claude Marche | fix session
|
commit | commitdiff | tree |
2023-04-28 |
Claude Marche | improved efficiency of BDD-infer
|
commit | commitdiff | tree |
2023-04-12 |
Claude Marche | build new image with Z3 4.11.2
|
commit | commitdiff | tree |
2023-04-12 |
Claude Marche | do not call git in bench script, use another file for...
|
commit | commitdiff | tree |
2023-04-11 |
Claude Marche | improved sessions statistics provided by `why3 session...
|
commit | commitdiff | tree |
2023-04-11 |
Claude Marche | get rid of Eprover 1.4, Alt-Ergo 0.95, CVC4-1-5 "alt"
|
commit | commitdiff | tree |
2023-04-10 |
Claude Marche | fix session
|
commit | commitdiff | tree |
2023-04-09 |
Claude Marche | fix sessions
|
commit | commitdiff | tree |
2023-04-06 |
Claude Marche | the interrupted calls are displayed as such instead...
|
commit | commitdiff | tree |
2023-04-05 |
Claude Marche | update sessions, including prover upgrade Alt-Ergo...
|
commit | commitdiff | tree |
2023-03-17 |
Claude Marche | When a driver file is specified in an extra config...
|
commit | commitdiff | tree |
2023-03-08 |
Claude Marche | new python example selection sort
|
commit | commitdiff | tree |
2023-02-22 |
Claude Marche | allow a simple message "timeout" in a line for answer...
|
commit | commitdiff | tree |
2023-02-21 |
Claude Marche | support for Z3 4.12.x
|
commit | commitdiff | tree |
2023-02-21 |
Claude Marche | support for CVC5 1.0.4
|
commit | commitdiff | tree |
2023-02-20 |
Claude Marche | add info in CHANGES
|
commit | commitdiff | tree |
2023-02-17 |
Claude Marche | missing files
|
commit | commitdiff | tree |
2023-02-16 |
Claude Marche | Integrate parametric variant of BDD-infer
|
commit | commitdiff | tree |
2023-02-13 |
Claude Marche | fix API docs when Why3 attributes are mentioned
|
commit | commitdiff | tree |
2023-02-07 |
Claude Marche | fix obsolete sessions and one failed session
|
commit | commitdiff | tree |
2023-02-07 |
Claude Marche | documentation
|
commit | commitdiff | tree |
2023-02-06 |
Claude Marche | CE oracles with mlmpfr
|
commit | commitdiff | tree |
2023-02-06 |
Claude Marche | fix oracles, partially
|
commit | commitdiff | tree |
2023-02-06 |
Claude Marche | Merge branch 'interpret-smt-types' of gitlab.inria...
|
commit | commitdiff | tree |
2023-02-06 |
Claude Marche | Merge branch 'master' into interpret-smt-types
|
commit | commitdiff | tree |
2023-02-06 |
Claude Marche | doc
|
commit | commitdiff | tree |
2023-02-03 |
Claude Marche | fix again check-ce-bench, bloody shell language
|
commit | commitdiff | tree |
2023-02-03 |
Claude Marche | fix again script check-ce-bench, minor fix
|
commit | commitdiff | tree |
2023-02-01 |
Claude Marche | compactify the output of the bench-ce script
|
commit | commitdiff | tree |
2023-02-01 |
Claude Marche | fix oracle
|
commit | commitdiff | tree |
2023-02-01 |
Claude Marche | update CE oracles
|
commit | commitdiff | tree |
2023-01-31 |
Claude Marche | check size invariant when debug flag set
|
commit | commitdiff | tree |
2023-01-30 |
Claude Marche | Merge branch 'master' into 703-term-size-explosion...
|
commit | commitdiff | tree |
2023-01-20 |
Claude Marche | complements on BDDinfer
|
commit | commitdiff | tree |
2023-01-10 |
Claude Marche | fix obsolete session
|
commit | commitdiff | tree |
2022-11-23 |
Claude Marche | BDD-infer: add a drop statement to drop proxy vars...
|
commit | commitdiff | tree |
2022-11-23 |
Claude Marche | New version of BDD infer:
|
commit | commitdiff | tree |
2022-11-17 |
Claude Marche | Support for `break` in BDDinfer
|
commit | commitdiff | tree |
2022-11-14 |
Claude Marche | disable use of -p for profiling with OCaml >= 4.09
|
commit | commitdiff | tree |
2022-11-07 |
Claude Marche | bench/check-ce: fix steps for CVC5 after renaming of...
|
commit | commitdiff | tree |
2022-11-05 |
Claude Marche | Add support for Alt-Ergo 2.4.2 (release August 1st...
|
commit | commitdiff | tree |