|
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
|
Got the build system to use specific versions of some packages
|
2009-05-18 22:32:19 +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
|
Added the option to use ImpredicativeTypes
|
2010-04-10 19:41:09 +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 |
b6a2ed798e