Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Jun 12, 2025 — Jun 12, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'strip-dunepkgs' into 'master'
XIA Li-Yao
More... 4 days ago
make: strip whitespaces around DUNEPKGS
Li-yao Xia
More... 4 days ago
Merge branch 'empty-version' into 'master'
XIA Li-Yao
More... 4 days ago
Allow empty version strings for provers
Li-yao Xia
More... 5 days ago
Merge branch 'list-reversal-separation-arithmetic' into 'master'
Jean-Christophe Filliâtre
More... 8 days ago
Merge branch 'traversing-binary-trees' into 'master'
Jean-Christophe Filliâtre
More... 8 days ago
new example: list reversal using separation arithmetic
Jean-Christophe Filliatre
More... 8 days ago
typo
Jean-Christophe Filliatre
More... 8 days ago
new example: Morris's algorithm
Jean-Christophe Filliatre
More... 8 days ago
Merge branch 'verifythis-2015-dancing-links-updated' into 'master'
Jean-Christophe Filliâtre
More... 18 days ago
Merge branch 'bobot/colibri2__0_6' into 'master'
François Bobot
More... 18 days ago
changed prover for one VC
Jean-Christophe Filliatre
More... 19 days ago
[colibri2 0.5] Remove use of bv2int
François Bobot
More... 19 days ago
Merge branch 'update_failed_proofs_from_nightly' into 'master'
MARCHE Claude
More... 19 days ago
Merge branch 'fix_deploy_phase' into 'master'
MARCHE Claude
More... 19 days ago
upd sessions
Claude Marché
as Claude Marche
More... 20 days ago
attempt to use last Alt-Ergo
Claude Marché
as Claude Marche
More... 20 days ago
Merge branch '918-upgrade-trywhy3-to-alt-ergo-2-6-x' into 'master'
MARCHE Claude
More... 20 days ago
up Alt-Ergo to 2.6.3 for trywhy3
MARCHE Claude
More... 20 days ago
Merge branch '941-improve-specs-and-documentation-of-set-setapp-and-its-instances' into 'master'
MARCHE Claude
More... 24 days ago
improve iterators on applicative sets
MARCHE Claude
More... 24 days ago
Merge branch 'new-dune' into 'master'
François Bobot
More... about 1 month ago
Merge remote-tracking branch 'origin/master' into new-dune
François Bobot
More... about 2 months ago
Merge branch 'ci-in-merge-request' into 'master'
François Bobot
More... about 2 months ago
Merge remote-tracking branch 'origin/master' into new-dune
François Bobot
More... about 2 months ago
[CI] use workflow to keep CI for merge-requests
François Bobot
More... about 2 months ago
Merge branch 'mr-jobs' into 'master'
Guillaume Melquiond
More... about 2 months ago
Avoid spuriously running the build-image and bench-image jobs.
Guillaume Melquiond
More... about 2 months ago
Merge branch '940-missing-attributes-for-call_result-counterexample-entries' into 'master'
MARCHE Claude
More... about 2 months ago
Merge branch 'topic/kanig-why3fixes' into 'master'
MARCHE Claude
More... about 2 months ago