Why3

Settings | Report Duplicate

3

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 29, 2024 — Aug 29, 2025 Showing page 66 of 562 Search / Filter on:
new oracles for CE, Z3 4.8.10	Claude Marché as Claude Marche	More...				over 3 years ago
Restore the still relevant parts of the ci.md file.	Guillaume Melquiond	More...				over 3 years ago
Merge branch 'flocq-single-nan' into 'master'	Guillaume Melquiond	More...				over 3 years ago
Convert the floating-point realizations to Flocq.BinarySingleNaN.	Guillaume Melquiond	More...				over 3 years ago
Update realizations.	Guillaume Melquiond	More...				over 3 years ago
Update BUILD_IMAGE variable in .gitlab-ci.yml file	Solène Moreau	More...				over 3 years ago
Print real numbers directly from their internal representation.	Guillaume Melquiond	More...				over 3 years ago
Add Z3,4.8.10 in Dockerfile.build	Solène Moreau	More...				over 3 years ago
Replace memory_max_alloc_count by rlimit for Z3 >= 4.4.1	Solène Moreau	More...				over 3 years ago
Use Z3,4.8.10 in ce-bench and check-ce-bench scripts	Solène Moreau	More...				over 3 years ago
Copy each file oracle file for Z3,4.8.4 to a file with Z3,4.8.10 in the name	Solène Moreau	More...				over 3 years ago
Merge branch 'fix-606' into 'master'	Guillaume Melquiond	More...				over 3 years ago
Be more robust with paths that are not quite absolute (fix #606).	Guillaume Melquiond	More...				over 3 years ago
Merge branch 'fix-603' into 'master'	Guillaume Melquiond	More...				over 3 years ago
Compatibility with MPFR 4.1.0	François Bobot	More...				over 3 years ago
[Colibri2] add sqrt	François Bobot	More...				over 3 years ago
Be more explicit in the description of why3config (fix #603).	Guillaume Melquiond	More...				over 3 years ago
Use Inria shared workers and enable parallel compilation.	Guillaume Melquiond	More...				over 3 years ago
Merge branch 'small-fixes' into 'master'	Guillaume Melquiond	More...				over 3 years ago
Choose a default editor at configure time (fix #598).	Guillaume Melquiond	More...				over 3 years ago
Fix typo (fix #602).	Guillaume Melquiond	More...				over 3 years ago
Merge branch 'interp-mpfr' into 'master'	Guillaume Melquiond	More...				over 3 years ago
Make it possible to run MPFR-based tests.	Guillaume Melquiond	More...				over 3 years ago
Properly interpret builtin nullary function.	Guillaume Melquiond	More...				over 3 years ago
Use the proper when interpreting floating-point literals.	Guillaume Melquiond	More...				over 3 years ago
Delay interpretation of nullary functions.	Guillaume Melquiond	More...				over 3 years ago
Do not fail when recovering terms from real numbers.	Guillaume Melquiond	More...				over 3 years ago
Mark Coq 8.15 as suported.	Guillaume Melquiond	More...				over 3 years ago
Merge branch 'bugfix/v1.4'	Guillaume Melquiond	More...				over 3 years ago
Resolve "Rac checker returns incorrect result with expl attr"	MARCHE Claude	More...				over 3 years ago

←
1
2
…
62
63
64
65
66
67
68
69
70
…
561
562
→