Walther Neuper <neuper@ist.tugraz.at> [Sun, 15 Jun 2014 18:39:59 +0200] rev 55449
merged
Walther Neuper <neuper@ist.tugraz.at> [Sun, 15 Jun 2014 18:27:23 +0200] rev 55448
ad 967c8a1eb6b1 (2,3) thehier: ugly chunk makes Test_Isac run
The chunk of updates was too complex dividing into small changesets.
Complexity is addressed by the comments in KEStore.thy:
# val add_thes: (* thydata dropped at existing elems *)
# val insert_fillpats: (* fillpat update !existing elems *)
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 13 Jun 2014 12:59:29 +0200] rev 55447
tuned
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 13 Jun 2014 12:42:15 +0200] rev 55446
autoCalculate now parallelized
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 13 Jun 2014 12:06:38 +0200] rev 55445
moved from "Unsynchronized.ref states" to "Synchronized.var states"
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 13 Jun 2014 10:29:06 +0200] rev 55444
last the_generic_context (in fun prep_rls) removed.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Fri, 13 Jun 2014 09:55:49 +0200] rev 55443
trivial removals of the_generic_context done.
only one missing (~~/src/Tools/isac/scrtools.sml:490; fun prep_rls)
Tests and parallel calls to autoCalculate working properly, but they are not technically thread-safe yet.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Thu, 12 Jun 2014 21:59:15 +0200] rev 55442
calls to ML_Context.the_generic_context removed from KEStore.thy because they did not work when called from within a future. However, there are still five instances in other locations yet to be removed.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Thu, 12 Jun 2014 20:31:13 +0200] rev 55441
autoCalculate error handling improved
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Thu, 12 Jun 2014 20:21:06 +0200] rev 55440
merged