Timeline
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.
07/12/10:
- 22:30 Ticket #252 (expand grammar for #define constants) created by
- The following statements should be allowed, but currently do not …
- 22:27 Ticket #251 (initializing null pointer variable) created by
- In libmpi.c, MPI_Request is defined as follows: […] After that I …
- 18:44 Ticket #250 (Make release 1.0) created by
- Release 1.0 has to be packaged and put on web page.
- 18:41 Ticket #244 (shadow variables handled incorrectly) closed by
- fixed: Fixed by Ben.
- 18:41 Ticket #245 (implement count correctly in MPI point-to-point ops) closed by
- fixed
- 18:40 Ticket #248 (add message to TASS assert) closed by
- fixed: Tim did it.
- 14:35 Ticket #249 (Change signature of main to be consistent with C) created by
-
Need to change from:
void main()to {{{int main(int argc, … - 11:52 Ticket #240 (free requires LHS expression in model builder) closed by
- fixed: Done. Free is now part of stdlib
- 08:45 Ticket #246 (Foo function square no make sense) closed by
- fixed: Fixed both the assignment and the comment (square, not square root).
- 08:26 Ticket #220 (No null constant value) closed by
- fixed: NULL added. Add Null literal expression, value, etc. Linked list …
07/10/10:
- 15:50 Ticket #248 (add message to TASS assert) created by
- It would really improve usability if an optional form of the TASS …
- 11:03 Ticket #247 (add guard expression to system function) created by
-
When declaring a library system function with
#pragma TASS system…
07/09/10:
- 15:21 Ticket #246 (Foo function square no make sense) created by
- 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
- 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
- Right now MPI_Send and MPI_Recv require arrays of the exact same …
- 12:33 Ticket #237 (reduce output from tests) closed by
- 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
- fixed: Added an additional rule in the grammar that behaves exactly as the …
- 12:04 Ticket #242 (problem with negative constants) closed by
- fixed: solved by checking for unary expressions when processing constant …
- 10:25 Ticket #244 (shadow variables handled incorrectly) created by
- 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
07/08/10:
- 19:50 Ticket #242 (problem with negative constants) created by
- Negative constants are not being recognized, at least in some …
- 08:10 Ticket #241 (add assert to grammar) created by
- Add a rule for a regular assert statement to the grammar. It should …
07/06/10:
- 09:49 Ticket #240 (free requires LHS expression in model builder) created by
- The model builder expects the argument to free to be a left hand side …[…]
07/05/10:
- 23:33 Ticket #239 (store malloc statements in heap) created by
- 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
- 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
- fixed: Done. New commandline option -errorBound=N can be used to specify …
- 23:17 Ticket #229 (Improve ExecutionException) closed by
- fixed: Execution exception vastly improved and extended.
07/02/10:
- 11:59 Ticket #236 (source not getting set for malloc) closed by
- fixed
- 10:56 Things To Do edited by
- (diff)
- 10:15 Things To Do edited by
- (diff)
- 09:04 Ticket #237 (reduce output from tests) created by
- Someone needs to go through all JUnit test files and modify as …
07/01/10:
- 19:56 Ticket #231 (add casts between pointer types) closed by
- fixed: Casts implemented and tests added and passing.
- 19:55 Ticket #236 (source not getting set for malloc) created by
- See linkedListDeletion test output as an example. The source field is …
06/30/10:
- 14:44 Ticket #234 (Parser Test fail on MPI_Init) closed by
- fixed: The problem was that the parser did not correctly handle functions …
- 10:55 Ticket #235 (variadic formals) created by
- Functions such as printf, fscanf, etc. take in variadic formals: …
- 09:03 Ticket #234 (Parser Test fail on MPI_Init) created by
- […]
06/29/10:
- 10:08 WikiStart edited by
- (diff)
- 09:15 Ticket #175 (Add sizeof expression to model package) closed by
- fixed: The function SIZEOF_TYPE is created in the ModelFactory. …
06/27/10:
- 10:52 Ticket #184 (Make library framework) closed by
- fixed: I think it's complete. Reopen if there are any problems.
06/26/10:
- 14:00 Ticket #233 (change grammar and examples to C notation) closed by
- fixed: I believe Tim has completed this, and I renamed all the files from …
- 09:56 Ticket #218 (Failure in GradeCount loop test) closed by
- fixed: Fixed. Added writerefs to set of variables that get reset, and …
06/24/10:
- 11:20 Ticket #233 (change grammar and examples to C notation) created by
- See the wiki page for the new C #pragma notation for TASS. Update …
- 11:17 C Interface edited by
- (diff)
- 11:15 C Interface edited by
- (diff)
- 11:15 C Interface edited by
- (diff)
- 10:42 Ticket #232 (checkSat) created by
- CVC3 has some methods which we are not using but probably should: checkSat.
- 10:04 Ticket #231 (add casts between pointer types) created by
- Need to be able to cast between (void*) and (int*), etc, etc. Requires …
06/23/10:
- 18:11 Ticket #230 (null pointer exception in return statement) closed by
- fixed: Fixed. Error in parser: number of children node mis-counted.
06/22/10:
- 22:47 Ticket #230 (null pointer exception in return statement) created by
- In TreeParser, a null pointer exception happens with a return …
- 12:17 Ticket #229 (Improve ExecutionException) created by
- An execution exception should probably include a trace to give a …
- 12:15 Ticket #219 (Cannot use -> on left hand of assignment in .mmp files) closed by
- fixed: This is fixed, but another error was revealed. Also, the example test …
- 08:33 Ticket #217 (Add constants to model) closed by
- wontfix: After talking with Tim, we decided (a) there is no difference between …
06/21/10:
- 22:43 Ticket #225 (EvaluatedFunction not used) closed by
- fixed: Fixed by getting rid of EvaluatedFunction. Leaning towards simplicity …
- 22:41 Ticket #228 (Error reporting issue when parsing .mmp file.) closed by
- fixed: Fixed by making SyntaxException not RuntimeException and throwing up …
- 13:55 Ticket #228 (Error reporting issue when parsing .mmp file.) created by
- This test generates a syntax error at line 12 while being parsed. …
06/19/10:
- 15:38 Ticket #226 (heap canonicalization does not report leaks) closed by
- fixed: A warning message is now printed. Definite room for improvement here. …
06/18/10:
- 23:58 Ticket #227 (Parser error when declaring a pointer and assigning it memory with ...) closed by
- invalid: This is not grammatically correct in MiniMP. "p=malloc(e)" is a …
- 23:54 Ticket #223 (Parser error with pointer manipulation in .mmp file) closed by
- invalid: Problem is the declaration is not at the top of the function body. …
- 23:30 Ticket #222 (Infinite loop with pointer usage in .mmp file) closed by
- fixed: Fixed defect in AST's Type mechanism. Equals method was not prepared …
- 14:23 Ticket #212 (move auto tests to anton) closed by
- fixed
- 14:03 Ticket #227 (Parser error when declaring a pointer and assigning it memory with ...) created by
- Separating these two operations (declaring the pointer and using …
- 11:06 Ticket #226 (heap canonicalization does not report leaks) created by
- Leaks are discovered as unreachable parts of heap, but are not …
06/17/10:
- 11:29 Ticket #158 (implement garbage collection) closed by
- fixed: Implemented with heap canonicalization, in ModelEnvironment. There …
06/15/10:
- 18:56 Ticket #225 (EvaluatedFunction not used) created by
- There is an interface EvaluatedFunctionIF and class EvaluatedFunction …
- 16:10 Ticket #224 (Free fails when used on a struct pointer.) closed by
- invalid: "free" is only applicable to objects allocated by an earlier call to …
- 16:02 Ticket #224 (Free fails when used on a struct pointer.) created by
- This works in C, but it's being seen here as an invalid pointer. It …
- 15:32 Ticket #223 (Parser error with pointer manipulation in .mmp file) created by
- Line 14 gives a parser error, shown below. This same code executes in …
- 15:28 Ticket #222 (Infinite loop with pointer usage in .mmp file) created by
- The line Node *p0 = &a0; causes an infinite loop. […] …
- 12:38 Ticket #221 (Cannot declare multiple variables on one line in .mmp) created by
- It seems that the parser can't handle the declaration of multiple …
- 12:33 Ticket #220 (No null constant value) created by
- We don't have a representation for null.
- 12:26 Ticket #219 (Cannot use -> on left hand of assignment in .mmp files) created by
- Something like: Node a; Node* p = &a; p->field = ...; will result in …
06/14/10:
- 14:01 Ticket #218 (Failure in GradeCount loop test) created by
- I added a JUnit test for GradeCount. The loop technique is supposed …
- 12:20 Ticket #217 (Add constants to model) created by
- If we just use shared variables, they get added to the state. This …
Note:
See TracTimeline
for information about the timeline view.
