tock-mirror/backends
2009-03-25 18:27:13 +00:00
..
AnalyseAsm.hs Added a value to indicate what type a warning is (to support future configurability) and streamlined the warning functions 2008-11-13 15:36:22 +00:00
AnalyseAsmTest.hs In AnalyseAsm, ignore labels that contain "." anywhere. 2008-04-06 15:31:28 +00:00
BackendPasses.hs Changed the rest of tock to reflect the changes to the Is constructor 2009-03-24 23:57:24 +00:00
BackendPassesTest.hs Fixed some of the tests, and added another testcase for array passing, based on one of Carl's examples 2009-03-20 12:59:16 +00:00
GenerateC.hs Fixed generation of C types for channels (somewhere, one is being abbreviated with ValAbbrev, so I'll allow it for now) 2009-03-25 18:27:13 +00:00
GenerateCBased.hs Fixed various things to do with abbreviating sizes arrays, and corrected array assignment and the mobile type for Bool 2009-03-22 22:32:56 +00:00
GenerateCPPCSP.hs Changed the rest of tock to reflect the changes to the Is constructor 2009-03-24 23:57:24 +00:00
GenerateCTest.hs Fixed the tests enough to get them to compile, but a lot fail 2009-03-21 23:05:11 +00:00
TLP.hs Add kyb as another possible name for the keyboard channel. 2009-03-21 15:22:58 +00:00