author | wenzelm |
Mon, 13 Jan 2014 20:20:44 +0100 | |
changeset 55007 | 0c07990363a3 |
parent 53057 | e18a028b345c |
child 56623 | 4675df68450e |
permissions | -rw-r--r-- |
52639 | 1 |
(* :mode=isabelle-options: *) |
2 |
||
52651 | 3 |
section {* Automatically tried tools *} |
4 |
||
5 |
public option auto_time_start : real = 1.0 |
|
6 |
-- "initial delay for automatically tried tools (seconds)" |
|
52639 | 7 |
|
52645 | 8 |
public option auto_time_limit : real = 2.0 |
52639 | 9 |
-- "time limit for automatically tried tools (seconds > 0)" |
10 |
||
11 |
public option auto_nitpick : bool = false |
|
12 |
-- "run Nitpick automatically" |
|
13 |
||
14 |
public option auto_sledgehammer : bool = false |
|
15 |
-- "run Sledgehammer automatically" |
|
16 |
||
52717
da7bf8b3d24a
clarified option name, with improved sort order wrt. "time" options;
wenzelm
parents:
52651
diff
changeset
|
17 |
public option auto_methods : bool = false |
52639 | 18 |
-- "try standard proof methods automatically" |
19 |
||
52645 | 20 |
public option auto_quickcheck : bool = true |
52639 | 21 |
-- "run Quickcheck automatically" |
22 |
||
52645 | 23 |
public option auto_solve_direct : bool = true |
52639 | 24 |
-- "run solve_direct automatically" |
25 |
||
53057
e18a028b345c
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
wenzelm
parents:
52717
diff
changeset
|
26 |
|
e18a028b345c
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
wenzelm
parents:
52717
diff
changeset
|
27 |
section "Miscellaneous Tools" |
e18a028b345c
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
wenzelm
parents:
52717
diff
changeset
|
28 |
|
e18a028b345c
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
wenzelm
parents:
52717
diff
changeset
|
29 |
public option sledgehammer_timeout : int = 30 |
e18a028b345c
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
wenzelm
parents:
52717
diff
changeset
|
30 |
-- "ATPs will be interrupted after this time (in seconds)" |
e18a028b345c
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
wenzelm
parents:
52717
diff
changeset
|
31 |
|
55007
0c07990363a3
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
wenzelm
parents:
53057
diff
changeset
|
32 |
public option z3_non_commercial : string = "unknown" |
0c07990363a3
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
wenzelm
parents:
53057
diff
changeset
|
33 |
-- "status of Z3 activation for non-commercial use (yes, no, unknown)" |
0c07990363a3
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
wenzelm
parents:
53057
diff
changeset
|
34 |