Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 24 hours 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 90 of 562 Search / Filter on:
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
Relax syntactic restriction on switch targets	Xavier Denis	More...				over 4 years ago
Merge branch 'prepare-release-partial' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Remove option "-thread" from bytecode files for js_of_ocaml (fix #540).	Guillaume Melquiond	More...				over 4 years ago
Update changelog.	Guillaume Melquiond	More...				over 4 years ago
Add support for Coq 8.13.	Guillaume Melquiond	More...				over 4 years ago
Delay the creation of the shape readers, so that they are not part of TryWhy3.	Guillaume Melquiond	More...				over 4 years ago
fix generation of model_trace and proxy var for result	Claude Marché as Claude Marche	More...				over 4 years ago
Merge branch '534-normalise-presentation-of-counterexample-values-for-records' into 'master'	MARCHE Claude	More...				over 4 years ago
Fix order for CVC4 in prover detection data	Benedikt Becker	More...				over 4 years ago
Add CVC4 1.8 to genealogy	Benedikt Becker	More...				over 4 years ago
Merge branch 'rac-check-variants' into 'master'	Benedikt Becker	More...				over 4 years ago
Update snapshots.	Guillaume Melquiond	More...				over 4 years ago
Cause parsing-bench to properly error out and add missing oracles.	Guillaume Melquiond	More...				over 4 years ago
Uniformize bench output.	Guillaume Melquiond	More...				over 4 years ago
Merge branch '537-change-of-counterexample-display' into 'master'	Benedikt Becker	More...				over 4 years ago
Update headers.	Guillaume Melquiond	More...				over 4 years ago
Add MLCFG tests	Xavier Denis	More...				over 4 years ago
Add a CONTRIBUTING.md	Xavier Denis	More...				over 4 years ago
Add BigInt.is_int and use in Number.print_in_base	Benedikt Becker	More...				over 4 years ago
Use format printers in Number.print_in_base when possible	Benedikt Becker	More...				over 4 years ago
Merge branch 'break-continue' into 'master'	Xavier Denis	More...				over 4 years ago
Update oracles	Benedikt Becker	More...				over 4 years ago
make simplify_quant produce let decls when one wants to keep variable	MARCHE Claude	More...				over 4 years ago
Merge branch 'simplify_while_keep_relevant_variables' into 'master'	MARCHE Claude	More...				over 4 years ago
Print hex representation of integers in CE	Benedikt Becker	More...				over 4 years ago
Remove proofs for example petiot2015	Benedikt Becker	More...				over 4 years ago
Start support for CVC4 1.8	Benedikt Becker	More...				over 4 years ago
Re-enable keeping result variables in VC generation and eval-match	Claude Marché as Claude Marche	More...				over 4 years ago

←
1
2
…
86
87
88
89
90
91
92
93
94
…
561
562
→