| Sat, 15 May 2010 16:20:54 +0200 |
blanchet |
make SML/NJ happy
|
changeset |
files
|
| Sat, 15 May 2010 18:15:50 +0200 |
wenzelm |
removed unused conversions;
|
changeset |
files
|
| Sat, 15 May 2010 18:12:58 +0200 |
wenzelm |
tuned header;
|
changeset |
files
|
| Sat, 15 May 2010 18:11:00 +0200 |
wenzelm |
moved normarith.ML where it is actually used;
|
changeset |
files
|
| Sat, 15 May 2010 17:59:06 +0200 |
wenzelm |
incorporated further conversions and conversionals, after some minor tuning;
|
changeset |
files
|
| Sat, 15 May 2010 15:31:33 +0200 |
wenzelm |
eliminated redundant runtime checks;
|
changeset |
files
|
| Sat, 15 May 2010 00:45:42 +0200 |
krauss |
normalize atyp names after unconstrainT, which may rename atyps arbitrarily;
|
changeset |
files
|
| Sat, 15 May 2010 15:07:39 +0200 |
wenzelm |
more precise dependencies for HOL-Word-SMT_Examples;
|
changeset |
files
|
| Sat, 15 May 2010 13:31:25 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 14 May 2010 23:35:35 +0200 |
blanchet |
merge
|
changeset |
files
|
| Fri, 14 May 2010 23:34:24 +0200 |
blanchet |
added Sledgehammer documentation to TOC
|
changeset |
files
|
| Fri, 14 May 2010 23:32:48 +0200 |
blanchet |
added some Sledgehammer news
|
changeset |
files
|
| Fri, 14 May 2010 23:16:33 +0200 |
blanchet |
document Nitpick changes
|
changeset |
files
|
| Fri, 14 May 2010 22:43:24 +0200 |
blanchet |
merge
|
changeset |
files
|
| Fri, 14 May 2010 22:43:00 +0200 |
blanchet |
added Sledgehammer manual;
|
changeset |
files
|
| Fri, 14 May 2010 22:30:24 +0200 |
blanchet |
renamed Sledgehammer options
|
changeset |
files
|
| Fri, 14 May 2010 22:29:50 +0200 |
blanchet |
renamed options
|
changeset |
files
|
| Fri, 14 May 2010 22:28:39 +0200 |
blanchet |
remove support for crashing beta solver HaifaSat
|
changeset |
files
|
| Fri, 14 May 2010 16:15:10 +0200 |
blanchet |
renamed two Sledgehammer options
|
changeset |
files
|
| Fri, 14 May 2010 22:46:58 +0200 |
nipkow |
merged
|
changeset |
files
|
| Fri, 14 May 2010 22:46:41 +0200 |
nipkow |
added listsum lemmas
|
changeset |
files
|
| Fri, 14 May 2010 21:23:29 +0200 |
ballarin |
Revert mixin patch due to inacceptable performance drop.
|
changeset |
files
|
| Fri, 14 May 2010 15:27:07 +0200 |
blanchet |
add "no_atp"s to Nitpick lemmas
|
changeset |
files
|
| Fri, 14 May 2010 15:26:26 +0200 |
blanchet |
query _HOME environment variables at run-time, not at build-time
|
changeset |
files
|
| Fri, 14 May 2010 15:09:37 +0200 |
blanchet |
move Refute dependency from Plain to Main
|
changeset |
files
|
| Fri, 14 May 2010 15:07:53 +0200 |
blanchet |
move Nitpick files from "PLAIN_DEPENDENCIES" to "MAIN_DEPENDENCIES", where they belong
|
changeset |
files
|
| Fri, 14 May 2010 15:02:38 +0200 |
blanchet |
recognize new Kodkod error message syntax
|
changeset |
files
|
| Fri, 14 May 2010 14:14:22 +0200 |
blanchet |
improve precision of set constructs in Nitpick
|
changeset |
files
|