Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 18 hours ago. based on code collected about 18 hours ago.
Jul 21, 2024 — Jul 21, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'section-order' into 'master'
Guillaume Melquiond
More... over 2 years ago
Remove Lists.mapi and iteri as they are now standard.
Guillaume Melquiond
More... over 2 years ago
Remove Lists.map_filter as it is now standard.
Guillaume Melquiond
More... over 2 years ago
Try harder not to mess with the order of configuration sections.
Guillaume Melquiond
More... over 2 years ago
Remove obsolete assertions.
Guillaume Melquiond
More... over 2 years ago
Upgrade the distribution used by the deployed Docker image.
Guillaume Melquiond
More... over 2 years ago
Merge branch 'sort-provers' into 'master'
Guillaume Melquiond
More... over 2 years ago
Merge branch '697-enable-profiling-with-ocaml-4-09' into 'master'
MARCHE Claude
More... over 2 years ago
Merge branch '690-cvc4-driver-does-not-escape-is' into 'master'
MARCHE Claude
More... over 2 years ago
Resolve "CVC4 driver does not escape `is`"
MOREAU Solene
More... over 2 years ago
Merge branch 'rac-steplimit-timelimit' into 'master'
MARCHE Claude
More... over 2 years ago
Temporary deactivate maps_poly from check-ce-bench
Solène Moreau
More... over 2 years ago
Sort detected provers by version (fix #667).
Guillaume Melquiond
More... over 2 years ago
Merge branch 'strategy-unknown' into 'master'
Guillaume Melquiond
More... over 2 years ago
Factor code a bit between known and unknown prover versions.
Guillaume Melquiond
More... over 2 years ago
Add steplimit and timelimit for RAC prover
Solène Moreau
More... over 2 years ago
Merge branch 'micro-python-stdlib' into 'master'
Jean-Christophe Filliâtre
More... over 2 years ago
Merge branch 'micro-python-by-so' into 'master'
Jean-Christophe Filliâtre
More... over 2 years ago
Add support for multi-assign and for-loops to subregion analysis
Xavier Denis
More... over 2 years ago
Merge branch 'utf8-locations' into 'master'
Guillaume Melquiond
More... over 2 years ago
micro-Python: add_list can be used in logic
Jean-Christophe Filliatre
More... over 2 years ago
micro-Python: fixed overloading of +
Jean-Christophe Filliatre
More... over 2 years ago
micro-Python: added by and so connectives
Jean-Christophe Filliatre
More... over 2 years ago
Count UTF-8 characters instead of bytes.
Guillaume Melquiond
More... over 2 years ago
(WIP) Support for floating point constants
Solène Moreau
More... over 2 years ago
Merge branch 'gtk3' into 'master'
Guillaume Melquiond
More... over 2 years ago
Remove emulation of placeholder text as GTK3 supports it natively.
Guillaume Melquiond
More... over 2 years ago
Document that LablGtk3 is now needed.
Guillaume Melquiond
More... over 2 years ago
Merge branch 'ocaml5' into 'master'
Guillaume Melquiond
More... over 2 years ago
Add meta compute_max_steps in rac.mlw to avoid warnings
Solène Moreau
More... over 2 years ago