1
I Use This!
Inactive

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.
Jun 21, 2024 — Jun 21, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
minor doc update More... over 10 years ago
release 0.42.0 More... over 10 years ago
bugfix More... over 10 years ago
Refactoring More... over 10 years ago
Spawn viewers in separate threads More... over 10 years ago
improve state space explorer More... over 10 years ago
better layouts More... over 10 years ago
Only distinguish valid/invalid states More... over 10 years ago
Add validation support to stace space stuff More... over 10 years ago
Add :node-attrs viz option More... over 10 years ago
add favicon More... over 10 years ago
update readme More... over 10 years ago
just a rename More... over 10 years ago
release 0.41.1 More... over 10 years ago
Fix and improve equal-models? impls More... over 10 years ago
update deps More... over 10 years ago
release 0.41.0 More... over 10 years ago
More changes More... over 10 years ago
Allow excluding some attrs in print-model More... over 10 years ago
add titled panel borders More... over 10 years ago
nicer UI More... over 10 years ago
allow selecting rules More... over 10 years ago
notate applied rules in states instead of only a boolean done marker More... over 10 years ago
Interactive state space exploration More... over 10 years ago
Refactor state space exploration More... over 10 years ago
Remove one volatile More... over 10 years ago
Much improved model equality tests More... over 10 years ago
Good equality test for emf models More... over 10 years ago
Make create-state-space receive an optional comparefn More... over 10 years ago
release 0.40.1 More... over 10 years ago