Timeline
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 …
07/27/10:
- 15:15 Ticket #256 (Fix UI printout of revision number) closed by
- fixed: Fixed. Now done for both development snapshots using svn info and …
- 12:20 Ticket #258 (TASS latest release contains tilde file) closed by
- fixed: Deleted the files from anton. Should be gone next time somebody commits.
- 12:01 Ticket #258 (TASS latest release contains tilde file) created by
- I downloaded TASS latest for OSX64 and in the bin directory there are …
- 09:05 Ticket #257 (get rid of all compiler warnings) created by
- Get rid of all compiler warnings in the TASS code. front: Ben model, …
07/26/10:
- 11:30 Ticket #256 (Fix UI printout of revision number) created by
- The UI prints the revision number of TASS.java, not of the whole …
07/16/10:
- 08:51 Ticket #255 (lib path wrong) closed by
- fixed: Path problem should be fixed. The path is now set by the JVM property …
- 08:49 Ticket #254 (web page: bad example) closed by
- fixed: Fixed by Dan. (Dan: remember to sign off the ticket once problem has …
- 05:32 Ticket #255 (lib path wrong) created by
- The TASS library loader looks for lib in the current directory , …
07/13/10:
- 17:16 Ticket #250 (Make release 1.0) closed by
- fixed: Stable v1.0 packages are up.
- 13:01 Ticket #254 (web page: bad example) created by
- On the web page is an example called Ordinary Loop Invariant. However …
- 12:54 Ticket #253 (Improve syntax exception reporting) created by
- There is a nice SyntaxException class, but it is not used in many many …
- 12:52 Ticket #243 (forall example needs accompanying JUnit test) closed by
- fixed: Done and test passing.
Note:
See TracTimeline
for information about the timeline view.
