Sun, 04 May 2014 19:01:36 +0200 |
added 'satx' to Sledgehammer's portfolio (cf. 'isar_try0')
|
file | diff | annotate |
Thu, 13 Mar 2014 13:18:14 +0100 |
simplified preplaying information
|
file | diff | annotate |
Thu, 13 Mar 2014 13:18:13 +0100 |
integrate SMT2 with Sledgehammer
|
file | diff | annotate |
Thu, 13 Feb 2014 13:16:17 +0100 |
avoid changing the state's context -- this results in transfer problems later with SMT, and hence preplay tactic failures
|
file | diff | annotate |
Thu, 13 Feb 2014 13:16:16 +0100 |
removed hint that is seldom useful in practice
|
file | diff | annotate |
Tue, 04 Feb 2014 23:11:18 +0100 |
split 'linarith' and 'presburger' (to avoid annoying warnings + to speed up reconstruction when 'presburger' is needed)
|
file | diff | annotate |
Tue, 04 Feb 2014 01:35:48 +0100 |
removed legacy 'metisFT' method
|
file | diff | annotate |
Tue, 04 Feb 2014 01:03:28 +0100 |
tuning
|
file | diff | annotate |
Mon, 03 Feb 2014 16:53:58 +0100 |
renamed ML file
|
file | diff | annotate | base |