elvis 7fcaa5c13b Removing Unnecessary structures for edge display in dot and graphml

2025-07-27 14:59:35 +02:00

..

bisimilarity.rs

Bisimilarity with arbitrary labels

2025-07-26 01:52:43 +02:00

classical.rs

Converting to library and commenting code

2025-07-09 19:34:15 +02:00

confluence.rs

pethgraph-graphml and docs/comments

2025-07-10 15:02:14 +02:00

frequency.rs

Automatic instructions

2025-07-12 02:42:28 +02:00

grammar.lalrpop

Removing Unnecessary structures for edge display in dot and graphml

2025-07-27 14:59:35 +02:00

graph.rs

Removing Unnecessary structures for edge display in dot and graphml

2025-07-27 14:59:35 +02:00

mod.rs

refactoring

2025-07-26 16:46:48 +02:00

perpetual.rs

Automatic instructions

2025-07-12 02:42:28 +02:00

presets.rs

Removing Unnecessary structures for edge display in dot and graphml

2025-07-27 14:59:35 +02:00

rsdot.rs

Refactoring

2025-07-11 19:36:20 +02:00

serialize.rs

Bisimilarity working?

2025-07-16 00:05:14 +02:00

statistics.rs

Edge color working

2025-07-13 19:08:39 +02:00

structure.rs

Bisimilarity with arbitrary labels

2025-07-26 01:52:43 +02:00

support_structures.rs

Edge color working

2025-07-13 19:08:39 +02:00

transitions.rs

pethgraph-graphml and docs/comments

2025-07-10 15:02:14 +02:00

translator.rs

Documentation and better support for deserialization in bisimilarity

2025-07-16 18:03:31 +02:00