Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 29, 2024 — Aug 29, 2025 Showing page 49 of 562 Search / Filter on:
Merge branch 'master' into dreal	Paul	More...				almost 3 years ago
Add reproducer file	Solène Moreau	More...				almost 3 years ago
Abort term reduction if its size is growing too much	Solène Moreau	More...				almost 3 years ago
Remove the use of the eliminate_implications transformation	Paul Bonnot	More...				almost 3 years ago
Merge branch '252-check-counterexamples-benchmark' into 'master'	MARCHE Claude	More...				almost 3 years ago
Update oracle files after rebasing on master	Solène Moreau	More...				almost 3 years ago
Corrected some problems that caused crash of dreal	Paul Bonnot	More...				almost 3 years ago
Merge master	Paul Bonnot	More...				almost 3 years ago
Change the order of assertions	pbonnot	More...				almost 3 years ago
Trying more steps for check-ce/maps to fix the CI	Solène Moreau	More...				almost 3 years ago
Merge branch '698-remove_unused-dependency-not-strong-enough-with-definition-given-in-drivers' into 'master'	MARCHE Claude	More...				almost 3 years ago
Fix script extracting CE statistics	Solène Moreau	More...				almost 3 years ago
Remove obsolete oracle files for CE bench	Solène Moreau	More...				almost 3 years ago
remove_unused: no meta ever introduce a needed symbol	Claude Marché as Claude Marche	More...				almost 3 years ago
Transformation keep_only_arithmetic ok	Paul	More...				almost 3 years ago
Fix bench goodfiles for bench/check-ce	Solène Moreau	More...				almost 3 years ago
Add script to extract statistics about CE verdicts	Solène Moreau	More...				almost 3 years ago
Only one script for CE bench	Solène Moreau	More...				almost 3 years ago
Merge branch '674-optimize-or-disable-simplify_trivial_quantification' into 'master'	MARCHE Claude	More...				almost 3 years ago
Handle projections with Vconstr(None,_,_) in RAC	Solène Moreau	More...				almost 3 years ago
Handle BitVectors constants, using types from lsymbol to create the constant	Solène Moreau	More...				almost 3 years ago
Handle BitVectors constants, using types from lsymbol to create the constant	Solène Moreau	More...				almost 3 years ago
Disable custom logic for Seq as it is part of OCaml >= 4.07.	Guillaume Melquiond	More...				almost 3 years ago
Remove pre-4.08 Dynlink wrapper.	Guillaume Melquiond	More...				almost 3 years ago
Bump minimum version of OCaml to 4.08.	Guillaume Melquiond	More...				almost 3 years ago
Merge branch 'ocaml-408' into 'master'	Guillaume Melquiond	More...				almost 3 years ago
Use ocamlfind for documentation if available.	Guillaume Melquiond	More...				almost 3 years ago
Started to create another transformation eliminate_implications	pbonnot	More...				almost 3 years ago
(WIP) Handle values with fields but no constructor	Solène Moreau	More...				almost 3 years ago
Merge branch 'clean-warnings' into 'master'	Guillaume Melquiond	More...				almost 3 years ago

←
1
2
…
45
46
47
48
49
50
51
52
53
…
561
562
→