Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 18, 2024 — Aug 18, 2025 Showing page 80 of 562 Search / Filter on:
Fix incorrect detection of Coq in job "nightly-bench-reduced".	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'fix-ce-transf-attrs' into 'master'	MARCHE Claude	More...				over 4 years ago
Expr: preserve the existing location in e_attr_push	Andrei Paskevich	More...				over 4 years ago
Parser: preserve the order of attributes over the LHS in an assignment	Andrei Paskevich	More...				over 4 years ago
Minor fixes for mlw printer	Benedikt Becker	More...				over 4 years ago
Merge branch 'cmp-fixes' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'fix-make' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Define default menhir make rule later	Benedikt Becker	More...				over 4 years ago
Fix calls to cmp	Benedikt Becker	More...				over 4 years ago
Merge branch 'alt-ergo-worker' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Update documentation and clean files.	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'why3-show' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Update completion scripts.	Guillaume Melquiond	More...				over 4 years ago
Print debug flags on the standard output.	Guillaume Melquiond	More...				over 4 years ago
Update documentation.	Guillaume Melquiond	More...				over 4 years ago
Fix bench.	Guillaume Melquiond	More...				over 4 years ago
Move "--list-*" options to a dedicated "why3 show" tool.	Guillaume Melquiond	More...				over 4 years ago
Clean descriptions.	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'keywords' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Clean files a bit harder.	Guillaume Melquiond	More...				over 4 years ago
Move contextual keywords away.	Guillaume Melquiond	More...				over 4 years ago
Avoid updating unchanged files.	Guillaume Melquiond	More...				over 4 years ago
Remove cfg_tokens.ml as cfg_parser.mli is almost fine.	Guillaume Melquiond	More...				over 4 years ago
Do not include *.dep files when the "depend" rule is built.	Guillaume Melquiond	More...				over 4 years ago
Put keywords into a single location, at least for OCaml (fix #527).	Guillaume Melquiond	More...				over 4 years ago
Move tokens into their own separate file.	Guillaume Melquiond	More...				over 4 years ago
Stop differentiating between keywords in why3doc.	Guillaume Melquiond	More...				over 4 years ago
Merge branch 'improve-doc' into 'master'	Guillaume Melquiond	More...				over 4 years ago
Homogenize index entries for keywords.	Guillaume Melquiond	More...				over 4 years ago
Merge documentation sections about "at" and "old".	Guillaume Melquiond	More...				over 4 years ago

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