INTERMEDIATE: consistency
hanging after getting result
.
INTERMEDIATE: consistency
hanging after getting result
.
Merge branch 'tim_dev' of https://github.com/tnelson/FlowLog into tim_dev
resolved an issue with consistency
intermediate: bugfix for alloy; adding sugar syntax
intermediate: start on sugar
intermediate: safety check too eager
intermediate: desugar rules
save fiddling with Spin. should move to sep repo
.
alloy translator fix
remove unrelated pvs
fix conflict on NAT.flg