|
backends
|
Fixed generation of C types for channels (somewhere, one is being abbreviated with ValAbbrev, so I'll allow it for now)
|
2009-03-25 18:27:13 +00:00 |
|
checks
|
Fixed the counter-example generation so that it works even when inequalities remain after the problem has been solved
|
2009-03-25 17:56:30 +00:00 |
|
common
|
Changed the rest of tock to reflect the changes to the Is constructor
|
2009-03-24 23:57:24 +00:00 |
|
config
|
Quickly added a command line option to allow you to specify flags to pass to the C/C++ compiler
|
2009-03-25 22:35:49 +00:00 |
|
data
|
Quickly added a command line option to allow you to specify flags to pass to the C/C++ compiler
|
2009-03-25 22:35:49 +00:00 |
|
docextra
|
Add the Tock hacker's guide to the repository.
|
2008-11-20 13:41:06 +00:00 |
|
flow
|
Added information in the flow graph edges as to when a condition becomes non-usable (e.g. when the branches of an IF merge again)
|
2009-02-09 16:57:13 +00:00 |
|
frontends
|
Got arrays abbrevs with unknown dimensions in the type to take the type from the RHS
|
2009-03-25 16:38:40 +00:00 |
|
pass
|
Turned off unused variable checking for now -- I think it's bugged
|
2009-03-25 18:33:23 +00:00 |
|
pregen
|
Make GenNavAST generate instances of a "Polyplate" class.
|
2008-05-10 16:27:46 +00:00 |
|
support
|
Added various bits for shared channels, which now means that cgtest86 compiles and passes
|
2009-03-24 00:08:02 +00:00 |
|
testcases
|
Fixed some of the tests, and added another testcase for array passing, based on one of Carl's examples
|
2009-03-20 12:59:16 +00:00 |
|
transformations
|
Fixed channel arrays in PROC parameters to be pulled up
|
2009-03-25 18:26:33 +00:00 |
|
AUTHORS
|
Changed tock to use autoconf/automake for its build process
|
2007-10-08 17:02:03 +00:00 |
|
cgtests.mk
|
Added an option to automatically run indent on C/C++ source before running GCC
|
2009-03-21 18:25:09 +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
|
Took out my warning option since it causes problems
|
2009-03-22 14:50:25 +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
|
Quickly added a command line option to allow you to specify flags to pass to the C/C++ compiler
|
2009-03-25 22:35:49 +00:00 |
|
Makefile.am
|
Finally got round to adding a little program to qualify the AST tags in the TAGS file
|
2009-03-22 15:51:43 +00:00 |
|
NEWS
|
Changed tock to use autoconf/automake for its build process
|
2007-10-08 17:02:03 +00:00 |
|
ProcessTags.hs
|
Finally got round to adding a little program to qualify the AST tags in the TAGS file
|
2009-03-22 15:51:43 +00:00 |
|
rangetest.c
|
Implemented ASHIFTRIGHT (straightforward) and ASHIFTLEFT (amazingly hard) and tested them
|
2009-01-26 18:57:50 +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 some testcases related to checking the use of abbreviations
|
2009-02-08 23:25:30 +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 |
