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.
Go to file
2008-02-27 19:58:32 +00:00
backends Toned down the amount of suffixes generated for C/C++ integer literals 2008-02-27 18:56:36 +00:00
checks Added the handling of ALTs to the control-flow graph 2008-02-26 14:20:45 +00:00
common Fixed underlyingType not recursing properly into the inner types in arrays 2008-02-27 18:23:53 +00:00
data Added a flag to the compiler to tell let it to not delete the temporary files it used 2008-02-27 18:23:22 +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
flow Moved the three Flow modules out to a new flow directory 2008-02-26 15:07:07 +00:00
frontends Fixed the checkFunction pass 2008-02-25 21:27:37 +00:00
pass Added a pass to flatten protocol inputs down into multiple sequential input statements 2008-02-27 16:45:27 +00:00
testcases Added some more testcases for array usage checking that involve complicated expressions 2008-02-11 14:40:28 +00:00
transformations Corrected the pulling up of SEQ replicator counts to descend properly into nested functions 2008-02-27 19:58:09 +00:00
AUTHORS Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
ChangeLog Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
compile-cgtests Added rules for getting and making the cgtests to the new Automake make system 2007-10-09 00:44:41 +00:00
configure.ac Added some checks for the regex packages that Tock already depends on 2008-01-26 19:37:21 +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
GenOrdAST.hs Added a case for the top-level AST to OrdAST 2008-02-05 22:36:12 +00:00
GenTagAST.hs Changed two uses of gmapQ (const undefined) to the similar glength function in the SYB library 2008-02-24 12:32:25 +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
Main.hs Fixed the keep temporaries thing so that it still keeps them when the compilation succeeds, not just when it dies 2008-02-27 19:58:32 +00:00
Makefile.am Added -fno-strict-aliasing to the C and C++ compiler options, since we break strict aliasing when retyping 2008-02-26 18:06:50 +00:00
NEWS Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
README Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +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 Renamed the RainUsageCheckTest module to UsageCheckTest 2008-02-25 10:28:33 +00:00
tock_support_cppcsp.h Added a typename decorator to a template type to keep the C++ compiler happy 2008-01-29 21:39:04 +00:00
tock_support.h Fixed the shift behaviour by moving it out into functions like the add and subtract operations already were 2008-02-27 15:13: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