Adam Sampson e6980ba382 Update all specifications when constant folding. ... It used to only update IsExprs, but that meant that all the constants inside types in other things didn't get folded properly, which caused problems.		2008-04-06 02:01:47 +00:00
..
automatic	Fix a broken occam test (spotted by the new type checker).	2008-03-26 14:45:51 +00:00
_assert.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_array_types.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_arraysize.occ	Move constant checking from the occam parser into a pass.	2008-03-19 12:47:29 +00:00
_bad_assign.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_assign2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_conversion.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_conversion2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_datatype.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_literal.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_option.occ	Move constant checking from the occam parser into a pass.	2008-03-19 12:47:29 +00:00
_bad_proto.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_proto2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_retype.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_retype2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_retype3.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_retype4.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_retype5.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_retype6.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_string_cont.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_string_cont2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_tlp.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_tlp2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_bad_tlp3.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_call_int.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_fish.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_two_skips.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
_unknown_proc.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
abbrev.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
actuals.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
alphabet.rain	Added a couple of Rain testcases	2008-03-20 16:54:03 +00:00
alt.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
args.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
array-arg.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
array-constructor.occ	Fix array constructors in occam.	2008-03-17 18:34:23 +00:00
array-context.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
arrayarray.occ	Make underlyingType merge array dimensions.	2007-08-22 15:00:54 +00:00
arraylit.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
arrays.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
assign-array.occ	Move assignment simplification into a pass.	2007-08-22 19:55:52 +00:00
assign-record.occ	Move assignment simplification into a pass.	2007-08-22 19:55:52 +00:00
assign.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
assign.rain	Added a couple of Rain testcases	2008-03-20 16:54:03 +00:00
ats1-q7.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
booleanop.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
capitalise.occ	Implement FLUSH in the output handlers.	2008-03-12 14:48:27 +00:00
case.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
chan-retypes.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
chanany.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
checkindex.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
checksize.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
commstime-mini.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
commstime.rain	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
const-array-dim.occ	Update all specifications when constant folding.	2008-04-06 02:01:47 +00:00
const-expr.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
constants.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
conversions.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
course.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
datatype-const.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
datatype-formals.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
datatype.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
datatype2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
echo.occ	Added support for occam's flush (sending 255) and moved some of the unreachable flush commands in the C++ support headers	2008-03-25 11:37:02 +00:00
echoquit.rain	Added a couple of testcase programs for reading from the keyboard and echoing	2008-03-24 23:46:43 +00:00
empties.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
expressions.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
hello.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
id-chain.rain	Added more Rain testcases to the repository	2008-03-22 16:11:12 +00:00
idfunc.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
incase.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
include.inc	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
include.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
include2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
includeproc.inc	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
indentation.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
initial.occ	Clean up INITIAL a bit and add a test case.	2008-03-17 18:43:07 +00:00
inline.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
inout.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
intliterals.rain	Added more Rain testcases to the repository	2008-03-22 16:11:12 +00:00
intrinsics.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
lists.rain	Added support for list literals to the Rain parser	2008-03-21 20:03:47 +00:00
lit-slice.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
literals.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
multidim-literal.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
multidim.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
nesting.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
nonconst-array-literal.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
output-ambiguity.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
par.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
place.occ	Implement short-form PLACE, and fix PLACE IN WORKSPACE/VECSPACE.	2008-03-17 18:47:54 +00:00
preproc.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
pri-par.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
protocols.occ	Protocol test case expanded	2007-07-26 21:17:27 +00:00
ptp-rep.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
pull-consts.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
real-conversions.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
record-literals.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
record-literals2.occ	Fix makeLiteral for arrays inside records.	2007-08-23 22:07:01 +00:00
records.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
rem-op.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
reprep.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
reschedule.occ	Implement the RESCHEDULE intrinsic.	2008-03-15 11:00:11 +00:00
retypes.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
shifts.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
simple-alt.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
simple.rain	Added the first Rain program to the testcases directory and added Makefile rules for compiling *.rain into *x using the C++CSP backend	2007-08-28 16:02:22 +00:00
skip.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
slices.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
stop.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
stringlit.occ	Rework the parser to use the new lexer.	2007-08-21 20:44:15 +00:00
tables.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
tags.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
timer-arg.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
timer-guards.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
tlp.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
twoprocs.rain	Added more Rain testcases to the repository	2008-03-22 16:11:12 +00:00
val-retypes.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00
val-retypes2.occ	Give tock its own repo -- i.e. remove everything else and move tock up	2007-07-16 21:48:55 +00:00