Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

3
I Use This!
High Activity

Commits : Listings

Analyzed about 19 hours ago. based on code collected 1 day ago.
Apr 23, 2023 — Apr 23, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Publish the documentation for the API and the standard library.
Guillaume Melquiond
More... 3 months ago
Publish the documentation for the API and the standard library.
Guillaume Melquiond
More... 3 months ago
Merge branch '825-alt-ergo-2-5-x-should-be-made-used-by-auto-strategies' into 'master'
MARCHE Claude
More... 4 months ago
add use_at_auto_level for Alt-Ergo 2.5.x
Claude Marché
as Claude Marche
More... 4 months ago
add use_at_auto_level for Alt-Ergo 2.5.x
Claude Marché
as Claude Marche
More... 4 months ago
Merge branch '820-alt-ergo-2-5-x-add-the-fpa-alternative' into 'master'
MARCHE Claude
More... 4 months ago
Added missing prover alternative FPA for Alt-Ergo 2.5.x
BONNOT Paul
More... 4 months ago
Merge branch 'topic/kanig-undone' into 'master'
MARCHE Claude
More... 4 months ago
don't use default value when reading in proof results
Johannes Kanig
More... 4 months ago
don't use default value when reading in proof results
Johannes Kanig
More... 4 months ago
cleaning up
Jean-Christophe Filliatre
More... 4 months ago
Merge branch 'isabelle-2022' into 'master'
Guillaume Melquiond
More... 5 months ago
Mark Isabelle 2022 as supported.
Guillaume Melquiond
More... 5 months ago
Mark Isabelle 2022 as supported.
Guillaume Melquiond
More... 5 months ago
Merge branch 'debug-giant-only' into 'master'
Matteo Manighetti
More... 5 months ago
new example: search algorithms
Jean-Christophe Filliatre
More... 5 months ago
Merge branch 'release-doc' into 'master'
Guillaume Melquiond
More... 5 months ago
Update the release procedure regarding the gallery.
Guillaume Melquiond
More... 5 months ago
Update the release procedure regarding the gallery.
Guillaume Melquiond
More... 5 months ago
Debug flag to only execute giant-step RAC
Matteo Manighetti
More... 5 months ago
Merge branch 'better-configure' into 'master'
Guillaume Melquiond
More... 5 months ago
Forcefully put the configure script one second in the future.
Guillaume Melquiond
More... 5 months ago
Forcefully put the configure script one second in the future.
Guillaume Melquiond
More... 5 months ago
Be a bit more generic with respect to Coq versions.
Guillaume Melquiond
More... 5 months ago
Be a bit more generic with respect to Coq versions.
Guillaume Melquiond
More... 5 months ago
Make --enable-coq-libs fail if no correct version of Coq is detected.
Guillaume Melquiond
More... 5 months ago
Make --enable-coq-libs fail if no correct version of Coq is detected.
Guillaume Melquiond
More... 5 months ago
Discard pvs if it looks like the system command.
Guillaume Melquiond
More... 5 months ago
Discard pvs if it looks like the system command.
Guillaume Melquiond
More... 5 months ago
Make ocamlfind quieter.
Guillaume Melquiond
More... 5 months ago