|
analysis
|
Slicing for traces, both normal and positive
|
2025-09-24 18:25:56 +02:00 |
|
assert
|
tuples for positive assert
|
2025-12-15 21:07:55 +01:00 |
|
execution
|
rename bisimilarity, added test
|
2025-11-16 02:07:47 +01:00 |
|
grammar
|
fix
|
2025-11-15 19:14:26 +01:00 |
|
grammar_separated
|
Parser for Boolean Networks
|
2025-12-22 14:47:38 +01:00 |
|
rsprocess
|
Parser for Boolean Networks
|
2025-12-22 14:47:38 +01:00 |
|
testing
|
tuples for positive assert
|
2025-12-15 21:07:55 +01:00 |
|
.gitignore
|
updating .gitignore
|
2025-07-11 19:37:24 +02:00 |
|
.rustfmt.toml
|
cargofmt now with nightly
|
2025-09-11 02:49:14 +02:00 |
|
Cargo.toml
|
More examples, better defaults
|
2025-10-17 19:45:20 +02:00 |
|
clippy.toml
|
Fix, clippy now working better
|
2025-09-28 17:11:43 +02:00 |
|
README.md
|
Initial commit
|
2025-04-08 19:05:25 +02:00 |
