| Wed, 23 Sep 2009 14:00:12 +0200 |
haftmann |
Code_Eval(uation)
|
changeset |
files
|
| Wed, 23 Sep 2009 13:48:16 +0200 |
blanchet |
merged
|
changeset |
files
|
| Wed, 23 Sep 2009 13:47:08 +0200 |
blanchet |
Added "nitpick_const_simp" tags to lazy list theories.
|
changeset |
files
|
| Wed, 23 Sep 2009 13:48:35 +0200 |
krauss |
atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
|
changeset |
files
|
| Wed, 23 Sep 2009 13:42:53 +0200 |
haftmann |
merged
|
changeset |
files
|
| Wed, 23 Sep 2009 12:03:47 +0200 |
haftmann |
stripped legacy ML bindings
|
changeset |
files
|
| Wed, 23 Sep 2009 13:31:38 +0200 |
hoelzl |
Undo errornous commit of Statespace change
|
changeset |
files
|
| Wed, 23 Sep 2009 13:17:17 +0200 |
hoelzl |
correct variable order in approximate-method
|
changeset |
files
|
| Wed, 23 Sep 2009 11:06:32 +0100 |
paulson |
merged
|
changeset |
files
|
| Wed, 23 Sep 2009 11:05:28 +0100 |
paulson |
Correct chasing of type variable instantiations during type unification.
|
changeset |
files
|
| Wed, 23 Sep 2009 11:33:52 +0200 |
haftmann |
hide newly introduced constants
|
changeset |
files
|
| Tue, 22 Sep 2009 11:26:46 +0200 |
Philipp Meyer |
used standard fold function and type aliases
|
changeset |
files
|
| Mon, 21 Sep 2009 15:05:26 +0200 |
Philipp Meyer |
sos method generates and uses proof certificates
|
changeset |
files
|
| Tue, 22 Sep 2009 20:25:31 +0200 |
wenzelm |
full reserve of worker threads -- for improved CPU utilization;
|
changeset |
files
|
| Tue, 22 Sep 2009 15:38:12 +0200 |
haftmann |
merged
|
changeset |
files
|