This website requires JavaScript.
Explore
Help
Sign In
suzanne.soy
/
tock-mirror
Watch
1
Star
0
Fork
0
You've already forked tock-mirror
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
9b570996ca
tock-mirror
/
transformations
History
Neil Brown
9b570996ca
Added a pass to flatten protocol inputs down into multiple sequential input statements
2008-02-27 16:45:27 +00:00
..
PassTest.hs
Added a pass to flatten protocol inputs down into multiple sequential input statements
2008-02-27 16:45:27 +00:00
SimplifyComms.hs
Added a pass to flatten protocol inputs down into multiple sequential input statements
2008-02-27 16:45:27 +00:00
SimplifyExprs.hs
Changed functionsToProcs to work on the new style of function, and made sure parallel assignment isn't removed first
2008-02-25 22:05:53 +00:00
SimplifyProcs.hs
Changed functionsToProcs to work on the new style of function, and made sure parallel assignment isn't removed first
2008-02-25 22:05:53 +00:00
SimplifyTypes.hs
Altered the AST to allow a function to be either an ExpressionList (classical occam) or a Process (Rain/proposed new occam)
2008-02-24 19:29:31 +00:00
Unnest.hs
Changed the replaceNames function so that it doesn't use everywhere
2008-02-23 18:34:02 +00:00