Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed 24 minutes ago. based on code collected 1 day ago.
Sep 05, 2025 — Sep 05, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'fibonacci-with-negative-indices' into 'master'
FILLIATRE Jean-Christophe
More... 3 days ago
examples: Fibonacci numbers with negative indices
Jean-Christophe Filliatre
More... 3 days ago
Merge branch 'mr/kanig/used-syms-memoisation' into 'master'
MARCHE Claude
More... 4 days ago
Merge branch 'mr/kanig/inline-memoisation' into 'master'
MARCHE Claude
More... 4 days ago
Merge branch 'mr/kanig/format-ident' into 'master'
MARCHE Claude
More... 5 days ago
Do not print an identifier through a formatter to get its name
Johannes Kanig
More... 6 days ago
Memoise get_used_syms_decl
Johannes Kanig
More... 6 days ago
Build the inlining transformation outside the per-task closure
Johannes Kanig
More... 6 days ago
Merge branch 'fix-prover-versions' into 'master'
MELQUIOND Guillaume
More... 9 days ago
Keep querying for prover version if none is currently known.
Guillaume Melquiond
More... 9 days ago
Merge branch 'nicer-errors-on-non-existing-files' into 'master'
FILLIATRE Jean-Christophe
More... 18 days ago
nicer errors on non-existing files
Jean-Christophe Filliatre
More... 19 days ago
Merge branch 'gosper-hack-improved' into 'master'
FILLIATRE Jean-Christophe
More... 21 days ago
gosper hack improved
Jean-Christophe Filliatre
More... 21 days ago
Merge branch 'new-example-gosper-hack' into 'master'
FILLIATRE Jean-Christophe
More... 21 days ago
gosper hack, completed
Jean-Christophe Filliatre
More... 21 days ago
gosper hack, wip
Jean-Christophe Filliatre
More... 21 days ago
gosper hack, wip
Jean-Christophe Filliatre
More... 21 days ago
cleaning up
Jean-Christophe Filliatre
More... 21 days ago
gosper hack, wip
Jean-Christophe Filliatre
More... 21 days ago
new example: Gosper hack
Jean-Christophe Filliatre
More... 23 days ago
coma: added example sudoku
PATAULT Paul
More... about 1 month ago
Merge branch 'dafny_workshop_2025' into 'master'
PATAULT Paul
More... about 1 month ago
Merge branch 'mr/kanig-adapt-steps' into 'master'
MARCHE Claude
More... about 2 months ago
Merge branch '945-missing-precondition-for-sequence-s-get-operation' into 'master'
FILLIATRE Jean-Christophe
More... about 2 months ago
Seq.get: added a precondition 0 <= i < length s
Jean-Christophe Filliatre
More... 2 months ago
Merge branch 'bobot/fix-deploy-image' into 'master'
BOBOT Francois
More... 2 months ago
Allow callers to skip proof limit adjustment
Johannes Kanig
More... 2 months ago
Merge branch 'coma-name' into 'master'
XIA Li-Yao
More... 3 months ago
coma: Remember function name location in vc identifier
Li-yao Xia
More... 3 months ago