| Thu, 04 Sep 2014 11:53:39 +0200 |
blanchet |
tuned Nitpick and Refute examples, which are too slow on some testing machines
|
changeset |
files
|
| Thu, 04 Sep 2014 11:20:59 +0200 |
blanchet |
tweaked setup for datatype realizer
|
changeset |
files
|
| Thu, 04 Sep 2014 09:02:43 +0200 |
blanchet |
renamed internal constant
|
changeset |
files
|
| Thu, 04 Sep 2014 09:02:43 +0200 |
blanchet |
moved code around
|
changeset |
files
|
| Thu, 04 Sep 2014 09:02:43 +0200 |
blanchet |
tuned size function generation
|
changeset |
files
|
| Thu, 04 Sep 2014 09:02:36 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Wed, 03 Sep 2014 22:49:05 +0200 |
blanchet |
introduced local interpretation mechanism for BNFs, to solve issues with datatypes in locales
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:48 +0200 |
blanchet |
tuned ctr_sugar database handling
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:35 +0200 |
blanchet |
tuned BNF database handling
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:09 +0200 |
blanchet |
intelligible errors instead of tactic failures
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
reenabled yet another example
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
made new tactic even more robust
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
reenabled more examples
|
changeset |
files
|
| Wed, 03 Sep 2014 22:47:05 +0200 |
blanchet |
fixed tactic for n-way mutual recursion, n >= 4 (balanced conjunctions confuse the tactic)
|
changeset |
files
|