Ulf Norell 176df87bb0 Add ADDRESS_TO_CONTRACT

2019-09-30 13:14:11 +02: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 ADDRESS_TO_CONTRACT

2019-09-30 13:14:11 +02: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