suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Mirror of http://offog.org/git/tock.git . Tock (translator from occam to C from Kent) is a Haskell-based compiler for occam and related languages.
494 Commits 1 Branch 2 Tags 31 MiB
Haskell 91.5%
C 3.4%
TeX 2.7%
Logos 0.7%
Makefile 0.6%
Other 1.1%
c69b21dcbf
Go to file
Neil Brown c69b21dcbf Added a small helper function for testing functions
2007-09-02 16:16:43 +00:00
docextra Added a description and diagram to the contents page of the haddock-generated documentation 2007-08-30 15:36:34 +00:00
testcases Added the first Rain program to the testcases directory and added Makefile rules for compiling *.rain into *x using the C++CSP backend 2007-08-28 16:02:22 +00:00
AnalyseAsm.hs Refactor AnalyseAsm to use a state monad. 2007-08-22 00:11:20 +00:00
AST.hs Added array constructors to the AST 2007-08-28 22:13:09 +00:00
CompState.hs Added a new function to CompState that allows you to specify a custom error when lookupName fails, and changed one example of this in ParseOccam 2007-08-24 15:04:31 +00:00
COPYING Add licensing information. 2007-08-18 20:42:11 +00:00
COPYING.LIB Add licensing information. 2007-08-18 20:42:11 +00:00
Errors.hs Add licensing information. 2007-08-18 20:42:11 +00:00
EvalConstants.hs Added a new variable type, DirectedVariable, for using channel-end specifiers 2007-08-30 16:51:22 +00:00
EvalLiterals.hs Added a signed 8-bit type and unsigned 16-,32- and 64-bit types to the AST, adjusting all other code accordingly 2007-08-21 12:43:00 +00:00
GenerateC.hs Added a new variable type, DirectedVariable, for using channel-end specifiers 2007-08-30 16:51:22 +00:00
GenerateCPPCSP.hs Turned whatever documentation I could find in GenerateCPPCSP into Haddock documentation, although it needs a more thorough pass to make the documentation better at some point. 2007-08-28 13:05:03 +00:00
Intrinsics.hs Add licensing information. 2007-08-18 20:42:11 +00:00
kroc-wrapper-c.c Add licensing information. 2007-08-18 20:42:11 +00:00
kroc-wrapper.occ Add licensing information. 2007-08-18 20:42:11 +00:00
LANGUAGE Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
LexOccam.x Make the lexer only recognise known preprocessor directives. 2007-08-21 21:12:44 +00:00
LexRain.x Rain: added parsing support for return statements 2007-09-02 15:07:51 +00:00
Main.hs Fixed the pass order in the Main module; the rain passes must be performed before the common passes, not afterwards 2007-08-28 15:28:02 +00:00
Makefile Added the first Rain program to the testcases directory and added Makefile rules for compiling *.rain into *x using the C++CSP backend 2007-08-28 16:02:22 +00:00
Metadata.hs Add licensing information. 2007-08-18 20:42:11 +00:00
ParseOccam.hs Added a new function to CompState that allows you to specify a custom error when lookupName fails, and changed one example of this in ParseOccam 2007-08-24 15:04:31 +00:00
Pass.hs Add Set rules to PrettyShow. 2007-08-22 23:06:50 +00:00
PassTest.hs Added a pass that transforms array constructors into a replicated loop that initialises the array 2007-08-29 14:18:07 +00:00
Pattern.hs Added the licence header to the Pattern module, and tidied up some of the Haddock documentation in Pattern 2007-08-28 12:38:36 +00:00
PreprocessOccam.hs Rework the parser to use the new lexer. 2007-08-21 20:44:15 +00:00
PrettyShow.hs Add Set rules to PrettyShow. 2007-08-22 23:06:50 +00:00
RainParse.hs Rain: added parsing support for return statements 2007-09-02 15:07:51 +00:00
RainParseTest.hs Rain: added parsing support for return statements 2007-09-02 15:07:51 +00:00
RainPasses.hs Rain: added a pass to turn range constructors into the more general array constructor form 2007-09-01 14:40:50 +00:00
RainPassTest.hs Rain: changed the tests for matchParamPass to also test it for function call parameters 2007-09-02 16:15:53 +00:00
SimplifyExprs.hs Added a pass that transforms array constructors into a replicated loop that initialises the array 2007-08-29 14:18:07 +00:00
SimplifyProcs.hs Move assignment simplification into a pass. 2007-08-22 19:55:52 +00:00
SimplifyTypes.hs Add licensing information. 2007-08-18 20:42:11 +00:00
StructureOccam.hs Lex multiline strings as multiple tokens. 2007-08-21 20:01:46 +00:00
SYNTAX Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
TestMain.hs Added Haddock documentation to the TestMain module 2007-08-28 12:43:30 +00:00
TestUtil.hs Added a small helper function for testing functions 2007-09-02 16:16:43 +00:00
TLP.hs Changed tlpInterface to also return the direction of each channel, so that the (C++CSP) backend knows whether to pass it a whole channel, or just an end 2007-08-22 22:07:42 +00:00
tock_support_cppcsp.h Add licensing information. 2007-08-18 20:42:11 +00:00
tock_support.h Add licensing information. 2007-08-18 20:42:11 +00:00
TODO Give tock its own repo -- i.e. remove everything else and move tock up 2007-07-16 21:48:55 +00:00
TreeUtil.hs Added two new useful helper functions to TreeUtil that allow you to name a particular sub-pattern in a larger pattern 2007-08-29 13:53:03 +00:00
Types.hs Added support for the array constructors to typeOfExpression 2007-08-29 14:07:52 +00:00
Unnest.hs Changed some instances of lookupName to lookupNameOrError to make it a little easier to track down internal compiler errors 2007-08-28 15:28:52 +00:00
UsageCheck.hs Add licensing information. 2007-08-18 20:42:11 +00:00
UsageCheckTest.hs Add licensing information. 2007-08-18 20:42:11 +00:00
Utils.hs Rework the parser to use the new lexer. 2007-08-21 20:44:15 +00:00