Wed, 18 Jul 2012 08:44:04 +0200 |
blanchet |
implemented meshing of Iter and MaSh results
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:04 +0200 |
blanchet |
implemented MaSh QUERY operation
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:04 +0200 |
blanchet |
cleaner handling of metacharacters + freshness of one-off facts
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:04 +0200 |
blanchet |
improved MaSh string escaping and make more operations string-based
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
tweak output
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
centrally construct expensive data structures
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
more work on MaSh
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renamed Sledgehammer options
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
more code rationalization in relevance filter
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
systematize lazy names in relevance filter
|
file |
diff |
annotate
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renaming
|
file |
diff |
annotate
| base
|