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
Sep 03, 2024 — Sep 03, 2025 Showing page 83 of 562 Search / Filter on:
Fix session match length trans	Quentin Garchery	More...				over 4 years ago
Merge branch 'fix-observer' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Do not call the observer unless some changes happened.	Guillaume Melquiond	More...				over 4 years ago
Do not call the observer unless some changes happened.	Guillaume Melquiond	More...				over 4 years ago
fixed example list_removal	Jean-Christophe Filliatre	More...				over 4 years ago
Merge branch 'bugfix/v1.4'	Guillaume Melquiond	More...				over 4 years ago
Compile plugins as .cma files instead of .cmo.	Guillaume Melquiond	More...				over 4 years ago
Temporarily disable ocamlgraph >= 2.0.	Guillaume Melquiond	More...				over 4 years ago
Fix release instructions.	Guillaume Melquiond	More...				over 4 years ago
Update version number.	Guillaume Melquiond	More...				over 4 years ago
Fix compilation of hypothesis_selection.cmo.	Guillaume Melquiond	More...				over 4 years ago
Remove invalid specification.	Guillaume Melquiond	More...				over 4 years ago
Merge branch '251-emit-a-warning-when-old-does-nothing-in-a-specification' into 'master'	Guillaume Melquiond	More...				over 4 years ago
examples: move list_removal to in_progress/ to fix the proof at leisure	Andrei Paskevich	More...				over 4 years ago
Dexpr: emit a warning for spurious `old`s in `val` contracts	Andrei Paskevich	More...				over 4 years ago
Merge branch '525-destruct-case-transformations-incorrectly-handle-polymorphic-formulas' into 'master'	Andrei Paskevich	More...				over 4 years ago
fix some cases of unsoundness in presence of polymorphism (#525)	Andrei Paskevich	More...				over 4 years ago
Case: mark introduced variables and premises as such	Andrei Paskevich	More...				over 4 years ago
Look into contradiction term when comparing with VC goal	Benedikt Becker	More...				over 4 years ago
Allow arguments for transformations applied in why3 prove	Benedikt Becker	More...				over 4 years ago
Print value types with debug option print_types	Benedikt Becker	More...				over 4 years ago
Increase the threshold.	Guillaume Melquiond	More...				over 4 years ago
Fix incorrect swap.	Guillaume Melquiond	More...				over 4 years ago
Avoid some useless operations.	Guillaume Melquiond	More...				over 4 years ago
Use checked terms as premises for subsequent checks	Benedikt Becker	More...				over 4 years ago
Use epsilon for undefined values	Benedikt Becker	More...				over 4 years ago
Don't handle failures in pinterp	Benedikt Becker	More...				over 4 years ago
Check more preconditions	Benedikt Becker	More...				over 4 years ago
More consistent printing of identifiers	Benedikt Becker	More...				over 4 years ago
stdlib: fixed typo in seq.Sorted.sorted_append	Jean-Christophe Filliatre	More...				over 4 years ago

←
1
2
…
79
80
81
82
83
84
85
86
87
…
561
562
→