| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
making flat triples to nested tuple to remove general triple functions
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
reduced the debug output functions from 2 to 1
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
some improvements thanks to Makarius source code review
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
adding proof procedure for cases rule with tuples; adding introduction rule for negated premises; improving proof procedure with negated premises
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
enabling a previously broken example of the predicate compiler again
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
improving handling of case expressions in predicate rewriting
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
adding depth_limited_random compilation to predicate compiler
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
a new simpler random compilation for the predicate compiler
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
reviving the classical depth-limited computation in the predicate compiler
|
changeset |
files
|
| Mon, 22 Mar 2010 08:30:13 +0100 |
bulwahn |
cleaning the function flattening
|
changeset |
files
|
| 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
|