| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
continued cleaning up; moved tuple expanding to core
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
cleaned up debugging messages; added options to code_pred command
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
added first support for higher-order function translation
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
added to process higher-order arguments by adding new constants
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
cleaned up
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
added theory with alternative definitions for the predicate compiler; cleaned up examples
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
importing theorems correctly causes problems with mutual recursive predicates in the predicate compiler; must be discussed with Stefan first
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
higher-order arguments in different rules are fixed to one name in the predicate compiler
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
changed importing introduction rules to fix the same type variables in all introduction rules; improved mode analysis for partially applied relations; added test case; tuned
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
changed proof method to handle widen predicate in JinjaThreads
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
added further examples; added mode to code_pred command; tuned; some temporary things in Predicate_Compile_ex
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
processing of tuples in introduction rules
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
added a few tricky examples with tuples; added alternative introduction rules for some constants; corrected mode analysis with negation; improved fetching of definitions
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
developing an executable the operator
|
changeset |
files
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
generalizing singleton with a default value
|
changeset |
files
|