Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
2
Merged
42
Closed
7
All
51
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
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
0
updated
Feb 20, 2024
Resolve "RAC : List functions and loops that might have a too weak contract"
!966
· created
Oct 10, 2023
by
BONNOT Paul
1.8.0
component: counterexample
Merged
Approved
7
updated
Oct 13, 2023
Resolve "Reactivate maps_poly and maps_mono tests in check-ce-bench"
!807
· created
Feb 07, 2023
by
MOREAU Solene
ProofInUse/AdaCore
ProofInUse/TrustInSoft
component: counterexample
Merged
0
updated
Aug 29, 2023
Resolve "Why3.Ident.get_model_element_name fails with Not_found"
!921
· created
Jul 18, 2023
by
MARCHE Claude
1.7.0
ProofInUse/MERCE
component: counterexample
Merged
0
updated
Jul 18, 2023
Make the script check-ce-bench a bit more robust
!915
· created
Jul 10, 2023
by
Guillaume Cluzel
ProofInUse/TrustInSoft
component: counterexample
Merged
0
updated
Jul 10, 2023
Resolve "Taking the first model element matching an id and a loc is inaccurate"
!897
· created
Jun 12, 2023
by
BONNOT Paul
ProofInUse/AdaCore
ProofInUse/TrustInSoft
component: counterexample
Merged
7
updated
Jul 07, 2023
Resolve "RAC : Don't filter model global variables in the task"
!901
· created
Jun 19, 2023
by
BONNOT Paul
component: counterexample
Merged
0
updated
Jun 20, 2023
Smtv2 model parser: keep float size
!868
· created
Apr 26, 2023
by
Guillaume Cluzel
1.6.1
ProofInUse/TrustInSoft
component: counterexample
Merged
0
updated
Apr 28, 2023
separate transformations for intros, dequant, and remove_unused
!866
· created
Apr 24, 2023
by
MARCHE Claude
1.7.0
ProofInUse/AdaCore
ProofInUse/TrustInSoft
component: counterexample
component: graphical user interface
component: transformations
Merged
3
updated
Apr 25, 2023
smtv2-model-parser: improve conversion from sort to ty
!867
· created
Apr 24, 2023
by
Guillaume Cluzel
ProofInUse/TrustInSoft
component: counterexample
Merged
0
updated
Apr 25, 2023
Parse (_ as-array xx) to better handle Z3 counterexamples
!862
· created
Apr 20, 2023
by
Guillaume Cluzel
ProofInUse/TrustInSoft
component: counterexample
Merged
Approved
14
updated
Apr 25, 2023
Restore a clean api for model parser
!861
· created
Apr 18, 2023
by
Guillaume Cluzel
ProofInUse/TrustInSoft
component: counterexample
Merged
1
updated
Apr 18, 2023
Do not create symbols from prettified identifiers (fix #718).
!785
· created
Dec 02, 2022
by
Guillaume Melquiond
1.6.0
component: counterexample
Merged
0
updated
Dec 02, 2022
Catch uncaught exceptions in RAC and return Incomplete
!783
· created
Nov 28, 2022
by
MOREAU Solene
component: counterexample
Merged
Approved
0
updated
Nov 28, 2022
Add steplimit and timelimit for RAC provers in check-ce-bench
!772
· created
Nov 15, 2022
by
MOREAU Solene
component: counterexample
Merged
0
updated
Nov 15, 2022
Resolve "Check counterexamples benchmark"
!750
· created
Oct 14, 2022
by
MOREAU Solene
component: counterexample
Merged
0
updated
Oct 21, 2022
Resolve "Check counterexamples benchmark"
!742
· created
Sep 28, 2022
by
MOREAU Solene
component: counterexample
Merged
0
updated
Oct 03, 2022
Resolve "Model term without location leads to a failure of the rac prover"
!725
· created
Aug 09, 2022
by
MOREAU Solene
ProofInUse/TrustInSoft
component: counterexample
Merged
0
updated
Sep 28, 2022
Support for CVC5
!678
· created
May 19, 2022
by
MOREAU Solene
1.6.0
ProofInUse/AdaCore
component: counterexample
Merged
4
updated
Sep 07, 2022
Check counterexamples classification benchmark
!708
· created
Jul 12, 2022
by
MOREAU Solene
ProofInUse/AdaCore
component: counterexample
Merged
0
updated
Aug 23, 2022
Prev
1
2
3
Next