mirror of spin model checker forked from https://github.com/cartazio/spin-model-checker
- cosmetic changes to improve ease of use -- change font size in button widgets: makes things readable even on higher definition screens,
forked from cartazio/spin-model-checker
-
Notifications
You must be signed in to change notification settings - Fork 0
AlainLich/spin-model-checker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
mirror of spin model checker
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 75.3%
- Shell 17.2%
- C++ 5.2%
- Yacc 2.2%
- Makefile 0.1%