Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Resolve "fix shortcuts of Alt-Ergo 2.5.x"

!1021 · created Feb 12, 2024 by MARCHE Claude 1.7.2
- Merged
updated Feb 12, 2024
Task: store an AC-stable hash within tdecl_set for hashconsing

!1022 · created Feb 12, 2024 by Andrei Paskevich
- Merged
updated Feb 12, 2024
Task: simplify and optimize split_theory

!1020 · created Feb 12, 2024 by Andrei Paskevich
Décysif ProofInUse/AdaCore
- Merged
updated Feb 12, 2024
Fix various bugs with the lexer of why3doc.

!1023 · created Feb 12, 2024 by Guillaume Melquiond 1.7.2
component: documentation component: tools
- Merged
updated Feb 12, 2024
Check for existence of goal/lemma in split_theory

!1014 · created Jan 29, 2024 by Johannes Kanig
ProofInUse/AdaCore
- Closed
- 3
updated Feb 13, 2024
Remove CREATE_BREAKAWAY_FROM_JOB flag

!1024 · created Feb 13, 2024 by Johannes Kanig
component: server
- Merged
- 2
updated Feb 13, 2024
Task: better tdecl_set hash function (by @kanig)

!1025 · created Feb 13, 2024 by Andrei Paskevich
- Merged
- 1
updated Feb 13, 2024
Parse forall and lets in counterexamples

!1026 · created Feb 13, 2024 by Matteo Manighetti
- Merged
- Approved
updated Feb 17, 2024
Fcilitate proof of arithmetic on bitvectors by Alt-Ergo

!1016 · created Feb 01, 2024 by Matteo Manighetti 1.8.0
ProofInUse/AdaCore
- Merged
- 4
updated Feb 17, 2024
fix sessions

!1027 · created Feb 19, 2024 by MARCHE Claude 1.8.0
- Merged
updated Feb 19, 2024
check-ce script does run petiot when file is given.

!1028 · created Feb 20, 2024 by MARCHE Claude 1.8.0
Décysif ProofInUse/AdaCore component: counterexample
- Merged
updated Feb 20, 2024
Resolve "Emacs mode setup is insufficient: opam-share is void"

!1029 · created Feb 20, 2024 by MARCHE Claude 1.8.0
ProofInUse/MERCE component: documentation
- Merged
- 5
updated Feb 20, 2024
Improve build.

!1031 · created Feb 20, 2024 by Guillaume Melquiond 1.7.2
component: build system
- Merged
updated Feb 20, 2024
src/util: hash-consed Patricia trees

!1030 · created Feb 20, 2024 by Jean-Christophe Filliâtre
- Merged
updated Feb 26, 2024
Fix some API documentation typos.

!1033 · created Feb 26, 2024 by Guillaume Melquiond 1.7.2
component: documentation
- Merged
updated Feb 26, 2024
after clone the axioms should be goals, not axioms

!1034 · created Feb 29, 2024 by MARCHE Claude 1.7.2
- Merged
updated Feb 29, 2024
Resolve "Document the forward_propagation strategy"

!1032 · created Feb 23, 2024 by BONNOT Paul
updated Mar 06, 2024
fix provers detection in presence of paths that need escaping

!1036 · created Mar 09, 2024 by Armaël Guéneau
- Closed
- 10
updated Mar 11, 2024
fix provers detection in presence of paths that need escaping

!1037 · created Mar 11, 2024 by Armaël Guéneau 1.7.2
component: configuration
- Merged
updated Mar 12, 2024
ignore two files from bench/extraction

!1040 · created Mar 20, 2024 by Jean-Christophe Filliâtre
- Merged
updated Mar 20, 2024

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