Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 15 hours ago. based on code collected about 15 hours ago.
Aug 31, 2024 — Aug 31, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
allow both provers with explicit config and from detected binaries
MOREAU Solene
More... over 3 years ago
Merge branch '631-fix-detection-of-prover-section-in-configuration-file' into 'master'
MARCHE Claude
More... over 3 years ago
Merge branch 'while_true_no_cont' into 'master'
MARCHE Claude
More... over 3 years ago
Update some session files.
Jacques-Henri Jourdan
More... over 3 years ago
Merge branch 'fix-lost-proofs' into 'master'
MARCHE Claude
More... over 3 years ago
fixed lost proofs in multiprecision/lineardecision
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch '604-support-for-z3-4-8-11-to-4-8-13' into 'master'
MARCHE Claude
More... over 3 years ago
Support Z3 version 4.8.11 to 4.8.15
Claude Marché
as Claude Marche
More... over 3 years ago
Change VC generation for "while true".
Jacques-Henri Jourdan
More... over 3 years ago
fix generation of infinite loops, adding an absurd afterwards
Claude Marché
as Claude Marche
More... over 3 years ago
Use implementation on extraction
Benjamin Jorge
More... over 3 years ago
Merge branch '584-petiot-2018-experiments-not-reproducible-with-z3' into 'master'
MARCHE Claude
More... over 3 years ago
Remove oracle files for Z3,4.8.4
Solène Moreau
More... over 3 years ago
update sessions
Claude Marché
as Claude Marche
More... over 3 years ago
Update documentation.
Guillaume Melquiond
More... over 3 years ago
Create all the alternatives for provers with unknown version (fix #605).
Guillaume Melquiond
More... over 3 years ago
No longer hardcode the version into prover filenames.
Guillaume Melquiond
More... over 3 years ago
Made the auto-detection code more uniform.
Guillaume Melquiond
More... over 3 years ago
Merge branch 'add-expls-prefix' into 'master'
MARCHE Claude
More... over 3 years ago
Merge branch 'support-isabelle-2021-1' into 'master'
MARCHE Claude
More... over 3 years ago
Update to Z3,4.8.10 for Petiot experiments
Solène Moreau
More... over 3 years ago
Merge branch 'master' into 584-petiot-2018-experiments-not-reproducible-with-z3
Solène Moreau
More... over 3 years ago
Merge branch 'fix-491' into 'master'
MARCHE Claude
More... over 3 years ago
Merge branch 'workaround-cvc4-18-printing-bug' into 'master'
MARCHE Claude
More... over 3 years ago
fix for the CVC4 1.8 printing bug for float constants
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch '620-port-ce-bench-and-check-ce-bench-to-newer-versions-of-provers' into 'master'
MARCHE Claude
More... over 3 years ago
update check-CE oracle
Claude Marché
as Claude Marche
More... over 3 years ago
update CE oracle
Claude Marché
as Claude Marche
More... over 3 years ago
Export a function to add custom prefixes in the API
Guillaume Cluzel
More... over 3 years ago
Update changelog.
Guillaume Melquiond
More... over 3 years ago