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
2007-11-12 14:34:50 +00:00
backends Added support for List types to the C and C++ backend, in genType at least 2007-10-27 11:24:24 +00:00
common Turned off generating ASTS with Specs inside Case statements until they have been properly implemented and tested 2007-11-10 23:29:49 +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
frontends Changed RainParseTest to stop relying on the Meta tag hack, and also added some more documentation. 2007-11-10 14:13:14 +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
transformations Changed a few functions to use the new helper function foldFuncs 2007-11-09 01:21:30 +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 QuickCheck to the list of needed libraries in configure.ac 2007-11-11 00:35:47 +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
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 Changed Main to reflect the changes to the flow-graph builder 2007-11-10 19:10:25 +00:00
Makefile.am Added the basics of an algorithm for doing iterate data-flow analysis 2007-11-01 11:41:17 +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 Updated the documentation in TestMain as to which modules the unit tests come from. 2007-11-12 14:34:50 +00:00
tock_support_cppcsp.h Added support for List types to the C and C++ backend, in genType at least 2007-10-27 11:24:24 +00:00
tock_support.h Added support for List types to the C and C++ backend, in genType at least 2007-10-27 11:24:24 +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