| Mon, 18 May 2020 14:21:41 +0200 |
Specify/* removed all warnings, only "handle _" remains
|
file | diff | annotate |
| Mon, 18 May 2020 14:12:01 +0200 |
cleanup Specification, Specify
|
file | diff | annotate |
| Mon, 18 May 2020 14:02:54 +0200 |
sprep.cleanup Specification, Specify
|
file | diff | annotate |
| Sat, 16 May 2020 16:23:24 +0200 |
shift code from Specification to I_Model, rename ids
|
file | diff | annotate |
| Sat, 16 May 2020 12:40:09 +0200 |
shift code from Specification to O_Model
|
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 15:55:30 +0200 |
collect code for struct.I_Model
|
file | diff | annotate |
| Sat, 09 May 2020 15:31:15 +0200 |
collect code for I_Model.add_single
|
file | diff | annotate |
| Sat, 09 May 2020 13:15:25 +0200 |
tuned
|
file | diff | annotate |
| Sat, 09 May 2020 12:00:11 +0200 |
cleanup
|
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: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 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
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 |