This repository was archived by the owner on Dec 9, 2025. It is now read-only.
Pull requests: mlaveaux/mCRL2-rust
Pull requests list
Use a combined backwards marking and topological sort to avoid naive sorting
#19
opened Dec 19, 2024 by
mlaveaux
Owner
Loading…
Replace the semi compressed trees by a term stack construction
enhancement
New feature or request
#18
opened Dec 2, 2024 by
mlaveaux
Owner
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.