Mon, 18 May 2020 14:02:54 +0200 |
sprep.cleanup Specification, Specify
|
file | diff | annotate |
Sat, 16 May 2020 14:04:35 +0200 |
shift code (O_Model, M_Match, Model_Pattern)
|
file | diff | annotate |
Sat, 16 May 2020 12:40:09 +0200 |
shift code from Specification to O_Model
|
file | diff | annotate |
Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
Wed, 13 May 2020 18:16:35 +0200 |
shift code from Specify to Ptool; Specify is ready to be re-filled
|
file | diff | annotate |
Tue, 12 May 2020 16:22:00 +0200 |
cleanup struct.O_Model, P_Model
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Mon, 11 May 2020 11:22:46 +0200 |
cover types from struct. *_Def
|
file | diff | annotate |
Mon, 11 May 2020 11:07:19 +0200 |
separate struct.Refine, Pre_Conds.
|
file | diff | annotate |
Sun, 10 May 2020 13:16:56 +0200 |
investigate I_Model
|
file | diff | annotate |
Sat, 09 May 2020 13:15:25 +0200 |
tuned
|
file | diff | annotate |
Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
Thu, 07 May 2020 14:37:25 +0200 |
unify types (in new code, leave in old)
|
file | diff | annotate |
Thu, 07 May 2020 14:20:05 +0200 |
remove outcommented code
|
file | diff | annotate |
Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
Tue, 05 May 2020 13:33:23 +0200 |
assign code struct.O_Model and I_Model, part 1
|
file | diff | annotate |
Mon, 04 May 2020 18:47:27 +0200 |
separate struct O_Model and I_Model, part 2
|
file | diff | annotate |
Mon, 04 May 2020 17:08:32 +0200 |
separate struct O_Model and I_Model, part 1
|
file | diff | annotate |
Mon, 04 May 2020 16:47:32 +0200 |
prep.to separate struct O_Model and I_Model
|
file | diff | annotate |