milner 5facd1f064 add(subsystem): define the relation generated by R and Gc and prove its embedding into red1 (M3 infrastructure)

2026-09-22 12:59:00 +02:00

..

audit.sh

add(subsystem): define the relation generated by R and Gc and prove its embedding into red1 (M3 infrastructure)

2026-09-22 12:59:00 +02:00

difftest.sh

add(tests): bounded conformance suite for the reducer against the relational semantics (golden corpus)

2026-09-22 12:17:00 +02:00

extract_metadata.py

add(tests): bounded conformance suite for the reducer against the relational semantics (golden corpus)

2026-09-22 12:17:00 +02:00

gen_graphs.py

add(tests): bounded conformance suite for the reducer against the relational semantics (golden corpus)

2026-09-22 12:17:00 +02:00