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
5d8d96fb7a
tock-mirror
/
transformations
History
Neil Brown
d044b51335
Renamed ndType to ndSpecType, as per Trac ticket
#59
2008-05-21 13:38:51 +00:00
..
PassTest.hs
Merged Alternative and AlternativeCond into a single Alternative item that always has a pre-condition
2008-04-03 14:52:37 +00:00
SimplifyComms.hs
Added a type-class for retrieving the (AST) type of things
2008-05-17 11:41:52 +00:00
SimplifyExprs.hs
Renamed ndType to ndSpecType, as per Trac ticket
#59
2008-05-21 13:38:51 +00:00
SimplifyProcs.hs
Added a type-class for retrieving the (AST) type of things
2008-05-17 11:41:52 +00:00
SimplifyTypes.hs
Fixed the SimplifyTypes module
2008-05-21 13:12:49 +00:00
Unnest.hs
Renamed ndType to ndSpecType, as per Trac ticket
#59
2008-05-21 13:38:51 +00:00