Why3

Settings | Report Duplicate

3

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 22, 2023 — Apr 22, 2024 Showing page 5 of 543 Search / Filter on:
Split TryWhy3 from its dependencies.	Guillaume Melquiond	More...				3 months ago
Update the release process.	Guillaume Melquiond	More...				3 months ago
Forward propagation of rounding errors	BONNOT Paul	More...				3 months ago
Merge branch '810-strategy-for-forward-error-computation' into 'master'	MARCHE Claude	More...				3 months ago
Merge branch 'publish-trywhy3' into 'master'	Guillaume Melquiond	More...				3 months ago
Do not export doctrees.	Guillaume Melquiond	More...				3 months ago
No longer deploy pages on master.	Guillaume Melquiond	More...				3 months ago
Add a manual job to build the dependencies of TryWhy3, including AltErgo.	Guillaume Melquiond	More...				3 months ago
Add a manual job to build TryWhy3, including AltErgo.	Guillaume Melquiond	More...				3 months ago
Merge branch 'misc-ci' into 'master'	Guillaume Melquiond	More...				3 months ago
Produce a tarball containing TryWhy3.	Guillaume Melquiond	More...				3 months ago
Produce a tarball containing TryWhy3.	Guillaume Melquiond	More...				3 months ago
Merge branch 'fix-bibliography-keys' into 'master'	Guillaume Melquiond	More...				3 months ago
Disable all usage of meta `model_projected` Disable the use of transformation `intro_model_projection` which appears to be useless Expose any exception raised by `task_of_term`. Small fix in the clone introduced by `task_of_term`, but a better fix is needed later	Matteo Manighetti	More...				3 months ago
Merge branch '816-get-rid-of-meta-model_projected' into 'master'	MARCHE Claude	More...				3 months ago
Merge branch 'publish-doc' into 'master'	Guillaume Melquiond	More...				3 months ago
Make the opam jobs a bit less confusing.	Guillaume Melquiond	More...				3 months ago
Make the opam jobs a bit less confusing.	Guillaume Melquiond	More...				3 months ago
Merge branch '827-export-sessions-as-zip-file-failure' into 'master'	MARCHE Claude	More...				3 months ago
Be more permissive with respect to future releases of Python.	Guillaume Melquiond	More...				3 months ago
Be more permissive with respect to future releases of Python.	Guillaume Melquiond	More...				3 months ago
Use UTF8 accents for authors in the bibliography.	Guillaume Melquiond	More...				3 months ago
Use UTF8 accents for authors in the bibliography.	Guillaume Melquiond	More...				3 months ago
Merge branch '828-no-syntax-highlighting-for-mlw-files-in-ide' into 'master'	MARCHE Claude	More...				3 months ago
protect against filenames with special characters	Claude Marché as Claude Marche	More...				3 months ago
protect against filenames with special characters	Claude Marché as Claude Marche	More...				3 months ago
recover format identified by "whyml"	Claude Marché as Claude Marche	More...				3 months ago
recover format identified by "whyml"	Claude Marché as Claude Marche	More...				3 months ago
Publish the documentation for the API and the standard library.	Guillaume Melquiond	More...				3 months ago
Publish the documentation for the API and the standard library.	Guillaume Melquiond	More...				3 months ago

←
1
2
3
4
5
6
7
8
9
…
542
543
→