Sun, 27 Aug 2023 16:48:03 +0200 |
followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)
|
file | diff | annotate |
Fri, 18 Aug 2023 18:51:18 +0200 |
prepare 16: delete old code 2, shift feedback_to_string Pre_Conds -> I_Model
|
file | diff | annotate |
Thu, 17 Aug 2023 08:01:45 +0200 |
prepare 15: delete old code 1, repair Pre_Conds.check_envs_TEST and check_pos
|
file | diff | annotate |
Thu, 13 Jul 2023 17:53:58 +0200 |
repair input-template for type bool
|
file | diff | annotate |
Tue, 20 Jun 2023 06:26:18 +0200 |
prepare 4: narrow I_Model.T -- _TEST
|
file | diff | annotate |
Fri, 31 Mar 2023 12:07:52 +0200 |
//new Pre_Conds.check/_TEST breaks tests, need new signature
|
file | diff | annotate |
Tue, 19 May 2020 12:33:35 +0200 |
adapt test/../Specify/* to new files in src/../Specify/*
|
file | diff | annotate |