| Tue, 31 Aug 2010 08:00:56 +0200 |
bulwahn |
changing order of premises generated when flattening functions in premises; adapting example for second attack for hotel key card system
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:55 +0200 |
bulwahn |
added further hotel key card attack in example file
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:54 +0200 |
bulwahn |
avoiding warning for a duplicate rewrite rule in preprocessing of the predicate compiler
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:53 +0200 |
bulwahn |
using Cache_IO interface for a safe parallel prolog execution
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:53 +0200 |
bulwahn |
storing options for prolog code generation in the theory
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:52 +0200 |
bulwahn |
adapting example files to latest changes
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:51 +0200 |
bulwahn |
adding Lambda example theory; tuned
|
changeset |
files
|
| Tue, 31 Aug 2010 08:00:50 +0200 |
bulwahn |
added quite adhoc logic program transformations limited_predicates and replacements of predicates
|
changeset |
files
|
| Tue, 31 Aug 2010 21:17:19 +0200 |
blanchet |
distinguish between "by" and "apply"
|
changeset |
files
|
| Tue, 31 Aug 2010 21:02:07 +0200 |
blanchet |
merged
|
changeset |
files
|
| Tue, 31 Aug 2010 21:01:47 +0200 |
blanchet |
fiddling with "try"
|
changeset |
files
|
| Tue, 31 Aug 2010 21:00:57 +0200 |
blanchet |
updated
|
changeset |
files
|
| Tue, 31 Aug 2010 20:24:28 +0200 |
blanchet |
"try" -- a new diagnosis tool that tries to apply several methods in parallel
|
changeset |
files
|
| Tue, 31 Aug 2010 20:23:32 +0200 |
blanchet |
add one option to Mirabelle
|
changeset |
files
|
| Tue, 31 Aug 2010 20:20:10 +0200 |
blanchet |
update docs
|
changeset |
files
|