Hans Svensson 167bfcc0e6 Add String.to/from_list Char.to/from_int and Char.to_upper/lower as operations

2020-02-24 10:09:23 +01:00

..

aeb_fate_code_tests.erl

model so far

2019-05-28 18:13:27 +02:00

aeb_fate_data_tests.erl

Add quick check test for order and handle variants.

2019-05-31 14:42:00 +02:00

aeb_fate_encoding_tests.erl

Fix check for no maps in keys

2019-08-23 14:45:15 +02:00

aefate_code_eqc.erl

Add String.to/from_list Char.to/from_int and Char.to_upper/lower as operations

2020-02-24 10:09:23 +01:00

aefate_eqc.erl

Update properties

2019-08-23 15:00:12 +02:00

aefate_type_eqc.erl

Pt 166233700 fate nameservice (#60)

2019-06-26 13:19:44 +02:00