| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
generalized split transformation in the function flattening
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:12 +0100 |
bulwahn |
only adding lifted arguments to item net in the function flattening; correcting indentation; removing dead code
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:12 +0100 |
bulwahn |
restructuring function flattening
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:12 +0100 |
bulwahn |
renaming mk_prems to flatten in the function flattening
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:12 +0100 |
bulwahn |
simplifying function flattening
|
changeset |
files
|
| Mon, 22 Mar 2010 11:45:09 +0100 |
boehmes |
removed warning_count (known causes for warnings have been resolved)
|
changeset |
files
|
| Mon, 22 Mar 2010 10:38:28 +0100 |
blanchet |
remove the iteration counter from Sledgehammer's minimizer
|
changeset |
files
|
| Mon, 22 Mar 2010 10:25:44 +0100 |
blanchet |
merged
|
changeset |
files
|
| Mon, 22 Mar 2010 10:25:07 +0100 |
blanchet |
start work on direct proof reconstruction for Sledgehammer
|
changeset |
files
|
| Fri, 19 Mar 2010 16:04:15 +0100 |
blanchet |
renamed "e_full" and "vampire_full" to "e_isar" and "vampire_isar";
|
changeset |
files
|
| Fri, 19 Mar 2010 15:33:18 +0100 |
blanchet |
move all ATP setup code into ATP_Wrapper
|
changeset |
files
|
| Fri, 19 Mar 2010 15:07:44 +0100 |
blanchet |
move the Sledgehammer Isar commands together into one file;
|
changeset |
files
|