Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 19 hours ago. based on code collected about 19 hours ago.
Jul 31, 2024 — Jul 31, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Add Debug.Stats.get_timings.
Guillaume Melquiond
More... over 1 year ago
Remove some trailing whitespaces.
Guillaume Melquiond
More... over 1 year ago
Fix typos.
Guillaume Melquiond
More... over 1 year ago
Merge branch 'remove-opt' into 'master'
Guillaume Melquiond
More... over 1 year ago
Version 1.7.0
Guillaume Melquiond
More... over 1 year ago
Resolve "Simplification of record types with only one field"
Gérald Point
More... over 1 year ago
Merge branch '777-simplification-of-records-with-only-one-field' into 'master'
Guillaume Melquiond
More... over 1 year ago
Merge branch 'sort-modules-in-api-doc' into 'master'
Guillaume Melquiond
More... over 1 year ago
Merge branch 'fix-doc' into 'master'
Guillaume Melquiond
More... over 1 year ago
Replace Opt functions that are provided by the standard library.
Guillaume Melquiond
More... over 1 year ago
Fix some documentation typos.
Guillaume Melquiond
More... over 1 year ago
Merge branch 'timing-stats' into 'master'
Guillaume Melquiond
More... over 1 year ago
Merge branch 'fix-configure-windows' into 'master'
Guillaume Melquiond
More... over 1 year ago
Move timing functions to the Debug.Stats infrastructure.
Guillaume Melquiond
More... over 1 year ago
Merge branch 'misc-fixes' into 'master'
Guillaume Melquiond
More... over 1 year ago
Fix constant too large for 32-bit architectures.
Guillaume Melquiond
More... over 1 year ago
Prevent the documentation from being almost aligned.
Guillaume Melquiond
More... over 1 year ago
Add missing interface file.
Guillaume Melquiond
More... over 1 year ago
Improve --help documentation.
Guillaume Melquiond
More... over 1 year ago
META: fix plugin in bytecode mode
x-ABlanc
More... over 1 year ago
Merge branch 'fix-windows-compilation' into 'master'
Guillaume Melquiond
More... over 1 year ago
fix compilation on Windows
Andre Maroneze
More... over 1 year ago
avoid ocamlfind-related issues with '\r' on Cygwin
Andre Maroneze
More... over 1 year ago
Merge branch 'alt-ergo-smt' into 'master'
MARCHE Claude
More... over 1 year ago
support for Alt-Ergo with Dolmen front-end and SMT syntax
MARCHE Claude
More... over 1 year ago
coma_vc: memoize simple VCs
Andrei Paskevich
More... over 1 year ago
Merge branch 'improve_subst' into 'master'
Andrei Paskevich
More... over 1 year ago
Merge branch 'alt-ergo-252' into 'master'
MARCHE Claude
More... over 1 year ago
new docker image with Alt-Ergo 2.5.2
Claude Marché
as Claude Marche
More... over 1 year ago
Merge branch 'coq-8.18' into 'master'
Guillaume Melquiond
More... over 1 year ago