Why3

Settings | Report Duplicate

3

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 30, 2023 — Apr 30, 2024 Showing page 242 of 544 Search / Filter on:
Use 'clicked' events rather than 'pressed' events.	Guillaume Melquiond	More...				over 6 years ago
Minor - add another missing keyword to name mangle.	Florian Schanda	More...				over 6 years ago
nightly bench: auto upgrade coq proofs to version 8.6.1	Claude Marché as Claude Marche	More...				over 6 years ago
Use the standard input for MathSAT 5.2, as it does not support input files.	Guillaume Melquiond	More...				over 6 years ago
another small adjust	Claude Marché as Claude Marche	More...				over 6 years ago
mp2: nicer doc	Claude Marché as Claude Marche	More...				over 6 years ago
send_source should default to true.	Sylvain Dailler	More...				over 6 years ago
Adding a parameter to avoid sending source mlw file (todo: should be in config?)	Sylvain Dailler	More...				over 6 years ago
Typo and minor session updating for CVC4 1.5	Sylvain Dailler	More...				over 6 years ago
Q817-011 proof - integrate float enabled cvc4	Florian Schanda	More...				over 6 years ago
Q817-011 proof - integrate float enabled cvc4	Florian Schanda	More...				over 6 years ago
Q817-011 proof - integrate float enabled cvc4	Florian Schanda	More...				over 6 years ago
Update cvc4_15 driver	Sylvain Dailler	More...				over 6 years ago
Adding parameter that allow choosing whether locations colors are sent in get_task.	Sylvain Dailler	More...				over 6 years ago
Update and re-organize reserved word list.	Florian Schanda	More...				over 6 years ago
Adding bind_comp, relocating sort, adding pose/hide	Sylvain Dailler	More...				over 6 years ago
clear_but now only removes local context.	Sylvain Dailler	More...				over 6 years ago
Change schedule_edition.	Sylvain Dailler	More...				almost 7 years ago
Changes related to manual proof	Sylvain Dailler	More...				almost 7 years ago
Ocaml printer: minor	Mário Pereira	More...				almost 7 years ago
Cursor examples: removed outdated comment	Mário Pereira	More...				almost 7 years ago
Session files for cursor examples	Mário Pereira	More...				almost 7 years ago
cursor_examples.mlw moved to the gallery	Mário Pereira	More...				almost 7 years ago
Compile: cosmetic	Mário Pereira	More...				almost 7 years ago
Extraction: minor	Mário Pereira	More...				almost 7 years ago
Cursor examples (wip)	Mário Pereira	More...				almost 7 years ago
display all bench errors at the end of the bench	Claude Marché as Claude Marche	More...				almost 7 years ago
Extraction: fixes around the use of mask in match expressions	Mário Pereira	More...				almost 7 years ago
Cursor module: no more collection in the cursor data type	Mário Pereira	More...				almost 7 years ago
space in json values	Sylvain Dailler	More...				almost 7 years ago

←
1
2
…
238
239
240
241
242
243
244
245
246
…
543
544
→