|
|
7adc073aaf
|
rename bisimilarity, added test
|
2025-11-16 02:07:47 +01:00 |
|
|
|
0e49dfa4fb
|
small fixes
|
2025-11-11 15:40:39 +01:00 |
|
|
|
8ba6169f53
|
fixed bug
bug when graph has nodes but no edges
|
2025-10-25 17:37:17 +02:00 |
|
|
|
ae4bcb19c8
|
Upgraded petgraph, hash for traces
|
2025-10-19 17:11:32 +02:00 |
|
|
|
e41d92ac36
|
now workspaces for modular compilation (maybe faster)
|
2025-09-12 16:34:58 +02:00 |
|
