Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 14 hours ago.
Aug 16, 2024 — Aug 16, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Make sure the generated files are deleted even if no longer needed by configure.
Guillaume Melquiond
More... over 3 years ago
Make sure the generated files are deleted even if no longer needed by configure.
Guillaume Melquiond
More... over 3 years ago
Merge branch 'no_hpv' into 'master'
Andrei Paskevich
More... over 3 years ago
update sessions
Nightly Build
More... over 3 years ago
Dexpr: replace Hpv with Mpv ref to ensure persistency
Andrei Paskevich
More... over 3 years ago
Dexpr: replace Hpv with Mpv ref to ensure persistency
Andrei Paskevich
More... over 3 years ago
Merge branch 'split_the_unsplittable' into 'master'
Andrei Paskevich
More... over 3 years ago
Vc: keep sp_if's splittable (and update sessions)
Nightly Build
More... over 3 years ago
Merge branch 'bugfix/v1.5'
Guillaume Melquiond
More... over 3 years ago
Improve release instructions.
Guillaume Melquiond
More... over 3 years ago
Fix documentation.
Guillaume Melquiond
More... over 3 years ago
Bump version.
Guillaume Melquiond
More... over 3 years ago
Update Opam file.
Guillaume Melquiond
More... over 3 years ago
Version 1.5.0
Guillaume Melquiond
More... over 3 years ago
Fix broken documentation.
Guillaume Melquiond
More... over 3 years ago
Be more robust when detecting Seq.
Guillaume Melquiond
More... over 3 years ago
turn lemmas into lemma functions, automatically
Jean-Christophe Filliatre
More... over 3 years ago
rac: check the existence of a logical counterpart
Jean-Christophe Filliatre
More... over 3 years ago
Allow to specify a strategy to select a model from giant-step RAC results
Solène Moreau
More... over 3 years ago
Cleanup Check_ce API for use cases when only giant-step RAC results are needed.
Solène Moreau
More... over 3 years ago
Update headers.
Guillaume Melquiond
More... over 3 years ago
Update mailmap.
Guillaume Melquiond
More... over 3 years ago
Fix usage of xmllint with newer versions.
Guillaume Melquiond
More... over 3 years ago
Merge branch '600-field-pretty-printing' into 'master'
MARCHE Claude
More... over 3 years ago
Resolve "field pretty printing"
MARCHE Claude
More... over 3 years ago
Merge branch '562-simplify-optimizable-patterns-bis' into 'master'
Andrei Paskevich
More... over 3 years ago
extract: simplify patterns for optimizable records (fix #562)
Andrei Paskevich
More... over 3 years ago
Ity: fix itysymbols for bool and n-tuples
Andrei Paskevich
More... over 3 years ago
Improve changelog a bit.
Guillaume Melquiond
More... over 3 years ago
Merge branch 'lazy-autodetection' into 'master'
Guillaume Melquiond
More... over 3 years ago