Steinar Foss
7199e1ede4
DeckValueTests: added test for DeckKeyword constructor taking DeckValue vectors.
...
DeckKeyword: new constructor takes recordlist.
DeckKeyword: invalid arg for wrong nr. of records.
DeckValue: type_tag replaces DeckValueEnum.
DeckValue: added as source for genkw.
DeckValue: default is unknown type.
DeckKeyword cosntr w/ record-lists works, but not for defaults.
DeckKeyword: added function add_deckvalue.
.. xx --
...
...
...
...
...
...
...
DeckValue: is<double> true also if integer.
...
...
last commit .m
2019-10-04 10:13:56 +02:00
..
2017-06-01 15:29:23 +02:00
2019-09-04 14:46:58 +02:00
2019-10-04 10:13:56 +02:00
2019-04-08 11:36:20 +02:00
2019-04-08 11:36:20 +02:00
2019-09-05 13:36:35 +02:00
2019-02-07 14:29:08 +01:00
2018-09-19 16:02:16 +02:00
2018-11-04 21:48:35 +01:00
2019-03-20 15:10:08 +01:00
2018-10-25 09:09:32 +02:00
2019-06-19 22:35:49 +02:00
2019-04-08 11:36:20 +02:00
2019-04-08 11:36:20 +02:00
2019-06-19 22:35:49 +02:00
2019-04-08 11:36:20 +02:00
2019-04-08 11:36:20 +02:00
2018-09-09 11:16:42 +02:00
2019-04-08 11:36:20 +02:00
2019-04-08 11:36:20 +02:00
2019-02-15 18:01:38 +01:00
2019-04-08 11:36:20 +02:00
2019-07-01 16:37:49 +02:00
2019-07-01 16:37:49 +02:00
2019-08-12 11:01:14 +02:00
2018-09-19 16:02:13 +02:00
2019-07-04 09:23:11 +02:00
2019-03-20 15:10:08 +01:00
2017-05-10 10:03:31 +02:00
2019-09-20 14:21:23 +02:00
2019-09-19 22:09:15 +02:00
2019-09-19 22:09:15 +02:00
2019-08-12 13:04:59 +02:00
2019-09-19 22:09:15 +02:00
2019-09-05 13:36:35 +02:00
2019-09-20 14:21:23 +02:00
2018-03-03 13:11:12 +01:00
2018-09-07 14:38:03 +02:00
2018-03-03 13:11:12 +01:00
2018-05-10 07:01:40 +02:00
2019-05-23 10:23:01 +02:00
2019-09-20 14:21:23 +02:00
2019-09-20 14:21:23 +02:00
2019-07-01 16:37:49 +02:00
2019-09-28 17:46:04 +02:00
2019-06-25 13:16:41 +02:00
2019-07-18 14:49:51 +02:00
2019-07-01 16:37:49 +02:00
2018-09-19 16:02:13 +02:00
2019-04-04 14:11:07 +02:00
2019-05-14 09:40:13 +02:00
2018-03-03 13:11:12 +01:00
2018-02-15 07:21:35 +01:00
2019-09-06 13:11:54 +02:00
2019-10-03 10:04:10 +02:00
2019-06-03 14:19:48 +02:00
2018-02-15 07:21:35 +01:00
2019-01-04 13:59:28 +01:00
2019-09-19 22:09:15 +02:00
2019-09-23 17:38:40 +02:00
2019-09-19 22:09:15 +02:00
2018-03-03 13:11:12 +01:00
2018-02-14 16:03:57 +01:00
2018-02-15 07:21:35 +01:00
2019-09-20 00:34:36 +02:00
2019-10-02 23:11:56 +02:00
2018-02-15 07:21:35 +01:00
2018-07-10 17:37:49 +02:00
2019-07-29 14:09:07 +02:00
2019-09-20 14:21:23 +02:00
2017-11-17 13:10:06 +01:00
2018-02-12 15:06:13 +01:00
2019-08-12 13:04:51 +02:00