Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
more work on MaSh
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
compile
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
gracefully handle the case of empty theories when going up the accessibility chain
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
tuning
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
doc updates
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renamed Sledgehammer options
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
more code rationalization in relevance filter
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
moved override out of iter filter
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
fixed bug introduced when moving code around
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
systematize lazy names in relevance filter
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
rationalize relevance filter, slowing moving code from Iter to MaSh
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
killed one file
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
dependency tuning
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
renaming
|
changeset |
files
|
Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
clean up dependencies
|
changeset |
files
|