Why3

Settings | Report Duplicate

3

I Use This!

High Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 11 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 19, 2023 — Apr 19, 2024 Showing page 361 of 543 Search / Filter on:
Merge branch 'master' into claude	Claude Marché as Claude Marche	More...				over 9 years ago
updated roadmap	Claude Marché as Claude Marche	More...				over 9 years ago
strategies: key shortcuts	Claude Marché as Claude Marche	More...				over 9 years ago
strategies: run them on all selection, recursively	Claude Marché as Claude Marche	More...				over 9 years ago
Mlw: region-per-value instead of region-per-field	Andrei Paskevich	More...				over 9 years ago
Reduce amount of "use export" in the standard library.	Guillaume Melquiond	More...				over 9 years ago
Make non-distributed files more visible.	Guillaume Melquiond	More...				over 9 years ago
Remove broken obsolete rule.	Guillaume Melquiond	More...				over 9 years ago
Merge branch 'minmax'	Guillaume Melquiond	More...				over 9 years ago
Test drivers earlier in the bench.	Guillaume Melquiond	More...				over 9 years ago
Use definitions for min and max, assuming the relation is a total order.	Guillaume Melquiond	More...				over 9 years ago
removed superfluous use of Str.split	Claude Marché as Claude Marche	More...				over 9 years ago
Strategies parsed from Why3 config file	Claude Marché as Claude Marche	More...				over 9 years ago
strategies: special cases of split and inline, shortcuts	Claude Marché as Claude Marche	More...				over 9 years ago
strategies: interpret transformations	Claude Marché as Claude Marche	More...				over 9 years ago
strategies: first step	Claude Marché as Claude Marche	More...				over 9 years ago
cleaning	Claude Marché as Claude Marche	More...				over 9 years ago
trans compute: more robust protection against non termination	Claude Marché as Claude Marche	More...				over 9 years ago
trans compute: more robust selection of rewrite rules	Claude Marché as Claude Marche	More...				over 9 years ago
Add a few comments to theories about relations.	Guillaume Melquiond	More...				over 9 years ago
Remove obsolete theories that were commented out.	Guillaume Melquiond	More...				over 9 years ago
trans compute: simplifies equalities between constructors	Claude Marché as Claude Marche	More...				over 9 years ago
trans compute: a few details	Claude Marché as Claude Marche	More...				over 9 years ago
fix comment on Term.t_subst_types	Claude Marché as Claude Marche	More...				over 9 years ago
trans compute: support for negative numbers	Claude Marché as Claude Marche	More...				over 9 years ago
trans compute: decide constructor equality	Claude Marché as Claude Marche	More...				over 9 years ago
trans compute: typing bug seems to be fixed, as last.	Claude Marché as Claude Marche	More...				over 9 years ago
fix API doc	Claude Marché as Claude Marche	More...				over 9 years ago
transf compute: analysis the typing bug	Claude Marché as Claude Marche	More...				over 9 years ago
headers	Claude Marché as Claude Marche	More...				over 9 years ago

←
1
2
…
357
358
359
360
361
362
363
364
365
…
542
543
→