Walther Neuper <wneuper@ist.tugraz.at> [Fri, 06 Jan 2017 14:48:20 +0100] rev 59288
further preparation for separating ctree-basic.sml
Note: signature BASIC_CALC_TREEE is extended intermediatly
TODO: find a way to hide these extensions in Ctree
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 28 Dec 2016 13:07:17 +0100] rev 59287
replaced ctree.sml by basic-ctree.sml before separation
Note: plan for separation is in test/Tools/isac/Interpret/basic-ctree.sml
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 28 Dec 2016 11:14:04 +0100] rev 59286
added signature SOLVE
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 28 Dec 2016 08:57:00 +0100] rev 59285
clean structure Applicable
Notes:
# fun applicable_in shall go to ctree-access.sml
# shifted "for tests only" into signature in order to avoid warning "unused"
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Dec 2016 17:43:12 +0100] rev 59284
demo ERROR: declare [[ML_print_depth = 999]] kills Isabelle/Isac
Note: seems to create some buffer overflow.
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Dec 2016 13:20:33 +0100] rev 59283
clean structure Ctree continued
Note: divide Ctree into several parts postponed
until other structs have signature (in particular, smltools.sml)
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 14:25:34 +0100] rev 59282
tuned, previous changeset was ---
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 14:05:55 +0100] rev 59281
clean structure Ctree
Note: still TODO, probably in conjunction with pushing down calcstate:
# Ctree.state as part of a tuple
# Ctree.state -> Ctree.pos' etc
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 11:55:16 +0100] rev 59280
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 22 Dec 2016 11:36:20 +0100] rev 59279
renamed Ctree.ptree --> Ctree.ctree