Timeline
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:
08/05/10:
- 15:15 Ticket #261 (Add support for #define input variables) created by
- Varibles declared in a #define should be able to be part of an input …
Note:
See TracTimeline
for information about the timeline view.
