|
backends
|
Added more documentation to the testing frameworks in the backends directory.
|
2007-11-12 17:51:54 +00:00 |
|
common
|
Fixed some haddock parsing problems in the documentation
|
2007-11-14 16:26:47 +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
|
Added more documentation to the tests for the Rain frontend passes
|
2007-11-12 15:45:07 +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
|
Added some more documentation in the PassTest module.
|
2007-11-12 18:03:25 +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
|
Reinserted the haddock rules into the Makefile.am (they got missed out in the transition from the old build system) and put a warning-check for haddock in the configure.ac file.
|
2007-11-12 17:35:03 +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 the parse mode to pretty-print the AST by default
|
2007-11-14 16:26:19 +00:00 |
|
Makefile.am
|
Fixed the re-added Haddock Makefile entry to stop it using GNU Make macros
|
2007-11-21 12:40:40 +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 |
