Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 16, 2024 — Aug 16, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix pessimistic upper bound.
Guillaume Melquiond
More... over 3 years ago
Version 1.4.1
Guillaume Melquiond
More... over 3 years ago
Put an upper bound on Flocq.
Guillaume Melquiond
More... over 3 years ago
Merge branch 'remove-warnings' into 'master'
MARCHE Claude
More... over 3 years ago
Merge branch 'mlmpfr' into 'master'
Guillaume Melquiond
More... over 3 years ago
Remove the warning for not modified variables used under old with an attribute
Guillaume Cluzel
More... over 3 years ago
Improve support for mlmpfr.
Guillaume Melquiond
More... over 3 years ago
Improve support for mlmpfr.
Guillaume Melquiond
More... over 3 years ago
Merge branch '615-unused-variables-are-not-in-the-model' into 'master'
MARCHE Claude
More... over 3 years ago
No reason not to try default value for variables not in the model
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch '612-execution-of-counter-example-fails-with-pattern-matching' into 'master'
MARCHE Claude
More... over 3 years ago
compile_match and eliminate_algebraic now preserve attributes
Claude Marché
as Claude Marche
More... over 3 years ago
test of eliminate_unused
Claude Marché
as Claude Marche
More... over 3 years ago
do not change detect_polymorphism itself
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch 'master' into eliminate_unused_symbols
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch '601-alt-ergo-2-4-1-not-supported' into 'master'
MARCHE Claude
More... over 3 years ago
add support for Alt-Ergo 2.4.1
Claude Marché
as Claude Marche
More... over 3 years ago
add support for Alt-Ergo 2.4.1
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch '613-support-for-coq-version-8-14' into 'master'
MARCHE Claude
More... over 3 years ago
fix Coq realizations for Coq 8.13.
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch 'dirs_in_why3conf' into 'master'
MARCHE Claude
More... over 3 years ago
Merge branch 'autodetection_from_file' into 'master'
François Bobot
More... over 3 years ago
Merge branch 'master' into 'autodetection_from_file'
François Bobot
More... over 3 years ago
fix obsolete sessions
Claude Marché
as Claude Marche
More... over 3 years ago
multi/lineardecision: fix failing proofs, 2 reamining unsolved
Claude Marché
as Claude Marche
More... over 3 years ago
Merge branch '609-bad-cex' into 'master'
MARCHE Claude
More... over 3 years ago
Correct comparison between model values
Guillaume Cluzel
More... over 3 years ago
Merge branch 'stackify' into 'master'
Xavier Denis
More... over 3 years ago
Update CI image to include ocamlgraph in -full builds
Xavier Denis
More... over 3 years ago
Fix installation of isabelle_client
Stefan Berghofer
More... over 3 years ago