| Mon, 23 Aug 2010 17:53:49 +0200 |
blanchet |
revert unintended change
|
changeset |
files
|
| Mon, 23 Aug 2010 17:49:18 +0200 |
blanchet |
destroy elim rules before checking for finite exhaustive facts
|
changeset |
files
|
| Mon, 23 Aug 2010 16:12:41 +0200 |
blanchet |
prevent double inclusion of the fact "True_or_False" in TPTP problems
|
changeset |
files
|
| Tue, 24 Aug 2010 10:07:14 +0200 |
haftmann |
merged
|
changeset |
files
|
| Tue, 24 Aug 2010 09:06:17 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Mon, 23 Aug 2010 11:57:32 +0200 |
haftmann |
merged
|
changeset |
files
|
| Mon, 23 Aug 2010 11:57:22 +0200 |
haftmann |
dropped pre_post_conv
|
changeset |
files
|
| Mon, 23 Aug 2010 11:51:33 +0200 |
haftmann |
use conv alias
|
changeset |
files
|
| Mon, 23 Aug 2010 11:51:32 +0200 |
haftmann |
preliminary versions of static_eval_conv(_simple)
|
changeset |
files
|
| Mon, 23 Aug 2010 11:51:32 +0200 |
haftmann |
use Code_Thingol.static_eval_conv_simple
|
changeset |
files
|
| Mon, 23 Aug 2010 11:51:32 +0200 |
haftmann |
added static_eval_conv
|
changeset |
files
|
| Mon, 23 Aug 2010 11:09:49 +0200 |
haftmann |
refined and unified naming convention for dynamic code evaluation techniques
|
changeset |
files
|