|
backends
|
Renamed the TestUtil and TreeUtil modules to TestUtils and TreeUtils, to be consistent with the Utils module
|
2007-12-13 19:05:29 +00:00 |
|
common
|
Changed the array usage checking to distinguish between read-from and written-to indexes, while also beginning to overhaul the system to make a more general usage-checking framework that operates on the control flow graph
|
2008-01-25 16:17:17 +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
|
Rearranged PreprocessOccam a little so that you can now parse occam source directly from a String (as well as from a filename, as before)
|
2008-01-16 03:26:49 +00:00 |
|
testcases
|
Added tests with multi-dimensional arrays
|
2008-01-25 16:16:16 +00:00 |
|
transformations
|
Fixed the code so that each PAR groups properly (by edge identifier) but the tests still fail
|
2008-01-25 18:12:32 +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 |
|
GenTagAST.hs
|
Renamed the TestUtil and TreeUtil modules to TestUtils and TreeUtils, to be consistent with the Utils module
|
2007-12-13 19:05:29 +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
|
Moved the Pass list from Main to its own module (PassList) and included the usage-checking pass (when the appropriate option is turned on)
|
2008-01-16 03:26:20 +00:00 |
|
Makefile.am
|
Added detection of GHC's version number, and altered the GHC flags depending on the version
|
2008-01-26 17:27:44 +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
|
Fixed a bug so that tocktest now defaults to running a medium level of quickcheck tests
|
2008-01-23 14:32:13 +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 |
