Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
b6e9cdb8
Commit
b6e9cdb8
authored
May 15, 2017
by
Guillaume Melquiond
Browse files
Mark Alt-Ergo 1.30 as the only stable release.
parent
bdac2a4d
Changes
1
Hide whitespace changes
Inline
Side-by-side
share/provers-detection-data.conf
View file @
b6e9cdb8
[
ATP
alt
-
ergo
-
prv
]
name
=
"Alt-Ergo"
exec
=
"alt-ergo"
exec
=
"alt-ergo-1.30"
exec
=
"alt-ergo-1.20.prv"
exec
=
"alt-ergo-1.10.prv"
exec
=
"alt-ergo-1.00.prv"
version_switch
=
"-version"
version_regexp
=
"^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
version_ok
=
"1.30"
version_ok
=
"1.20.prv"
version_old
=
"1.10.prv"
version_old
=
"1.00.prv"
version_old
=
"1.20.prv"
version_old
=
"1.10.prv"
version_old
=
"1.00.prv"
command
=
"%e -timelimit %t %f"
command_steps
=
"%e -steps-bound %S %f"
driver
=
"drivers/alt_ergo.drv"
...
...
@@ -20,10 +18,12 @@ use_at_auto_level = 1
[
ATP
alt
-
ergo
]
name
=
"Alt-Ergo"
exec
=
"alt-ergo"
exec
=
"alt-ergo-1.30"
exec
=
"alt-ergo-1.01"
version_switch
=
"-version"
version_regexp
=
"^\\([0-9.]+\\)$"
version_ok
=
"1.01"
version_ok
=
"1.30"
version_old
=
"1.01"
command
=
"%e -timelimit %t %f"
command_steps
=
"%e -steps-bound %S %f"
driver
=
"drivers/alt_ergo.drv"
...
...
@@ -36,8 +36,8 @@ exec = "alt-ergo-0.99.1"
exec
=
"alt-ergo-0.95.2"
version_switch
=
"-version"
version_regexp
=
"^\\([0-9.]+\\)$"
version_old
=
"0.99.1"
version_old
=
"0.95.2"
version_old
=
"0.99.1"
version_old
=
"0.95.2"
command
=
"%e -no-rm-eq-existential -timelimit %t %f"
command_steps
=
"%e -no-rm-eq-existential -steps-bound %S %f"
driver
=
"drivers/alt_ergo.drv"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment