Neil Brown
c7931bf800
Added more tests ready for channel-end inference
2009-01-23 14:47:59 +00:00
Neil Brown
d184721979
Added yet more tests for channel-ends
2009-01-21 00:00:31 +00:00
Neil Brown
16d8468b08
Added more channel end tests, involving abbreviations before use
2009-01-20 23:50:02 +00:00
Neil Brown
1adca155dd
Added a file full of tests for inferring direction specifiers in PROC formals
2009-01-20 23:43:42 +00:00
Neil Brown
ec25ff9901
Added some tests for the type-checking of poison statements in Rain
2008-09-12 14:37:11 +00:00
Adam Sampson
62a0873d3d
Implement channel direction decorators.
...
This is mostly straightforward: modify the parser to allow direction
decorators in the right places, and extend the type checker to match.
There's some slight awkwardness in that some of the Types functions
have to perform the same checks as the type checker (e.g. directing a
non-channel), so I've tidied up their error messages a bit.
At the backend, I've just added a little pass to strip out all the
DirectedVariables, since the other backend passes don't handle them
gracefully. From the occam/C point of view this is fine, but I'm not
sure if it's going to cause problems for C++.
2008-06-09 21:35:20 +00:00
Neil Brown
2a56189d30
Added an additional testcase for conditions in the usage checking
2008-06-07 20:29:21 +00:00
Neil Brown
cb6fb40440
Added some more testcases involving deduction from (sequential) replicator bounds
2008-06-06 10:39:12 +00:00
Neil Brown
b9b025a429
Added some tests for the new usage checking and reachability mechanisms
2008-06-05 23:11:00 +00:00
Adam Sampson
6ee21f76c9
Initial work on supporting INITIAL and RESULT abbreviations.
...
This fixes the AST, parser and typechecker, and adds a pass to
transform Result back into Abbrev, but doesn't transform Initial yet.
(It actually works for trivial stuff anyway, but it won't do the right
thing for complex types or PROC parameters.)
It appears (to me) to make sense to support INITIAL/RESULT reshaping
and retyping too, so this does.
Refs #42 .
2008-06-02 20:41:37 +00:00
Neil Brown
ecb4758b64
Corrected a slight bug in the type tests
2008-05-18 09:34:04 +00:00
Neil Brown
abbca5f235
Added tests for channel communications (and type unification)
2008-05-17 19:43:44 +00:00
Neil Brown
0aeebfeeb8
Added more tests for the Rain type system, this time assignment
2008-05-17 14:19:50 +00:00
Neil Brown
3249381995
Added a Rain test file for the type checker
2008-05-17 13:17:12 +00:00
Adam Sampson
2655b9b049
Fix a broken occam test (spotted by the new type checker).
2008-03-26 14:45:51 +00:00
Neil Brown
c23c575f73
Added some more testcases for array usage checking that involve complicated expressions
2008-02-11 14:40:28 +00:00
Neil Brown
71915494a6
Added a test for multiplied variables
2008-02-08 23:49:20 +00:00
Neil Brown
5bc57689f8
Tweaked some tests so that they are now correct
2008-02-08 14:03:45 +00:00
Neil Brown
9c0dcb6008
Added a few more parallel usage tests
2008-02-02 18:59:20 +00:00
Neil Brown
1c480ce8d9
Added a couple more usage check tests
2008-02-01 14:50:25 +00:00
Neil Brown
00a9dfc89b
Added more usage checks for proc and function calls
2008-01-29 11:59:08 +00:00
Neil Brown
f26b3309a3
Added a new file of testcases for testing passed parameters
2008-01-29 11:39:04 +00:00
Neil Brown
5a69459668
Added a few more parallel assignment tests
2008-01-27 16:50:30 +00:00
Neil Brown
10493717aa
Added tests with multi-dimensional arrays
2008-01-25 16:16:16 +00:00
Neil Brown
dc9e01933b
Added a couple of tests to ensure replication is compared properly with sibling plain PARs
2008-01-25 12:30:48 +00:00
Neil Brown
330405f983
Added more usage-checking tests
2008-01-25 11:50:57 +00:00
Neil Brown
0d6e06607b
Added a couple more tests
2008-01-25 11:19:58 +00:00
Neil Brown
08b922ae46
Added another usage checker test
2008-01-25 11:02:22 +00:00
Neil Brown
30bc63ffe8
Added another test case to test that read-indexes are not compared to each other
2008-01-22 22:15:48 +00:00
Neil Brown
af130291fc
Added some tests for replicated indexes in parallel
2008-01-16 12:14:09 +00:00
Neil Brown
31db71cb83
Added more (non-replicated) tests for the usage checking
2008-01-16 11:35:19 +00:00
Neil Brown
b3216c4870
Added a test-source-file for testing the array usage checker, and added it to the appropriate test list
2008-01-16 03:28:26 +00:00
