| Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
improved handling of overloaded constants; examples with numerals
|
changeset |
files
|
| Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
made SML/NJ happy; tuned
|
changeset |
files
|
| Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
adding tracing function for evaluated code; annotated compilation in the predicate compiler
|
changeset |
files
|
| Fri, 06 Nov 2009 17:52:57 +0100 |
boehmes |
added documentation for local SMT solver setup and available SMT options,
|
changeset |
files
|
| Fri, 06 Nov 2009 14:42:42 +0100 |
krauss |
renamed method induct_scheme to induction_schema
|
changeset |
files
|
| Fri, 06 Nov 2009 13:49:19 +0100 |
krauss |
NEWS
|
changeset |
files
|
| Fri, 06 Nov 2009 13:42:29 +0100 |
krauss |
removed session SizeChange: outdated, only half-functional, alternatives exist (cf. size_change method)
|
changeset |
files
|
| Fri, 06 Nov 2009 13:36:46 +0100 |
krauss |
renamed method sizechange to size_change
|
changeset |
files
|
| Fri, 06 Nov 2009 12:13:45 +0100 |
krauss |
added boehmes and hoelzl to isatest mailings
|
changeset |
files
|
| Fri, 06 Nov 2009 10:26:13 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 06 Nov 2009 09:27:20 +0100 |
boehmes |
tuned
|
changeset |
files
|
| Thu, 05 Nov 2009 20:42:47 +0100 |
ballarin |
Merged.
|
changeset |
files
|
| Wed, 04 Nov 2009 22:54:42 +0100 |
ballarin |
Merged.
|
changeset |
files
|
| Wed, 04 Nov 2009 22:51:27 +0100 |
ballarin |
Use PrintMode.setmp to make thread-safe; avoid code clones.
|
changeset |
files
|