Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 27, 2024 — Aug 27, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'from-spark-2' into 'master'
Benedikt Becker
More... almost 4 years ago
Merge branch 'strip-why3printer' into 'master'
Guillaume Melquiond
More... almost 4 years ago
Fix oracles.
Guillaume Melquiond
More... almost 4 years ago
Turn Why3printer into a shallow wrapper around Pretty.
Guillaume Melquiond
More... almost 4 years ago
Make it settable whether "axiom" is displayed in tasks.
Guillaume Melquiond
More... almost 4 years ago
Teach Pretty about equality.
Guillaume Melquiond
More... almost 4 years ago
Add missing line breaks.
Guillaume Melquiond
More... almost 4 years ago
Merge branch 'micro-python-logic-def-and-type-variables' into 'master'
Jean-Christophe Filliâtre
More... almost 4 years ago
micro python: typo in doumentation
Jean-Christophe Filliatre
More... almost 4 years ago
micro Python: added def for function/predicate and type variables
Jean-Christophe Filliatre
More... almost 4 years ago
Merge branch 'fix-json' into 'master'
Guillaume Melquiond
More... almost 4 years ago
Add some missing cases.
Guillaume Melquiond
More... almost 4 years ago
Parse Json integers as floats, if needed.
Guillaume Melquiond
More... almost 4 years ago
Simplify code a bit.
Guillaume Melquiond
More... almost 4 years ago
Merge branch '551-module-mach-bv-should-provide-purely-bitvector-based-pre-conditions' into 'master'
MARCHE Claude
More... almost 4 years ago
Tentatively make use of the deployment cache.
Guillaume Melquiond
More... almost 4 years ago
fix from Guillaume's remarks
Claude Marché
as Claude Marche
More... almost 4 years ago
update CHANGES for changes in stdlib/mach/bv
Claude Marché
as Claude Marche
More... almost 4 years ago
update obsolete sessions
Claude Marché
as Claude Marche
More... almost 4 years ago
Terminate as incomplete when projecting undefined
Benedikt Becker
More... almost 4 years ago
Fix premises context for abstract calls
Benedikt Becker
More... almost 4 years ago
Tentatively make use of the deployment cache.
Guillaume Melquiond
More... almost 4 years ago
Merge branch 'master' into 551-module-mach-bv-should-provide-purely-bitvector-based-pre-conditions
Claude Marché
as Claude Marche
More... almost 4 years ago
Merge branch 'intros-push-more-attrs' into 'master'
MARCHE Claude
More... almost 4 years ago
Several renamings and fix a few pre and post-conditions
Claude Marché
as Claude Marche
More... almost 4 years ago
Merge branch 'silence-4.13-warnings' into 'master'
Guillaume Melquiond
More... almost 4 years ago
Remove unused file.
Guillaume Melquiond
More... almost 4 years ago
Change interface-only .ml files into .mli files.
Guillaume Melquiond
More... almost 4 years ago
Remove useless optional arguments.
Guillaume Melquiond
More... almost 4 years ago
Remove dead code.
Guillaume Melquiond
More... almost 4 years ago