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 29, 2024 — Jul 29, 2025 Showing page 52 of 562 Search / Filter on:
Merge branch 'remove_unused_pow2' into 'master'	MARCHE Claude	More...				almost 3 years ago
Python: give the proper file name for the locations of generated WhyML module	Claude Marché as Claude Marche	More...				almost 3 years ago
Merge branch '648-check-that-no-answers-are-lost-by-call_prover-analyse_result' into 'master'	MARCHE Claude	More...				almost 3 years ago
Resolve "Check that no answers are lost by Call_prover.analyse_result"	MOREAU Solene	More...				almost 3 years ago
Add "remove_unused:dependency" to int.ComputerDivision	David Ewert	More...				almost 3 years ago
Merge branch 'remove_unused_dep_comp_div' into 'master'	MARCHE Claude	More...				almost 3 years ago
Started to add support for dreal	Paul Bonnot	More...				almost 3 years ago
Merge branch 'server_handle_signals' into 'master'	Johannes Kanig	More...				almost 3 years ago
(WIP) Evaluate type coercions recursively	Solène Moreau	More...				almost 3 years ago
V914-015 kill processes when why3server interrupted	Johannes Kanig	More...				almost 3 years ago
Merge branch 'bugfix/v1.5'	Guillaume Melquiond	More...				almost 3 years ago
Update Opam packages.	Guillaume Melquiond	More...				almost 3 years ago
Update release instructions.	Guillaume Melquiond	More...				almost 3 years ago
Version 1.5.1	Guillaume Melquiond	More...				almost 3 years ago
Support Gappa 1.4.	Guillaume Melquiond	More...				almost 3 years ago
Support Coq 8.16.	Guillaume Melquiond	More...				almost 3 years ago
Cleaned changes.	Guillaume Melquiond	More...				almost 3 years ago
list reversal cleaned up	Jean-Christophe Filliatre	More...				almost 3 years ago
fixed Python example and proof session	Jean-Christophe Filliatre	More...				almost 3 years ago
Merge branch 'yet-another-list-reversal' into 'master'	Jean-Christophe Filliâtre	More...				almost 3 years ago
gallery: yet another list reversal	Jean-Christophe Filliatre	More...				almost 3 years ago
Merge branch 'improved-python-plugin' into 'master'	Jean-Christophe Filliâtre	More...				almost 3 years ago
Python: documentation	Jean-Christophe Filliâtre	More...				almost 3 years ago
Python: documentation	Jean-Christophe Filliâtre	More...				almost 3 years ago
Python: allow function when Python def is pure	Jean-Christophe Filliatre	More...				almost 3 years ago
Python: allow function when Python def is pure	Jean-Christophe Filliatre	More...				almost 3 years ago
updated proof sessions	Jean-Christophe Filliatre	More...				almost 3 years ago
Improved micro Python	Jean-Paul Bodeveix	More...				almost 3 years ago
Improved micro Python	Jean-Paul Bodeveix	More...				almost 3 years ago
Update mailmap.	Guillaume Melquiond	More...				almost 3 years ago

←
1
2
…
48
49
50
51
52
53
54
55
56
…
561
562
→