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