Walther Neuper <neuper@ist.tugraz.at> [Tue, 01 Jul 2014 16:13:04 +0200] rev 55472
correct buid of Isac
previously error: "duplicate session Isac"
Walther Neuper <neuper@ist.tugraz.at> [Tue, 01 Jul 2014 16:10:52 +0200] rev 55471
CLEANUP
Walther Neuper <neuper@ist.tugraz.at> [Tue, 01 Jul 2014 16:08:32 +0200] rev 55470
Test_Some.thy getTactic
cause for error: tac = Rewrite ("rnorm_equation_add", "Test.rnorm_equation_add"),
where "Test.rnorm_equation_add" should be the prop.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 30 Jun 2014 17:58:34 +0200] rev 55469
final considerations on parallel calculations
The comment "_no_ critical section" is only given for one example.
This example shows, that the gain is minimal anyway.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 30 Jun 2014 16:40:44 +0200] rev 55468
checked test/../states.sml
Walther Neuper <neuper@ist.tugraz.at> [Mon, 30 Jun 2014 16:14:30 +0200] rev 55467
finaly cleanup of mlehnfeld docu
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Thu, 26 Jun 2014 17:19:30 +0200] rev 55466
mlehnfeld thesis updated to final version
Walther Neuper <neuper@ist.tugraz.at> [Thu, 26 Jun 2014 10:50:27 +0200] rev 55465
removed test on insert_fillpats: we avoid such tests with KEStore_Elems.*
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 25 Jun 2014 13:33:16 +0200] rev 55464
parallel calls to autoCalculate added to tests
Walther Neuper <neuper@ist.tugraz.at> [Mon, 23 Jun 2014 09:27:04 +0200] rev 55463
CLEANUP