| Mon, 14 Jun 2010 15:27:09 +0200 |
haftmann |
updated generated code
|
changeset |
files
|
| Mon, 14 Jun 2010 15:27:09 +0200 |
haftmann |
added reference
|
changeset |
files
|
| Mon, 14 Jun 2010 15:27:08 +0200 |
haftmann |
subsection on locale interpretation
|
changeset |
files
|
| Mon, 14 Jun 2010 12:01:30 +0200 |
haftmann |
explicitly name and note equations for class eq
|
changeset |
files
|
| Mon, 14 Jun 2010 12:01:30 +0200 |
haftmann |
use various predefined Haskell operations when generating code
|
changeset |
files
|
| Mon, 14 Jun 2010 12:01:30 +0200 |
haftmann |
NEWS
|
changeset |
files
|
| Mon, 14 Jun 2010 10:50:49 +0200 |
haftmann |
tuned internal order
|
changeset |
files
|
| Mon, 14 Jun 2010 10:38:29 +0200 |
haftmann |
dropped unused bindings
|
changeset |
files
|
| Mon, 14 Jun 2010 10:38:28 +0200 |
haftmann |
corrected syntax diagram
|
changeset |
files
|
| Mon, 14 Jun 2010 21:49:25 +0200 |
blanchet |
turn off new polymorphism code again -- a new issue popped up
|
changeset |
files
|
| Mon, 14 Jun 2010 20:48:36 +0200 |
blanchet |
missing case
|
changeset |
files
|
| Mon, 14 Jun 2010 20:16:36 +0200 |
blanchet |
A function called "untyped_aconv" shouldn't look at the bound names!
|
changeset |
files
|
| Mon, 14 Jun 2010 19:20:32 +0200 |
blanchet |
no point in introducing combinators for inlined Skolem functions
|
changeset |
files
|
| Mon, 14 Jun 2010 17:12:41 +0200 |
blanchet |
better error reporting for Vampire
|
changeset |
files
|