Sun, 01 May 2011 18:37:24 +0200 | blanchet | make sure the minimizer monomorphizes when it should | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | fixed arity of special constants if "explicit_apply" is set | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | make sure typing fact names are unique (needed e.g. by SNARK) | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | minor cleanup | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | reimplemented the hAPP introduction code so that it's done earlier, when the types are still available | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | declare TFF types so that SNARK can be used with types | changeset | files |