|
backends
|
Quickly added poison to the C++ backend
|
2008-09-12 21:05:11 +00:00 |
|
checks
|
Fixed the flow algorithms to discard nodes that should not feature (e.g. nodes with no onward path in backward data flow)
|
2008-09-11 21:46:03 +00:00 |
|
common
|
Renamed the variables in the occam EDSL to be less likely to clash in other modules
|
2008-11-15 20:11:52 +00:00 |
|
config
|
Do away with the pkgconfig file in favour of another generated module.
|
2008-05-07 13:06:27 +00:00 |
|
data
|
Extended the type unification for Rain to support type-checking things that are being poisoned (which could be either end of a channel)
|
2008-09-12 14:40:04 +00:00 |
|
docextra
|
Fix the page size in the Tock logo.
|
2008-05-14 23:22:50 +00:00 |
|
flow
|
Removed while loops from one of the quickcheck tests now that they behave in a more complex fashion
|
2008-09-11 21:53:40 +00:00 |
|
frontends
|
Extended the type unification for Rain to support type-checking things that are being poisoned (which could be either end of a channel)
|
2008-09-12 14:40:04 +00:00 |
|
pass
|
Include TypeSet in OpsM.
|
2008-06-11 12:04:06 +00:00 |
|
pregen
|
Make GenNavAST generate instances of a "Polyplate" class.
|
2008-05-10 16:27:46 +00:00 |
|
support
|
Fixed implicit mobility to work in the (C++, at least) backend
|
2008-06-01 19:46:32 +00:00 |
|
testcases
|
Added some tests for the type-checking of poison statements in Rain
|
2008-09-12 14:37:11 +00:00 |
|
transformations
|
Renamed the variables in the occam EDSL to be less likely to clash in other modules
|
2008-11-15 20:11:52 +00:00 |
|
AUTHORS
|
Changed tock to use autoconf/automake for its build process
|
2007-10-08 17:02:03 +00:00 |
|
cgtests.mk
|
Add a "run" target to build and run the cgtests.
|
2008-04-08 15:17:40 +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
|
Fixed a conflict in configure.ac, adding the GLIB_ flags to the C flags
|
2008-05-18 11:39: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
|
Added support for recording terminator nodes (as well as root nodes) while building the flow graph
|
2008-05-30 17:15:52 +00:00 |
|
Makefile.am
|
Added a module for easily knocking up fragments of occam code to test, but need to remove some of the extravagance in the design (including an unnecessary monad)
|
2008-11-15 19:29:56 +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
|
Add a unit tests file for SimplifyTypes.
|
2008-06-11 15:56: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 |
