Context Navigation

Timeline

15:15 Ticket #256 (Fix UI printout of revision number) closed by Stephen Siegel: fixed: Fixed. Now done for both development snapshots using svn info and …
12:20 Ticket #258 (TASS latest release contains tilde file) closed by zirkel: 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 Stephen Siegel: 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 Stephen Siegel: Get rid of all compiler warnings in the TASS code. front: Ben model, …

11:30 Ticket #256 (Fix UI printout of revision number) created by zirkel: The UI prints the revision number of TASS.java, not of the whole …

08:51 Ticket #255 (lib path wrong) closed by zirkel: 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 Stephen Siegel: fixed: Fixed by Dan. (Dan: remember to sign off the ticket once problem has …
05:32 Ticket #255 (lib path wrong) created by Stephen Siegel: The TASS library loader looks for lib in the current directory , …

17:16 Ticket #250 (Make release 1.0) closed by zirkel: fixed: Stable v1.0 packages are up.
13:01 Ticket #254 (web page: bad example) created by Stephen Siegel: On the web page is an example called Ordinary Loop Invariant. However …
12:54 Ticket #253 (Improve syntax exception reporting) created by Stephen Siegel: 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 Stephen Siegel: fixed: Done and test passing.

22:30 Ticket #252 (expand grammar for #define constants) created by Stephen Siegel: The following statements should be allowed, but currently do not …
22:27 Ticket #251 (initializing null pointer variable) created by Stephen Siegel: In libmpi.c, MPI_Request is defined as follows: […] After that I …
18:44 Ticket #250 (Make release 1.0) created by Stephen Siegel: Release 1.0 has to be packaged and put on web page.
18:41 Ticket #244 (shadow variables handled incorrectly) closed by Stephen Siegel: fixed: Fixed by Ben.
18:41 Ticket #245 (implement count correctly in MPI point-to-point ops) closed by Stephen Siegel: fixed
18:40 Ticket #248 (add message to TASS assert) closed by Stephen Siegel: fixed: Tim did it.
14:35 Ticket #249 (Change signature of main to be consistent with C) created by zirkel: Need to change from: void main() to {{{int main(int argc, …
11:52 Ticket #240 (free requires LHS expression in model builder) closed by zirkel: fixed: Done. Free is now part of stdlib
08:45 Ticket #246 (Foo function square no make sense) closed by zirkel: fixed: Fixed both the assignment and the comment (square, not square root).
08:26 Ticket #220 (No null constant value) closed by Stephen Siegel: fixed: NULL added. Add Null literal expression, value, etc. Linked list …

15:50 Ticket #248 (add message to TASS assert) created by Stephen Siegel: It would really improve usability if an optional form of the TASS …
11:03 Ticket #247 (add guard expression to system function) created by Stephen Siegel: When declaring a library system function with #pragma TASS system …

15:21 Ticket #246 (Foo function square no make sense) created by Stephen Siegel: It looks like it is squaring the value of the left hand side and …
13:40 Ticket #238 (source text for implicit return is empty) closed by bperry: fixed: Changed the implicit return's source information to be the line and …
12:50 Ticket #245 (implement count correctly in MPI point-to-point ops) created by Stephen Siegel: Right now MPI_Send and MPI_Recv require arrays of the exact same …
12:33 Ticket #237 (reduce output from tests) closed by dfix: fixed: Made sure that verbose and debug were set to false in each test and …
12:25 Ticket #241 (add assert to grammar) closed by bperry: fixed: Added an additional rule in the grammar that behaves exactly as the …
12:04 Ticket #242 (problem with negative constants) closed by bperry: fixed: solved by checking for unary expressions when processing constant …
10:25 Ticket #244 (shadow variables handled incorrectly) created by Stephen Siegel: When a local variable and global variable have the same name, and the …
08:48 Ticket #243 (forall example needs accompanying JUnit test) created by Stephen Siegel

19:50 Ticket #242 (problem with negative constants) created by Stephen Siegel: Negative constants are not being recognized, at least in some …
08:10 Ticket #241 (add assert to grammar) created by Stephen Siegel: Add a rule for a regular assert statement to the grammar. It should …

09:49 Ticket #240 (free requires LHS expression in model builder) created by Stephen Siegel: The model builder expects the argument to free to be a left hand side …[…]

23:33 Ticket #239 (store malloc statements in heap) created by Stephen Siegel: It would be of great use if the malloc statement used to create a heap …
23:31 Ticket #238 (source text for implicit return is empty) created by Stephen Siegel: The source text for an implicit return (i.e., a function that returns …
23:18 Ticket #122 (add option to not stop after finding violation) closed by Stephen Siegel: fixed: Done. New commandline option -errorBound=N can be used to specify …
23:17 Ticket #229 (Improve ExecutionException) closed by Stephen Siegel: fixed: Execution exception vastly improved and extended.

11:59 Ticket #236 (source not getting set for malloc) closed by zirkel: fixed
10:56 Things To Do edited by Stephen Siegel: (diff)
10:15 Things To Do edited by zirkel: (diff)
09:04 Ticket #237 (reduce output from tests) created by Stephen Siegel: Someone needs to go through all JUnit test files and modify as …

19:56 Ticket #231 (add casts between pointer types) closed by Stephen Siegel: fixed: Casts implemented and tests added and passing.
19:55 Ticket #236 (source not getting set for malloc) created by Stephen Siegel: See linkedListDeletion test output as an example. The source field is …

14:44 Ticket #234 (Parser Test fail on MPI_Init) closed by zirkel: fixed: The problem was that the parser did not correctly handle functions …
10:55 Ticket #235 (variadic formals) created by bperry: Functions such as printf, fscanf, etc. take in variadic formals: …
09:03 Ticket #234 (Parser Test fail on MPI_Init) created by Stephen Siegel: […]

10:08 WikiStart edited by Stephen Siegel: (diff)
09:15 Ticket #175 (Add sizeof expression to model package) closed by zirkel: fixed: The function SIZEOF_TYPE is created in the ModelFactory. …

10:52 Ticket #184 (Make library framework) closed by zirkel: fixed: I think it's complete. Reopen if there are any problems.

Note: See TracTimeline for information about the timeline view.