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
Jul 22, 2024 — Jul 22, 2025 Showing page 48 of 561 Search / Filter on:
Improve smt_sort_to_ty	Solène Moreau	More...				over 2 years ago
Support for colibri2	Paul	More...				over 2 years ago
Updated ieee realizations files	Paul Bonnot	More...				over 2 years ago
Merge master	Paul Bonnot	More...				over 2 years ago
Cosmetic change	Paul Bonnot	More...				over 2 years ago
Use a map for env.prover_variables	Solène Moreau	More...				over 2 years ago
Corrected commentary	Paul Bonnot	More...				over 2 years ago
Delete quantifier instantiation transformation	Paul Bonnot	More...				over 2 years ago
Handle multiple coercions for a given type	Solène Moreau	More...				over 2 years ago
Fix incorrect evaluation of a term to Tfalse	Solène Moreau	More...				over 2 years ago
Infer type from variable names with ! character	Solène Moreau	More...				over 2 years ago
Parse string to sexp when trying to infer the type from the name variable	Solène Moreau	More...				over 2 years ago
Update comment.	Guillaume Melquiond	More...				over 2 years ago
Merge branch 'fix-autoconf' into 'master'	Guillaume Melquiond	More...				over 2 years ago
Remove obsolete autoconf macro.	Guillaume Melquiond	More...				over 2 years ago
Deleted useless files	Paul	More...				over 2 years ago
Corrected typo	Paul	More...				over 2 years ago
Added a transformation to instantiate universally quantified formulas	Paul	More...				over 2 years ago
Not yet supported constant types	Solène Moreau	More...				over 2 years ago
Merge branch 'cvc4-obsolete' into 'master'	Guillaume Melquiond	More...				over 2 years ago
Add explaining comments	Solène Moreau	More...				over 2 years ago
Merge branch 'yet-yet-another-list-reversal' into 'master'	Jean-Christophe Filliâtre	More...				over 2 years ago
Update oracle files	Solène Moreau	More...				over 2 years ago
Add size of subsitution maps in total size / Use max_growth=100	Solène Moreau	More...				over 2 years ago
gallery: linked reversal revamped, once again	Jean-Christophe Filliatre	More...				over 2 years ago
Remove CVC4 1.0 to 1.3 from the examples.	Guillaume Melquiond	More...				over 2 years ago
Merge branch 'master' into dreal	Paul	More...				over 2 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

←
1
2
…
44
45
46
47
48
49
50
51
52
…
560
561
→