Timeline
09/29/10:
- 10:37 Ticket #273 (Clean up front end names) closed by
- fixed: A Program is now an AST. An Implementation is now an ASTFunction. …
09/28/10:
- 01:12 Ticket #252 (expand grammar for #define constants) closed by
- fixed: The following statement is now in examples/parserTest/nullCast.c: …
09/22/10:
- 13:32 Code Reviews edited by
- (diff)
- 11:11 Ticket #270 (implement local variable refs in collectives assertions) closed by
- fixed
09/15/10:
- 11:27 Code Reviews edited by
- (diff)
- 10:52 Ticket #275 (modify arrays in examples to use new #define input feature) created by
- Several of the examples won't compile because they declare global …
- 10:47 C Interface edited by
- (diff)
- 10:22 Ticket #274 (add support for skew factors in collective assertions/invariants) created by
- Syntax: […]
09/08/10:
- 11:09 Code Reviews created by
- 11:06 WikiStart edited by
- (diff)
- 10:58 Ticket #273 (Clean up front end names) created by
- Some names are just bad (Program should be AST, for example). Other …
09/07/10:
09/06/10:
- 22:04 Ticket #271 (Cobertura report generation down) closed by
- fixed: Ran last night.
09/05/10:
- 15:08 Ticket #272 (Regular invariant not being added correctly) created by
- In singleLoopFromSource test, a model is constructed with 3 processes …
- 10:26 Ticket #271 (Cobertura report generation down) created by
- Cobertura coverage report has not been updated since 8/21. Needs to …
09/04/10:
- 15:48 Ticket #270 (implement local variable refs in collectives assertions) created by
- Need to refer to local variables in other procs using notation […] …
- 14:35 Ticket #269 (move newCollectiveAssertion to ModelFactory) created by
- Seems like newCollectiveAssertion would be better place in …
- 09:56 Ticket #268 (no extra locations for collective assertions...) created by
- A {joint,collective,} {assertion,invariant} specified as a pragma …
08/31/10:
Note:
See TracTimeline
for information about the timeline view.
