Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 16, 2024 — Aug 16, 2025 Showing page 53 of 562 Search / Filter on:
Merge branch 'rename-invariant-refn-vcs' into 'master'	Benjamin Terra-Jorge	More...				almost 3 years ago
Add a test	Benjamin Jorge	More...				almost 3 years ago
Merge branch 'apidoc' into 'master'	Guillaume Melquiond	More...				almost 3 years ago
Clean API documentation.	Guillaume Melquiond	More...				almost 3 years ago
Clean API documentation.	Guillaume Melquiond	More...				almost 3 years ago
Clean and document Debug.	Guillaume Melquiond	More...				almost 3 years ago
Avoid looking up flags dynamically.	Guillaume Melquiond	More...				almost 3 years ago
Remove the default argument from option and list variants.	Guillaume Melquiond	More...				almost 3 years ago
Move get_home_dir to a more sensible place.	Guillaume Melquiond	More...				almost 3 years ago
Clean some API documentation.	Guillaume Melquiond	More...				almost 3 years ago
Make compilation stricter with respect to invalid or ambiguous ocamldoc comments.	Guillaume Melquiond	More...				almost 3 years ago
Fix ambiguous ocamldoc comments.	Guillaume Melquiond	More...				almost 3 years ago
Remove invalid ocamldoc comments.	Guillaume Melquiond	More...				almost 3 years ago
add mach.java modules	Gerald Point	More...				almost 3 years ago
Merge branch '625_interrupt' into 'master'	Johannes Kanig	More...				almost 3 years ago
improve server documentation	Johannes Kanig	More...				almost 3 years ago
V726-002 function to kill proof attempts for goal	Johannes Kanig	More...				almost 3 years ago
Merge branch '665-support-for-z3-4-9' into 'master'	MARCHE Claude	More...				almost 3 years ago
support for Z3 4.9 to 4.11	MARCHE Claude	More...				almost 3 years ago
support for Z3 4.9 to 4.11	MARCHE Claude	More...				almost 3 years ago
Merge branch 'yet_another_sorting_algorithm' into 'master'	Jean-Christophe Filliâtre	More...				almost 3 years ago
Merge branch 'new-version-of-turing-factorial' into 'master'	Jean-Christophe Filliâtre	More...				almost 3 years ago
Merge branch 'master' into new-version-of-turing-factorial	Jean-Christophe Filliatre	More...				almost 3 years ago
examples: variant of Turing's factorial	Jean-Christophe Filliatre	More...				almost 3 years ago
Rename VC for invariant preservation by refinement from "t'vc" to "t'refn'vc"	Benjamin Jorge	More...				almost 3 years ago
Use Lists.map_filter instead of List.filter_map (since 4.08 only)	Solène Moreau	More...				almost 3 years ago
(WIP) Improve handling of known types while parsing / More evaluations with type coercions	Solène Moreau	More...				almost 3 years ago
Cleanup	Solène Moreau	More...				almost 3 years ago
(WIP) Use Vterm to import CE models for RAC execution	Solène Moreau	More...				almost 3 years ago
(WIP) First steps towards application of type coercions	Solène Moreau	More...				almost 3 years ago

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