backends
Added a work-around for generating infinity and NaN in the C backend
2009-03-26 18:39:23 +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
Added support for constant-folding reals, and for constant-folding RETYPES
2009-03-26 18:33:14 +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
Added the ability to print out HTML-highlighted lexed occam
2009-03-26 22:34:34 +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
Changed the constant folder to fold RetypesExpr
2009-03-26 18:38:53 +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 pullUp so that it pulls up PROC parameters again
2009-03-26 18:38:28 +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
Added the ability to print out HTML-highlighted lexed occam
2009-03-26 22:34:34 +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
09093cff12