Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 27 of 562 Search / Filter on:
Merge branch '796-ide-some-improvements-of-the-command-window' into 'master'	MARCHE Claude	More...				almost 2 years ago
Changes to command completion Add ctrl+left/right shortcut in command line Added copy/paste sanitizer Expand/collapse row with left/right	BONNOT Paul	More...				almost 2 years ago
reinforce pre-conditions of safe machine floats operations	Claude Marché as Claude Marche	More...				almost 2 years ago
Some corrections	Paul Bonnot	More...				almost 2 years ago
coma_vc: alternative implementation	Andrei Paskevich	More...				almost 2 years ago
Merge branch 'fix-tptp-negative' into 'master'	Guillaume Melquiond	More...				almost 2 years ago
Fix syntax for negative integers in TPTP.	Guillaume Melquiond	More...				almost 2 years ago
Merge branch '625-allow-running-prover-in-parallel-in-strategies' into 'master'	MARCHE Claude	More...				almost 2 years ago
remove interrupted nodes when parallel run of provers add some parallelism in default strategies	MARCHE Claude	More...				almost 2 years ago
Merge branch '772-session-api-should-export-merge_file_section' into 'master'	MARCHE Claude	More...				almost 2 years ago
Merge branch '709-all-warnings-should-be-toggleable' into 'master'	MARCHE Claude	More...				almost 2 years ago
Add all warning IDs and make them mandatory	Matteo Manighetti	More...				almost 2 years ago
coma: extension parser + pretty printer	Paul Patault	More...				almost 2 years ago
Scripts for benchmarking	Matteo Manighetti	More...				almost 2 years ago
Merge branch '688-disable-mbqi-in-z3' into 'master'	MARCHE Claude	More...				almost 2 years ago
Add function to get the list of calls and loops	Paul Bonnot	More...				almost 2 years ago
Change the name in IDE to avoid confusion	Paul Bonnot	More...				almost 2 years ago
Restore previous strategy behaviour	Paul Bonnot	More...				almost 2 years ago
Merge branch '790-remove-axiom-compatordermult-from-int-theory-of-cvcx-and-z3-drivers' into 'master'	MARCHE Claude	More...				almost 2 years ago
Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.	BONNOT Paul	More...				almost 2 years ago
Add a way to register strats and play them from the IDE	Paul Bonnot	More...				almost 2 years ago
Merge branch '791-drivers-should-not-be-searched-in-the-current-directory' into 'master'	MARCHE Claude	More...				almost 2 years ago
Look in the current directory only if no extra dir is given	MARCHE Claude	More...				almost 2 years ago
attempt to allow customized parsing of session files	Claude Marché as Claude Marche	More...				almost 2 years ago
coma: minor	Andrei Paskevich	More...				almost 2 years ago
Extset,Extmap: add `fold_right` for the reverse traversal	Andrei Paskevich	More...				almost 2 years ago
coma: fast WP (prototype)	Andrei Paskevich	More...				almost 2 years ago
Merge branch '793-config-for-version-2-4-3-of-alt-ergo-does-not-record-steps' into 'master'	MARCHE Claude	More...				almost 2 years ago
Merge branch '792-the-session-should-not-be-considered-systematically-obselte-when-shapes-are-ignored' into 'master'	MARCHE Claude	More...				almost 2 years ago
Add tooltips to hist graph	Matteo Manighetti	More...				almost 2 years ago

←
1
2
…
23
24
25
26
27
28
29
30
31
…
561
562
→