alloy
Twiddled some of the alloy documentation
2009-06-05 10:43:12 +00:00
backends
Removed all uses of rec, which seems to be a reserved word these days
2010-04-10 19:39:54 +00:00
checks
Removed all uses of rec, which seems to be a reserved word these days
2010-04-10 19:39:54 +00:00
common
Tidied up a use of impredicative types
2010-04-10 19:40:54 +00:00
config
Moved the extra parameters in the compiler commands so that the source file is always the last parameter
2009-05-22 17:13:10 +00:00
data
Turned csCurrentFile into a monad transformer variable, and added csCompilationHash to help in uniquifying names between files
2009-04-19 19:36:38 +00:00
docextra
Add the Tock hacker's guide to the repository.
2008-11-20 13:41:06 +00:00
flow
Improved the commenting on the flow algorithm stuff and fixed a bug in the implicit mobility
2009-08-19 17:00:12 +00:00
frontends
Removed all uses of rec, which seems to be a reserved word these days
2010-04-10 19:39:54 +00:00
pass
Cleaned up all the warnings in Tock's code (most unused modules, or unused functions)
2009-05-19 09:05:38 +00:00
pregen
Cleaned up all the warnings in Tock's code (most unused modules, or unused functions)
2009-05-19 09:05:38 +00:00
support
Added a missing operator (unary MINUS on BYTE) to the support headers
2009-04-17 18:24:03 +00:00
testcases
Fixed a typo on the newly added testcase
2009-04-18 21:26:15 +00:00
transformations
Improved the commenting on the flow algorithm stuff and fixed a bug in the implicit mobility
2009-08-19 17:00:12 +00:00
AUTHORS
Changed tock to use autoconf/automake for its build process
2007-10-08 17:02:03 +00:00
cgtests.mk
Changed the names of generated tock files to have ".tock" before the extension
2009-04-02 15:40:39 +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
Simplify the GHC version logic a bit.
2010-04-10 21:37:51 +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
Fixed strings passed on the command-line for defines
2009-05-19 13:28:39 +00:00
Makefile.am
Fixed the build system to allow compilation with GHC 6.12
2010-04-10 19:41:48 +00:00
NEWS
Changed tock to use autoconf/automake for its build process
2007-10-08 17:02:03 +00:00
occamutl.lib.tock.h
Moved the dummy occamutl files to match my changes in occbuild
2009-04-17 21:04:49 +00:00
occamutl.lib.tock.inc
Moved the dummy occamutl files to match my changes in occbuild
2009-04-17 21:04:49 +00:00
occamutl.lib.tock.sizes
Moved the dummy occamutl files to match my changes in occbuild
2009-04-17 21:04:49 +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
Fixed a problem with rangetest caused by an earlier change
2009-04-17 18:49:46 +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
b006500274