Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 03, 2024 — Sep 03, 2025 Showing page 86 of 562 Search / Filter on:
Kill the Why3 worker only if no Alt-Ergo workers are running (fix #516).	Guillaume Melquiond	More...				over 4 years ago
Clean code a bit.	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'broadway' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Add support for Broadway in the deployed image.	Guillaume Melquiond	More...				over 4 years ago
better fix bench	Claude Marché as Claude Marche	More...				over 4 years ago
fix bench	Claude Marché as Claude Marche	More...				over 4 years ago
Merge branch 'rac-fixes-from-spark' into 'master'	Benedikt Becker	More...				over 4 years ago
Add command line option to limit why3 prove to select sub-goals	Benedikt Becker	More...				over 4 years ago
Use debug info flags to print original and derived CE model	Benedikt Becker	More...				over 4 years ago
encoding select: new option 'local'	Jean-Christophe Filliatre	More...				over 4 years ago
Reverse only free variables in compute_term	Benedikt Becker	More...				over 4 years ago
Make the shortcut truly optional.	Guillaume Melquiond	More...				over 4 years ago
Change field name from "binary" to "exec_name", for homogeneity.	Guillaume Melquiond	More...				over 4 years ago
Rename --list-binaries to --list-supported-provers.	Guillaume Melquiond	More...				over 4 years ago
Update oracles	Benedikt Becker	More...				over 4 years ago
Use debug flag instead of env var to control representation of arrays	Benedikt Becker	More...				over 4 years ago
Add debug flag to disable builtins for modules under stdlib/mach	Benedikt Becker	More...				over 4 years ago
Debug initialisation of globals	Benedikt Becker	More...				over 4 years ago
Correct type of undefined fields during value import	Benedikt Becker	More...				over 4 years ago
[Autodetection] --add-prover use prover_name for id	François Bobot	More...				over 4 years ago
Fix unknown detection use binary instead of exec_name	François Bobot	More...				over 4 years ago
Snapshot oldies also for abstract execution of vals	Benedikt Becker	More...				over 4 years ago
Merge branch 'fix-553' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Do not try to move proof attempts to a non-existent prover (fix #553).	Guillaume Melquiond	More...				over 4 years ago
Correct detection of function calls in value_of_term	Benedikt Becker	More...				over 4 years ago
Fix printing of constr values	Benedikt Becker	More...				over 4 years ago
[ManualProver] don't remove them when conflicting shortcut	François Bobot	More...				over 4 years ago
Add ce_summary to select_model_last_non_empty for compatibility	Benedikt Becker	More...				over 4 years ago
Correct location for result variables in VC	Benedikt Becker	More...				over 4 years ago
Merge branch 'fix-preferences' into 'master'	Guillaume Melquiond	More...				over 4 years ago

←
1
2
…
82
83
84
85
86
87
88
89
90
…
561
562
→