Timeline
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:
08/30/10:
- 14:32 Ticket #247 (add guard expression to system function) closed by
- fixed
- 14:29 Ticket #264 (null pointer exception in TreeParser using collective assert) closed by
- fixed
- 14:27 Ticket #266 (diffusion/ghost: no main function?) closed by
- fixed
- 14:26 Ticket #267 (collective assertion not getting added to model in unbalanced1.c) closed by
- fixed: In this situation a noop will be added.
08/25/10:
- 22:27 Ticket #267 (collective assertion not getting added to model in unbalanced1.c) created by
- See unbalanced 1.c and run accompanying JUnit test. It looks like no …
08/22/10:
- 16:01 Ticket #263 (False guards are not getting reported as a deadlock) closed by
- fixed: Added tests, which pass.
- 12:55 Ticket #266 (diffusion/ghost: no main function?) created by
- When running JUnit test CollectiveAssert.compare I get […] even …
- 12:44 Ticket #265 (ModelBuilder runtime exception) created by
- This should be changed to a SyntaxException... […] Also, it should …
- 12:13 Ticket #264 (null pointer exception in TreeParser using collective assert) created by
- Run the collectiveAssert/CollectiveAssertTest and you get a …
08/18/10:
- 11:11 Ticket #263 (False guards are not getting reported as a deadlock) created by
- For system functions with guards, if the guard cannot be true it …
- 10:42 Ticket #262 (Make .externalToolBuilders/Ant_Builder.launch generic) created by
- Right now this file assumes that the project is in a folder called …
08/17/10:
Note:
See TracTimeline
for information about the timeline view.
