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
Aug 29, 2024 — Aug 29, 2025 Showing page 79 of 562 Search / Filter on:
more eagerly detect trivial VCs	Claude Marché as Claude Marche	More...				over 4 years ago
attempt to name the result variable explicitly to avoid further renaming	Claude Marché as Claude Marche	More...				over 4 years ago
Fix type instantiation in RAC	Benedikt Becker	More...				over 4 years ago
Fix type instantiation in execution of variant constructors	Benedikt Becker	More...				over 4 years ago
Merge branch 'reduce-bounded-all-quantifications' into 'master'	MARCHE Claude	More...				over 4 years ago
Merge branch 'why3-prove-limit-goal' into 'master'	Benedikt Becker	More...				over 4 years ago
Reduce bounded existential quantifications	Benedikt Becker	More...				over 4 years ago
Configurable maximal domain size for reduction of quantifications	Benedikt Becker	More...				over 4 years ago
Keep result variables differently	Claude Marché as Claude Marche	More...				over 4 years ago
Allows to read the detection information from a file different from the default one	François Bobot	More...				over 4 years ago
fix euler_sieve, array and split_vc interaction	Quentin Garchery	More...				over 4 years ago
fix examples euler_sieve and multiprecision/mpz_mul	Quentin Garchery	More...				over 4 years ago
fix sessions	Quentin Garchery	More...				over 4 years ago
Merge branch 'inline_lsld_ext' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Add missing files.	Guillaume Melquiond	More...				over 4 years ago
Discard empty file.	Guillaume Melquiond	More...				over 4 years ago
Optimize eta-expansion of tuples: "let (x,y) = e in (x,y)".	Guillaume Melquiond	More...				over 4 years ago
Add Colibri2	François Bobot	More...				over 4 years ago
Inline lsld_ext and remove its conditional.	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'mpz_fixes' into 'master'	Guillaume Melquiond	More...				over 4 years ago
whymp: add some mpz functions	Raphaël Rieu-Helft	More...				over 4 years ago
Improve benchmarks.	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'verifythis_challenge1_alt' into 'master'	Quentin Garchery	More...				over 4 years ago
Add another way to complete challenge 1 from VerifyThis 2021	Quentin Garchery	More...				over 4 years ago
Merge branch 'generalize_witness' into 'master'	François Bobot	More...				over 4 years ago
Merge remote-tracking branch 'origin/master' into generalize_witness	François Bobot	More...				over 4 years ago
Update oracles	Benedikt Becker	More...				over 4 years ago
Merge branch 'rac-improvements' into 'master'	Benedikt Becker	More...				over 4 years ago
Merge branch 'fix_step_commands' into 'master'	MARCHE Claude	More...				over 4 years ago
Fix regexps for detection of step limit reached	MARCHE Claude	More...				over 4 years ago

←
1
2
…
75
76
77
78
79
80
81
82
83
…
561
562
→