issues
search
herd
/
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
215
stars
54
forks
source link
asl-typing-step5
#885
Closed
Roman-Manevich
closed
3 weeks ago
Roman-Manevich
commented
1 month ago
[x] Typing of Global Declarations
[x] Static Evaluation
[x] Symbolic Equivalence Testing
jalglave
commented
3 weeks ago
thanks Roman, go ahead when you want.