Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Resolve "get rid of meta `model_projected`"

!992 · created Dec 05, 2023 by Matteo Manighetti
Décysif ProofInUse/AdaCore
- Merged
updated Jan 17, 2024
Use UTF8 accents for authors in the bibliography.

!1001 · created Jan 17, 2024 by Guillaume Melquiond
component: documentation
- Merged
updated Jan 17, 2024
Miscellaneous improvements to continuous integration

!1002 · created Jan 17, 2024 by Guillaume Melquiond
component: continuous integration
- Merged
updated Jan 17, 2024
Publish TryWhy3

!1003 · created Jan 17, 2024 by Guillaume Melquiond
component: continuous integration
- Merged
updated Jan 18, 2024
Resolve "Strategy for forward error computation"

!971 · created Oct 25, 2023 by BONNOT Paul 1.8.0
ProofInUse/MERCE
- Merged
- 3
updated Jan 18, 2024
Update the release process and remove links to the old website

!1004 · created Jan 18, 2024 by Guillaume Melquiond
component: documentation
- Merged
updated Jan 18, 2024
Split the builds of TryWhy3 and Alt-Ergo, and move the whole documentation to www.why3.org

!1006 · created Jan 19, 2024 by Guillaume Melquiond
component: continuous integration component: documentation component: trywhy3
- Merged
updated Jan 19, 2024
Move both documentation and TryWhy3 to the new website and update the release process accordingly.

!1007 · created Jan 19, 2024 by Guillaume Melquiond
component: continuous integration component: documentation component: trywhy3
- Merged
updated Jan 20, 2024
Resolve "Alt-Ergo 2.5.x : Add the FPA alternative"

!991 · created Dec 04, 2023 by BONNOT Paul 1.8.0
component: provers
- Merged
- 1
updated Jan 20, 2024
Resolve "Improve the parser for models returned by SMT solvers"

!997 · created Jan 10, 2024 by Matteo Manighetti
ProofInUse/AdaCore
- Merged
- 6
updated Jan 23, 2024
Fix ocaml driver

!1009 · created Jan 24, 2024 by Jean-Christophe Filliâtre
component: examples component: extraction
- Merged
updated Jan 24, 2024
Split string example

!1010 · created Jan 24, 2024 by Jean-Christophe Filliâtre
- Merged
updated Jan 24, 2024
split_string example updated

!1011 · created Jan 25, 2024 by Jean-Christophe Filliâtre
- Merged
updated Jan 26, 2024
Search algorithms

!1012 · created Jan 25, 2024 by Jean-Christophe Filliâtre
- Merged
updated Jan 26, 2024
remove unsound module null.Null

!1013 · created Jan 27, 2024 by Jean-Christophe Filliâtre
- Merged
updated Jan 27, 2024
improve mex example

!1015 · created Jan 29, 2024 by Jean-Christophe Filliâtre
- Merged
updated Jan 31, 2024
new example: array_of_list

!1017 · created Feb 02, 2024 by Jean-Christophe Filliâtre
- Merged
updated Feb 03, 2024
examples: variant of Kadane's algorithm

!1018 · created Feb 11, 2024 by Jean-Christophe Filliâtre
- Merged
updated Feb 11, 2024
fix python script for statistics on CE bench

!1019 · created Feb 12, 2024 by MARCHE Claude 1.8.0
Décysif
- Merged
updated Feb 12, 2024
[why3doc] Fix (*) inside comments

!1008 · created Jan 21, 2024 by Loïc Correnson
component: tools
- Merged
- 5
- Approved
updated Feb 12, 2024

Prev
1
…
46
47
48
49
50
51
52
53
54
…
61
Next