Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed 21 days ago. based on code collected 22 days ago.
Sep 25, 2025 — Sep 25, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'case_split_t_neg' into 'master'
JOURDAN Jacques-Henri
More... 24 days ago
The Coma VCGen should never create disjunctions without the case_split attribute.
Jacques-Henri Jourdan
More... 25 days ago
Merge branch 'mr/kanig/normalize_compute' into 'master'
BOBOT Francois
More... 26 days ago
Normalize compute goals without rebuilding their context
Johannes Kanig
More... 26 days ago
Merge branch 'revert_lookup_names_under_let' into 'master'
MARCHE Claude
More... 28 days ago
Revert "better names in eval match"
MARCHE Claude
More... 28 days ago
Merge branch 'coma_typevar_subst' into 'master'
SAUDUBRAY Henri
More... about 1 month ago
fix: avoid capture during type variable substitution
Maïga Saudubray
More... about 1 month ago
Merge branch 'script_for_git_bisect' into 'master'
MARCHE Claude
More... about 1 month ago
update script for git bisect
Claude Marché
as Claude Marche
More... about 1 month ago
Merge branch 'unremove_Nth_bv_is_nth' into 'master'
MARCHE Claude
More... about 1 month ago
Do not remove Nth_bv_is_nth and Nth_bv_is_nth2 when running the provers in BV mode. These lemmas are important to define what nth is.
Jacques-Henri Jourdan
More... about 1 month ago
Merge branch 'coma_fix_typing' into 'master'
SAUDUBRAY Henri
More... about 1 month ago
fix: forgotten semicolon broke typechecking
Maïga Saudubray
More... about 1 month ago
Merge branch 'fibonacci-with-negative-indices' into 'master'
FILLIATRE Jean-Christophe
More... about 1 month ago
examples: Fibonacci numbers with negative indices
Jean-Christophe Filliatre
More... about 1 month ago
Merge branch 'mr/kanig/used-syms-memoisation' into 'master'
MARCHE Claude
More... about 1 month ago
Merge branch 'mr/kanig/inline-memoisation' into 'master'
MARCHE Claude
More... about 1 month ago
Merge branch 'mr/kanig/format-ident' into 'master'
MARCHE Claude
More... about 2 months ago
Do not print an identifier through a formatter to get its name
Johannes Kanig
More... about 2 months ago
Memoise get_used_syms_decl
Johannes Kanig
More... about 2 months ago
Build the inlining transformation outside the per-task closure
Johannes Kanig
More... about 2 months ago
Merge branch 'fix-prover-versions' into 'master'
MELQUIOND Guillaume
More... about 2 months ago
Keep querying for prover version if none is currently known.
Guillaume Melquiond
More... about 2 months ago
Merge branch 'nicer-errors-on-non-existing-files' into 'master'
FILLIATRE Jean-Christophe
More... about 2 months ago
nicer errors on non-existing files
Jean-Christophe Filliatre
More... about 2 months ago
Merge branch 'gosper-hack-improved' into 'master'
FILLIATRE Jean-Christophe
More... 2 months ago
gosper hack improved
Jean-Christophe Filliatre
More... 2 months ago
Merge branch 'new-example-gosper-hack' into 'master'
FILLIATRE Jean-Christophe
More... 2 months ago
gosper hack, completed
Jean-Christophe Filliatre
More... 2 months ago