|
backends
|
Added the helper functions for adding and subtracting Times in C++CSP
|
2008-03-23 13:29:22 +00:00 |
|
checks
|
Revamped the ShowCode module, transforming it to use the writer monad
|
2008-03-20 16:20:14 +00:00 |
|
common
|
Fixed the display of names in ShowCode for Rain
|
2008-03-23 12:13:55 +00:00 |
|
data
|
Added a warnPC function (like diePC) for use with formatCode
|
2008-03-22 18:34:40 +00:00 |
|
docextra
|
Clean up the documentation hack a bit.
|
2008-02-28 14:43:53 +00:00 |
|
flow
|
Wrap QuickCheck tests into HUnit tests.
|
2008-03-12 19:38:02 +00:00 |
|
frontends
|
Stopped constants being assigned to in the type-checker for Rain
|
2008-03-23 12:15:00 +00:00 |
|
pass
|
Added a new property (functionTypesChecked) to help fix the pass ordering
|
2008-03-23 00:09:01 +00:00 |
|
support
|
Added the helper functions for adding and subtracting Times in C++CSP
|
2008-03-23 13:29:22 +00:00 |
|
testcases
|
Fixed the commstime.rain testcase so that it now just about works (except for one disallowed cast)
|
2008-03-23 13:29:47 +00:00 |
|
transformations
|
Fixed pullUp to not pull up list expressions
|
2008-03-23 11:49:42 +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 cgtests to no longer use a custom garbage collector
|
2008-03-10 17:23:37 +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 a check for C++CSP2 using pkg-config
|
2008-03-17 17:36:48 +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 |
|
GenOrdAST.hs
|
Added a case for the top-level AST to OrdAST
|
2008-02-05 22:36:12 +00:00 |
|
GenTagAST.hs
|
Changed two uses of gmapQ (const undefined) to the similar glength function in the SYB library
|
2008-02-24 12:32:25 +00:00 |
|
LANGUAGE
|
Implement short-form PLACE, and fix PLACE IN WORKSPACE/VECSPACE.
|
2008-03-17 18:47:54 +00:00 |
|
Main.hs
|
Added the code to guess the frontend based on the file extension (.occ/.rain)
|
2008-03-21 14:46:28 +00:00 |
|
Makefile.am
|
Implement expression typechecking for occam.
|
2008-03-22 01:00:42 +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
|
Implement expression typechecking for occam.
|
2008-03-22 01:00:42 +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 |
