| Tue, 24 Jan 2012 16:00:51 +0100 |
berghofe |
Use lookup_size rather than Datatype.get_info in is_poly to avoid
|
changeset |
files
|
| Tue, 24 Jan 2012 09:13:24 +0100 |
bulwahn |
adding some rules to quickcheck's preprocessing
|
changeset |
files
|
| Tue, 24 Jan 2012 09:12:29 +0100 |
bulwahn |
some more constants on mutabelle's blacklist
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
implemented "tptp_refute" tool
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
added problem importer
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
imported patch ATP_Problem_Import.thy
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
imported patch atp_problem_import.ML
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
renamed theory exporter
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
renamed two files to make room for a new file
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:31 +0100 |
blanchet |
rebranded Nitrox, for more uniformity
|
changeset |
files
|
| Mon, 23 Jan 2012 17:40:31 +0100 |
blanchet |
moved "nitrox" to TPTP
|
changeset |
files
|
| Mon, 23 Jan 2012 17:29:19 +0100 |
huffman |
generalize type of List.listrel
|
changeset |
files
|
| Mon, 23 Jan 2012 15:23:02 +0100 |
bulwahn |
support for Ex1 in quickcheck-narrowing
|
changeset |
files
|
| Mon, 23 Jan 2012 15:22:33 +0100 |
bulwahn |
adding another internal constant to mutabelle's blacklust
|
changeset |
files
|
| Mon, 23 Jan 2012 14:08:55 +0100 |
bulwahn |
adding some more forbidden constant names for the mutated conjecture generation
|
changeset |
files
|
| Mon, 23 Jan 2012 14:07:36 +0100 |
bulwahn |
adding code generation for some list relations
|
changeset |
files
|