|
backends
|
Fixed the C++CSP backend's use of channels (this fixes occam but probably breaks Rain, but I can come back to it later)
|
2008-11-13 21:00:56 +00:00 |
|
checks
|
Corrected the traversal mechanism to continually iterate the function until a fixpoint is reached (indicated by an Either mechanism, rather than an equality test, since the user must substitute explicitly)
|
2008-11-15 00:04:51 +00:00 |
|
common
|
Fixed the apply function, which (mainly due to having the wrong type signature, but also its use of extTransformRoute) was not as polymorphic as it should have been, which was breaking the traversal (I think it would only work on one Structured type)
|
2008-11-14 15:30:02 +00:00 |
|
config
|
Do away with the pkgconfig file in favour of another generated module.
|
2008-05-07 13:06:27 +00:00 |
|
data
|
Added a value to indicate what type a warning is (to support future configurability) and streamlined the warning functions
|
2008-11-13 15:36:22 +00:00 |
|
docextra
|
Add the Tock hacker's guide to the repository.
|
2008-11-20 13:41:06 +00:00 |
|
flow
|
Filled in all the gaps such that the CheckTest tests now run (including some debug output, for now)
|
2008-11-12 16:54:00 +00:00 |
|
frontends
|
Added a value to indicate what type a warning is (to support future configurability) and streamlined the warning functions
|
2008-11-13 15:36:22 +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
|
Filled in all the gaps such that the CheckTest tests now run (including some debug output, for now)
|
2008-11-12 16:54:00 +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
|
Recording some information about my failed attempts to fiddle with the GHC flags
|
2008-11-10 16:46:38 +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
|
Added a file for testcases for checks that use the new framework
|
2008-11-10 13:08:14 +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 |
