snapshot of dehopification
snapshot. Working optimizer
moved to new intermediate dehopified representation
moved to new intermediate dehopified representation
stupid typo in dehopification
Basic optimizer seems to be working decently, crashing
optimizer is kicking ass, and I'm kicking my eyelids open
merge
added simple comments to aid reading
working on cross product construction
Formatting.format_field assumed everything was Int64 for some reason. Fixed to avoid runtime error
fixed dehop bug found in paper. End-to-end dehopification enabled/working for trivial examples
merge in reorg/bug fix to formatting
fix tag initialization bug
Dehop.mli
Merge branch 'master' of github.com:frenetic-lang/frenetic
Merge pull request #119 from reitblatt/master

Dehopification compiler