Thu, 22 Dec 2016 11:12:18 +0100note on policy for "open" structures
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 11:12:18 +0100] rev 59278
note on policy for "open" structures

see two previous changesets.

Thu, 22 Dec 2016 10:39:45 +0100(partially) closed Ctree works with Test_Isac
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 10:39:45 +0100] rev 59277
(partially) closed Ctree works with Test_Isac

Notes:
# without this specific "open Ctree" (and with "! activate for Test_Isac", as usual not commited)
e.g. "fun locatetac" always takes the 1st definition (i.e. "end-of-calculation")
# test/../open-structure.sml demonstrates this behaviour TODO

Thu, 22 Dec 2016 10:25:49 +0100--- closed structure Ctree
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 10:25:49 +0100] rev 59276
--- closed structure Ctree

Notes:
# "closed" means removed "open Ctree" immediately after respective end.
# test do not work (with "! activate for Test_Isac") due to 1 "open Ctree,
see next changeset.

Wed, 21 Dec 2016 11:27:22 +0100added structure Ctree : CALC_TREEE
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Dec 2016 11:27:22 +0100] rev 59275
added structure Ctree : CALC_TREEE

Note: and opened it immediatly,
so only the signature had to be extended for tests.

Wed, 21 Dec 2016 10:33:33 +0100cleaned code in ctree.sml
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Dec 2016 10:33:33 +0100] rev 59274
cleaned code in ctree.sml

Note: a first trial to add structure Ctree caused hang-up in Build_Thydata,
so adding is done in steps; this is the first one.

Wed, 21 Dec 2016 09:21:26 +0100added structure Solve INTERMEDIATELY
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Dec 2016 09:21:26 +0100] rev 59273
added structure Solve INTERMEDIATELY

Notes: see 1d3ef477d9c8. This also means, that
# the respective code is not cleaned
# no signature is available, etc.

Wed, 21 Dec 2016 08:57:47 +0100added structure Applicable INTERMEDIATELY
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Dec 2016 08:57:47 +0100] rev 59272
added structure Applicable INTERMEDIATELY

Note: introduction of structure Ctree : CALC_TREE is in the works,
but this is persuasive such, that "open Ctree" seems useful,
but the latter seems to require a structure to localise it.

Mon, 19 Dec 2016 10:37:44 +0100renamed structure to Generate : GENERATE_CALC_TREE
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 19 Dec 2016 10:37:44 +0100] rev 59271
renamed structure to Generate : GENERATE_CALC_TREE

Note: only few funs shall go to structure Ctree

Mon, 19 Dec 2016 09:02:41 +0100cleaned signature MODEL_SPECIFY
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 19 Dec 2016 09:02:41 +0100] rev 59270
cleaned signature MODEL_SPECIFY

Note: comments (* for ... *) shall be removed after cleanup of structures

Sun, 18 Dec 2016 16:27:41 +0100added structure Specify : MODEL_SPECIFY
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 18 Dec 2016 16:27:41 +0100] rev 59269
added structure Specify : MODEL_SPECIFY