Tobias Reiher d996363320 Remove modular integer types ...

Ref. #727

2022-11-08 12:59:08 +01:00

..

generated

Rename Structural_Valid to Well_Formed

2022-11-07 10:47:19 +01:00

config.yml

Remove modular integer types

2022-11-08 12:59:08 +01:00

test.rflx

Change syntax for defining initial and final states

2022-09-22 10:42:28 +02:00

universal.rflx

Deduplicate generated code in tests

2022-07-11 15:01:11 +02:00