Timeline
09/25/09:
- 16:26 Ticket #81 (add support for type ids) created by
- Add methods to type factory so that every type gets a unique id …
09/18/09:
- 16:07 Ticket #72 (Make posters for accuracy verification and comparative symbolic execution) closed by
- fixed: The posters were turned in to Krystal.
09/12/09:
- 06:43 Ticket #80 (simplify fails on dividing by plus expressions) created by
- frederic:diffusion siegel$ tass verify -simplify diffusion1_seq.mmp …
09/10/09:
- 15:12 Ticket #11 (improve handling of counterexamples) closed by
- fixed: Traces good enough for now.
09/08/09:
- 14:58 Ticket #79 (for loop problem) closed by
- fixed: Fixed.
09/07/09:
- 09:03 Ticket #79 (for loop problem) created by
- I changed the first while loop in the matrixMultiplication examples to …
09/05/09:
- 12:27 Ticket #78 (Class cast exception in matmat-par_2_2_2.mmp) closed by
- fixed: I think I have fixed the problem, but it only revealed a new problem …
09/04/09:
- 13:46 Ticket #78 (Class cast exception in matmat-par_2_2_2.mmp) created by
- the command is: tass verify matmat-par_2_2_2.mmp -np 2 and I got this …
- 13:43 Ticket #77 (unreachable location in matmat example) closed by
- fixed: Problem fixed.
09/03/09:
- 18:31 Ticket #67 (text associated to expressions has extra token) closed by
- fixed: Fixed.
- 18:21 Ticket #34 (Add for loop support to front end) closed by
- fixed: Feature added.
- 18:21 Ticket #28 (improvements to model printing with source) closed by
- fixed: Changed as required.
- 11:43 Ticket #77 (unreachable location in matmat example) created by
- edu.udel.cis.vsl.minimp.model.IF.SyntaxException: Syntax error in …
09/02/09:
- 22:50 Ticket #75 (Problems with tass verify, ArrayIndexOutOfBounds Exception) closed by
- fixed: Added checks that PID is in range in Evaluator and Executor. Now …
- 21:51 Ticket #76 (OSError: [Errno 13] Permission denied: ...) created by
- ==== How to Reproduce ==== While doing a POST operation on …
- 21:50 Ticket #75 (Problems with tass verify, ArrayIndexOutOfBounds Exception) created by
- Run on latest svn, [1063]. Trace is attached. MiniMP rdeaton$ ./tass …
09/01/09:
- 16:52 Ticket #50 (add front end support for initialization expressions) closed by
- fixed: Feature added. Initialization expressions can be used now. But array …
08/31/09:
- 15:33 Ticket #73 (add Robert Deaton to Trac list) closed by
- fixed: Done
- 11:29 Ticket #44 (Add for loop functionality to model) reopened by
- Is there a ForLoopLocationIF? There needs to be a way for the …
- 09:14 Ticket #63 (errors in matmat-par_2_2_2.mmp) closed by
- fixed: Fixed.
- 08:48 Ticket #44 (Add for loop functionality to model) closed by
- fixed: For loops have been added
- 08:46 Ticket #66 (error in simpleMPImpl) closed by
- fixed: Corrected. The test now passes.
08/30/09:
- 11:22 Ticket #74 (Bus error using -simplify) created by
- frederic:matrixMultiplication siegel$ tass compare -simplify …
08/29/09:
- 17:31 Ticket #68 (-loop option) closed by
- fixed: Option added. The verifier will ignore loop coninvariant annotations …
- 17:30 Ticket #52 (matrixMultiplication compare returns false) closed by
- fixed: I have finished translating the equality comparison of two arrays to …
- 12:00 Ticket #73 (add Robert Deaton to Trac list) created by
- So he has write access and receives the emails.
- 11:54 Ticket #72 (Make posters for accuracy verification and comparative symbolic execution) created by
- The posters need to be 30" (wide) by 40" (tall). As for the past CIS …
08/28/09:
- 17:54 Ticket #71 (laplace example: inputs) created by
- The laplace example is looking good. But instead of initializing the …
- 17:32 Ticket #70 (Add abstract functions to frontend) created by
- An abstract function is a subclass of a function. It has a return …
- 17:25 Ticket #69 (skewFactor: EmptyStackException) closed by
- fixed
- 17:12 Ticket #69 (skewFactor: EmptyStackException) created by
- Running skewFactor currently generates an EmptyStackException
- 17:10 Ticket #68 (-loop option) created by
- Loop verifier shouldn't execute unless -loop is specified.
- 14:21 Ticket #65 (JUnit test problem with SimpleMP) closed by
- fixed: ExecConfig had the write number, but the wrong option was being passed …
- 12:30 Ticket #67 (text associated to expressions has extra token) created by
- The text associated to an expression extends one token beyond what it …
- 12:26 Ticket #66 (error in simpleMPImpl) created by
- MiniMP has correctly found an error in simpleMPImpl. It points out …
- 12:18 Ticket #65 (JUnit test problem with SimpleMP) created by
- When I run tass verify simpleMPSpec.mmp -np 2 from commandline, …
- 12:10 Ticket #62 (infinite loop when verifying simpleMPSpec) closed by
- fixed: The logic in the proceedToNext method had a bug. If numProcs>0 and …
- 12:02 Ticket #22 (automatic email) closed by
- fixed: Seems to work.
- 11:15 Ticket #31 (deprecated "\O" notation occurs in diffusion example) closed by
- fixed: Changed.
- 09:34 Ticket #64 (error due to integer division in mean example) closed by
- fixed: I put in the 1.0 as suggested, and the test passed.
- 09:31 Ticket #64 (error due to integer division in mean example) created by
- The impl version of the mean example was getting the wrong answer. …
- 02:39 Ticket #32 (casting between ints and reals) closed by
- fixed: Fixed. The SymInteger now is a subtype of SymRational.
- 02:38 Ticket #54 (translate <= as lessThanOrEquals) closed by
- fixed: Feature added.
- 01:27 Ticket #56 (mean: null pointer exception) closed by
- fixed
- 01:27 Ticket #59 (skewFactor: Null pointer exception) closed by
- fixed: Fixed.
- 00:58 Ticket #63 (errors in matmat-par_2_2_2.mmp) created by
- For the bcast, the workers are sending, when they should be receiving; …
- 00:55 Ticket #62 (infinite loop when verifying simpleMPSpec) created by
- command: tass verify -verbose simpleMPSpec.mmp -np 2 The infinite loop …
- 00:52 Ticket #61 (null pointer exception in simpleMPSpec) closed by
- fixed: Fixed.
- 00:26 Ticket #61 (null pointer exception in simpleMPSpec) created by
- […]
- 00:23 Ticket #60 (ArrayStoreException in simpleMP) closed by
- fixed: Problem was I had an array of Frame[] and I tried to stick into it a …
08/27/09:
- 23:48 Ticket #51 (add front end support for ++ and --) closed by
- fixed: Feature added.
- 23:47 Ticket #60 (ArrayStoreException in simpleMP) created by
- command is: tass verify -verbose simpleMPSpec.mmp -np 2 Exception in …
- 23:43 Ticket #58 (simpleMP: Null pointer exception from parse) closed by
- fixed: Fixed.
- 23:42 Ticket #43 (matmat: send stmt parse exception) closed by
- fixed: Fixed. But since the language doesn't support the notion of null …
- 18:51 Ticket #57 (nestedLoops: RuntimeException: Undefined value found.) closed by
- fixed: Steve & Yi fixed: problem was that k had undefined value. Modified …
- 15:15 Ticket #59 (skewFactor: Null pointer exception) created by
- Exception when running verify on skewFactorImpl.mmp. Possibly related …
- 15:10 Ticket #58 (simpleMP: Null pointer exception from parse) created by
- Error while parsing: Exception in thread "main" …
- 15:07 Ticket #57 (nestedLoops: RuntimeException: Undefined value found.) created by
- Running compare on nestedLoopsSpec_2.mmp and nestedLoopsImpl_2.mmp …
- 15:02 Ticket #56 (mean: null pointer exception) created by
- Running verify on meanImpl_2.mmp gives the following: Exception in …
- 13:20 Ticket #19 (JUnit test cases) closed by
- fixed: The remainder of this task is part of another ticket.
- 11:35 Ticket #41 (change the JUnit test) closed by
- fixed: This has been fixed.
- 09:38 Ticket #55 (enhance JUnit tests) created by
- Add additional test methods to try different options, such as …
- 09:28 Ticket #54 (translate <= as lessThanOrEquals) created by
- There is now support for the <= expression (lessThanOrEquals) in the …
- 09:26 Ticket #53 (Add <= operator to model) closed by
- fixed
- 09:13 Ticket #53 (Add <= operator to model) created by
- Add expression <=. We already have <.
- 00:08 Ticket #52 (matrixMultiplication compare returns false) created by
- Compare on the matrixMultiplication returns false. The problems are: …
08/26/09:
- 23:45 Ticket #51 (add front end support for ++ and --) created by
-
Add to grammar statements of the form
expr++. This is just … - 22:38 Ticket #46 (add front end support for if-then-else) closed by
- fixed: Feature added.
- 21:58 Ticket #50 (add front end support for initialization expressions) created by
- Certain scalar variables can now have initialization expressions, …
- 21:52 Ticket #45 (add support for initial values of scalar variables to model) closed by
- fixed
- 20:00 Ticket #49 (add primitive MPI-like communication operations to model) created by
- Refer to how this was done for Mover.
- 19:59 Ticket #48 (add pointer types, values to model) created by
- Refer to how this was done for Mover. Need pointers to variables, …
- 19:57 Ticket #47 (add record types to model) created by
- A record is what is a called a struct in C. Need to add RecordTypeIF, …
- 19:54 Ticket #46 (add front end support for if-then-else) created by
- An if the else expression has the following syntax: […] Just as …
- 19:30 Ticket #29 (matrix multiplication tiling is incorrect) closed by
- fixed: The out of bounds error is corrected.
- 18:38 Ticket #45 (add support for initial values of scalar variables to model) created by
- The language should support initial values for any scalar variable, as …
- 18:34 Ticket #44 (Add for loop functionality to model) created by
- Add a ForLoopLocationIF which extends LoopLocationIF. Ditto for the …
- 18:11 Ticket #43 (matmat: send stmt parse exception) created by
- There is a problem parsing the statement {{{send(a[count], count + 1, …
- 14:24 Ticket #42 (CVC3 prover problems) created by
- Two problems: 1) For the factorial example, CVC3 prover returns …
- 14:16 Ticket #18 (examples) closed by
- fixed: Examples have been updated.
Note:
See TracTimeline
for information about the timeline view.
