Timeline
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 …
08/04/10:
- 17:13 Ticket #257 (get rid of all compiler warnings) closed by
- fixed: All warnings are gone except for those in files that ANTLR generates. …
08/02/10:
07/29/10:
- 14:08 Ticket #253 (Improve syntax exception reporting) closed by
- fixed: Runtime exceptions and System.exit()'s have been changed to …
- 10:56 Ticket #259 (javadoc not being executed) closed by
- fixed
- 09:55 Ticket #260 (parser test failures) closed by
- fixed: We had changed declaration_body in the grammar from its original form: …
- 07:50 Ticket #260 (parser test failures) created by
- Two parser tests are failing. See JUnit output.
- 07:49 Ticket #259 (javadoc not being executed) created by
- The currently post-commit script is not running the javadoc utility …
07/28/10:
- 12:00 Ticket #251 (initializing null pointer variable) closed by
- fixed: The problem was caused by a bug in the grammar. Casts in assignments …
Note:
See TracTimeline
for information about the timeline view.
