elvis e80bb5b20a tuples for positive assert

2025-12-15 21:07:55 +01:00

..

examples

custom grammar errors, better handling of user facing errors

2025-09-16 23:09:20 +02:00

mex

cargo fmt, additional operations for dsl on context

2025-12-15 14:53:34 +01:00

adversarial.system

Fixed bisimilarity, now all working

2025-07-28 22:15:53 +02:00

counting.system

small fixes

2025-11-11 15:40:39 +01:00

erbb_2.system

tuples for positive assert

2025-12-15 21:07:55 +01:00

erbb.system

cargo fmt, additional operations for dsl on context

2025-12-15 14:53:34 +01:00

first.experiment

Fixing ordering, using petgraph

2025-07-03 23:44:10 +02:00

first.system

Bisimilarity with assert in presets

2025-08-15 00:32:58 +02:00

medical_no_instructions.system

More examples, better defaults

2025-10-17 19:45:20 +02:00

medical.system

Better error hanlding when parsing, added medical system

2025-08-20 19:51:03 +02:00

test.system

More exaustive example, fixed grammar

2025-09-11 02:17:40 +02:00