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 …
Note:
See TracTimeline
for information about the timeline view.
