Walther Neuper <neuper@ist.tugraz.at> [Wed, 23 Jul 2014 14:32:19 +0200] rev 55476
final docu of mlehnfeld
copy from https://hg.risc.uni-linz.ac.at/wneuper/mlehnfeld
changeset 97ab9b31c84d: Added tag fixed final for changeset 2faac24320f2
author Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
Sun, 20 Jul 2014 16:32:03 +0200 (2 days ago)
changeset 38 97ab9b31c84d
Walther Neuper <neuper@ist.tugraz.at> [Wed, 23 Jul 2014 14:09:51 +0200] rev 55475
finished demo for Coimbra
Walther Neuper <neuper@ist.tugraz.at> [Thu, 03 Jul 2014 13:43:12 +0200] rev 55474
added demo-exp for Coimbray
Walther Neuper <neuper@ist.tugraz.at> [Tue, 01 Jul 2014 16:38:03 +0200] rev 55473
update test on error f8d44cb86330
this works since re-engineering thy_containing_rls during last two weeks
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