Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Regexp seq

!1039 · created Mar 20, 2024 by Henri Saudubray
- Merged
- Approved
updated Mar 20, 2024
Clone defined logical symbols

!680 · created May 23, 2022 by Benjamin Terra-Jorge 1.6.0
component: core
- Merged
- 13
updated Mar 21, 2024
Resolve "Interface for Module" 2 of 2 checklist items completed

!557 · created Jun 30, 2021 by Benjamin Terra-Jorge
component: syntax
- Merged
- 21
updated Mar 21, 2024
new example: anagrammi

!1044 · created Apr 05, 2024 by Jean-Christophe Filliâtre
- Merged
- 3
updated Apr 05, 2024
anagrammi: fixed BASIC code

!1045 · created Apr 05, 2024 by Jean-Christophe Filliâtre
- Merged
updated Apr 05, 2024
Resolve "forward_propagation strategy : sin and cos support"

!1041 · created Mar 28, 2024 by BONNOT Paul 1.8.0
ProofInUse/MERCE
updated Apr 09, 2024
Draft: Resolve "forward_propagation strategy : sin and cos support"

!1035 · created Mar 05, 2024 by BONNOT Paul
- Closed
- 4
updated Apr 09, 2024
Remove outdated extraction driver (fix #843).

!1046 · created Apr 08, 2024 by Guillaume Melquiond 1.7.2
component: extraction
- Merged
updated Apr 09, 2024
toy compiler example: cleaning and documentation

!1047 · created Apr 09, 2024 by Jean-Christophe Filliâtre
- Merged
updated Apr 10, 2024
better names in eval match

!1049 · created Apr 12, 2024 by Jean-Christophe Filliâtre
- Merged
updated Apr 13, 2024
update sessions

!1051 · created Apr 16, 2024 by MARCHE Claude 1.8.0
- Merged
updated Apr 16, 2024
Fix the proof of sqrtrem example

!1052 · created Apr 16, 2024 by MARCHE Claude
- Merged
updated Apr 16, 2024
Improved theory unbounded floats

!1050 · created Apr 16, 2024 by MARCHE Claude 1.8.0
ProofInUse/MERCE
- Merged
updated Apr 16, 2024
add isabelle proofs for new axioms and lemmas in real.ExpLog

!1053 · created Apr 17, 2024 by MARCHE Claude 1.8.0
Décysif
- Merged
updated Apr 17, 2024
Resolve "using `model_projection` on alias types should be forbidden"

!1042 · created Mar 28, 2024 by MARCHE Claude 1.8.0
Décysif
- Merged
- 1
updated Apr 18, 2024
Resolve "spurious debug messages when using `why3 session create`"

!1054 · created Apr 18, 2024 by Matteo Manighetti 1.8.0
Décysif
- Merged
updated Apr 18, 2024
Partly adapt to Coq 8.19.

!1057 · created Apr 22, 2024 by Guillaume Melquiond
component: realizations
- Merged
updated Apr 22, 2024
Resolve "Forward propagation strategy : remove inline_trivial"

!1058 · created Apr 22, 2024 by BONNOT Paul
updated Apr 24, 2024
fix command line for Alt-Ergo 2.5.x FPA

!1061 · created Apr 24, 2024 by MARCHE Claude 1.7.3
ProofInUse/MERCE
- Merged
updated Apr 24, 2024
fix oracle for CE

!1060 · created Apr 24, 2024 by MARCHE Claude
- Merged
updated Apr 25, 2024

Prev
1
…
48
49
50
51
52
53
54
55
56
…
61
Next