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.
Aug 31, 2024 — Aug 31, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update CHANGES.md
Benedikt Becker
More... over 4 years ago
updated CHANGES
Jean-Christophe Filliatre
More... over 4 years ago
README: how to test trywhy3 locally
Jean-Christophe Filliatre
More... over 4 years ago
updated CHANGES
Jean-Christophe Filliatre
More... over 4 years ago
Merge branch '533-add-support-for-alt-ergo-2-4-0' into 'master'
MARCHE Claude
More... over 4 years ago
Resolve "Add support for Alt-Ergo 2.4.0"
MARCHE Claude
More... over 4 years ago
Update CHANGES.md
François Bobot
More... over 4 years ago
fix session mentioning some inexistent file
Claude Marché
as Claude Marche
More... over 4 years ago
Merge branch 'cfg-tests' into 'master'
Xavier Denis
More... over 4 years ago
Merge branch 'improve-ce-api' into 'master'
Benedikt Becker
More... over 4 years ago
Merge branch '474-document-the-emacs-mode-for-why3' into 'master'
MARCHE Claude
More... over 4 years ago
document configuration for editors and shells
Claude Marché
as Claude Marche
More... over 4 years ago
Merge branch 'functor_extraction_doc' into 'master'
Guillaume Melquiond
More... over 4 years ago
Documentation of functors extraction
Mário Pereira
More... over 4 years ago
Add function to Counterexample to select the last non-empty model
Benedikt Becker
More... over 4 years ago
remove temporary debug message
Claude Marché
as Claude Marche
More... over 4 years ago
Resolve "Incorrect representation of float literal -1"
MARCHE Claude
More... over 4 years ago
Merge branch '548-incorrect-representation-of-float-literal-1' into 'master'
MARCHE Claude
More... over 4 years ago
Fix return and absurd parsing in MLCFG modules
Xavier Denis
More... over 4 years ago
Merge branch '544-transformation-compute-is-too-permissive-with-respect-to-division' into 'master'
Benedikt Becker
More... over 4 years ago
Improve error messages when builtins cannot be executed
Benedikt Becker
More... over 4 years ago
Raise exception when div or mod by zero
Benedikt Becker
More... over 4 years ago
Update bitvector modules for use in programs.
Claude Marché
as Claude Marche
More... over 4 years ago
Merge branch 'cfg-terminators' into 'master'
Xavier Denis
More... over 4 years ago
Merge branch '543-why3-execute-fails-with-anomaly-not_found' into 'master'
Benedikt Becker
More... over 4 years ago
Add test for UInt64 to RAC bench
Benedikt Becker
More... over 4 years ago
Enable --rac-try-negate for RAC bench
Benedikt Becker
More... over 4 years ago
Use the updated env when evaluating global constants
Benedikt Becker
More... over 4 years ago
Merge branch 'fix-execute' into 'master'
Guillaume Melquiond
More... over 4 years ago
Restore the "execute" button of TryWhy3 (fix #541).
Guillaume Melquiond
More... over 4 years ago