| 0.3.2 |
|
|---|---|
| 0.3.1 |
|
| 0.2.1 |
|
| 0.1.6 |
|
| 0.1.4 |
|
#8 in #flattening
101 downloads per month
42KB
913 lines
Formal specification flattening tool
Dependencies
~26–40MB
~613K SLoC
| 0.3.2 |
|
|---|---|
| 0.3.1 |
|
| 0.2.1 |
|
| 0.1.6 |
|
| 0.1.4 |
|
#8 in #flattening
101 downloads per month
42KB
913 lines
Formal specification flattening tool
~26–40MB
~613K SLoC