| Mon, 30 Jan 2012 17:15:59 +0100 |
blanchet |
docs and news
|
changeset |
files
|
| Mon, 30 Jan 2012 17:15:59 +0100 |
blanchet |
rename lambda translation schemes
|
changeset |
files
|
| Mon, 30 Jan 2012 17:15:59 +0100 |
blanchet |
example tuning
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:28 +0100 |
bulwahn |
NEWS
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:26 +0100 |
bulwahn |
renaming all lemmas with name rel_pow to relpow
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:24 +0100 |
bulwahn |
adding code equations for max_extp and mlex
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:23 +0100 |
bulwahn |
adding code generation for relpow by copying the ideas for code generation of funpow
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:22 +0100 |
bulwahn |
adding code equation for rtranclp in Enum
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:21 +0100 |
bulwahn |
adding code equation for max_ext
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:20 +0100 |
bulwahn |
adding code equation for tranclp
|
changeset |
files
|
| Mon, 30 Jan 2012 13:55:19 +0100 |
bulwahn |
adding code_unfold to make measure executable
|
changeset |
files
|
| Sun, 29 Jan 2012 15:16:27 +0100 |
nipkow |
removed accidental dependance of abstract interpreter on gamma
|
changeset |
files
|