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.
2,229 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%
f0a64cb33f
Go to file
Neil Brown f0a64cb33f Added some Tock support functions for allocating and freeing workspaces 
It turns out that we weren't freeing workspaces, and neither was CCSP, and hence in long-running programs we were leaking memory at a crazy rate.  This fix works, but really this stuff should be in CCSP (Currently, it doesn't seem to have a ProcFree function...)
2009-03-27 17:25:09 +00:00
backends Various fixes in the C backend to get oak working 2009-03-27 16:29:06 +00:00
checks Added some debug messages during usage checking, and stopped checking PROCs with one argument for alias issues 2009-03-27 12:02:52 +00:00
common Added support for constant-folding reals, and for constant-folding RETYPES 2009-03-26 18:33:14 +00:00
config Quickly added a command line option to allow you to specify flags to pass to the C/C++ compiler 2009-03-25 22:35:49 +00:00
data Added a command-line option to change how much stack the unknown functions are given 2009-03-26 22:49:38 +00:00
docextra Add the Tock hacker's guide to the repository. 2008-11-20 13:41:06 +00:00
flow Added information in the flow graph edges as to when a condition becomes non-usable (e.g. when the branches of an IF merge again) 2009-02-09 16:57:13 +00:00
frontends Fixed the type inference for CLAIMs 2009-03-27 16:24:01 +00:00
pass Turned off unused variable checking for now -- I think it's bugged 2009-03-25 18:33:23 +00:00
pregen Make GenNavAST generate instances of a "Polyplate" class. 2008-05-10 16:27:46 +00:00
support Added some Tock support functions for allocating and freeing workspaces 2009-03-27 17:25:09 +00:00
testcases 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
transformations Fixed arrays of user data types that are arrays to be flattened into a multidimensional array, rather than an array of arrays 2009-03-27 16:24:15 +00:00
AUTHORS Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
cgtests.mk Added an option to automatically run indent on C/C++ source before running GCC 2009-03-21 18:25:09 +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 Took out my warning option since it causes problems 2009-03-22 14:50:25 +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 Implement channel direction decorators. 2008-06-09 21:35:20 +00:00
Main.hs Added a command-line option to change how much stack the unknown functions are given 2009-03-26 22:49:38 +00:00
Makefile.am Finally got round to adding a little program to qualify the AST tags in the TAGS file 2009-03-22 15:51:43 +00:00
NEWS Changed tock to use autoconf/automake for its build process 2007-10-08 17:02:03 +00:00
ProcessTags.hs Finally got round to adding a little program to qualify the AST tags in the TAGS file 2009-03-22 15:51:43 +00:00
rangetest.c Implemented ASHIFTRIGHT (straightforward) and ASHIFTLEFT (amazingly hard) and tested them 2009-01-26 18:57:50 +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 Added some testcases related to checking the use of abbreviations 2009-02-08 23:25:30 +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

README