Timeline
01/25/10:
01/24/10:
01/23/10:
- 16:31 Ticket #102 (add concrete versions of primitive and array values) closed by
- wontfix: This would be better handled by keeping the concrete values in the …
- 16:28 WikiStart edited by
- (diff)
- 16:23 Things To Do edited by
- (diff)
- 14:02 Ticket #151 (Fib example gets wrong answer) created by
- The Fibonacci example has a "bad" implementation which is not …
- 13:24 Ticket #148 (ClassCastException in dynamic package) closed by
- fixed: Fixed by Yi earlier.
- 12:01 Ticket #17 (implement verify.loop) closed by
- fixed: Done by Yi. Some bugs seem to remain. Separate tickets will be …
- 12:00 Ticket #94 (Update svn server) closed by
- fixed: Done. Taken care of by EECIS staff.
- 11:59 Ticket #149 (Tech report) closed by
- fixed: Done, but a lot of improvement is possible.
- 11:59 Ticket #150 (Create web site) closed by
- fixed: Done. Web site is http://vsl.cis.udel.edu/tass
- 11:58 Ticket #147 (write outline for CAV tool paper) closed by
- fixed
- 11:57 Things To Do edited by
- (diff)
- 11:57 Things To Do created by
- 11:52 WikiStart edited by
- (diff)
- 11:51 WikiStart edited by
- (diff)
01/17/10:
- 23:31 Ticket #150 (Create web site) created by
- URL should be http://vsl.cis.udel.edu/tass Prepare release, tar it …
- 23:29 Ticket #149 (Tech report) created by
- Post technical report with sketch of proofs and more detail.
01/08/10:
- 17:22 The MiniMP Intermediate Representation edited by
- (diff)
- 16:52 The MiniMP Intermediate Representation edited by
- (diff)
- 16:34 The MiniMP Intermediate Representation edited by
- (diff)
- 14:44 The MiniMP Intermediate Representation edited by
- (diff)
- 14:35 The MiniMP Intermediate Representation edited by
- (diff)
- 14:32 The MiniMP Language edited by
- (diff)
- 14:31 The MiniMP Language created by
- 14:31 WikiStart edited by
- (diff)
- 14:29 The MiniMP Intermediate Representation created by
- 14:29 WikiStart edited by
- (diff)
01/07/10:
12/31/09:
- 16:36 Ticket #148 (ClassCastException in dynamic package) created by
- When running the Laplace example as follows: […] A …
12/29/09:
- 23:09 Ticket #146 (add to front-end: e[i]) closed by
- fixed: Modification made. Now users can use the same way as array subscript …
- 02:30 Ticket #144 (Improvements to source text) closed by
- fixed: Fixed. The source information is more accurate now.
- 01:54 Ticket #145 (Add simplify method to SymUniverseIF) closed by
- fixed: Method added.
12/28/09:
- 23:07 Ticket #147 (write outline for CAV tool paper) created by
- Paper submitted.
- 23:05 Ticket #146 (add to front-end: e[i]) created by
-
Add to MiniMP language the following construct:
[…]
where
e… - 23:00 Ticket #145 (Add simplify method to SymUniverseIF) created by
- Need method in SymUniverseIF: […]
- 22:52 Ticket #55 (enhance JUnit tests) closed by
- fixed: Many new tests added. New tickets can be added as needed.
- 22:51 Ticket #118 (Weird failure in MatrixMultiplication test) closed by
- fixed: Working.
- 22:49 Ticket #129 (simplify compare problem in matmat) closed by
- fixed: Now working.
- 22:15 Ticket #141 (simplify error in diffusion1) closed by
- fixed: Yi fixed this in revision 1276.
- 12:20 Ticket #144 (Improvements to source text) created by
- This is all very minor but would improve the output a little. In a for …
- 00:53 Ticket #142 (Class cast exception in diffusion1) closed by
- fixed: Bug fixed in symbolic write expression and symbolic constant. They …
12/27/09:
- 20:59 Ticket #143 (source not set for allocate statements) closed by
- fixed: Fixed in model builder. Allocate and deallocate statements now have …
- 20:28 Ticket #143 (source not set for allocate statements) created by
- check deallocate statements too.
- 15:08 Ticket #142 (Class cast exception in diffusion1) created by
- There is a class cast exception in the symbolic package. This time I …
- 00:04 Ticket #140 (Pointer decl/initialization expression leads to NullPointerException ...) closed by
- fixed: Tests now pass after the recent fix from model module.
12/26/09:
- 22:21 Ticket #141 (simplify error in diffusion1) created by
- The current problem in diffusion1 happens in the simplify routine. I …
- 18:01 Ticket #137 (pointer addition not in grammar) closed by
- fixed: Fixed the ModelBuilder to use the correct method in model factory.
- 18:00 Ticket #93 (Add allocate and deallocate in the front end) closed by
- fixed: Statements added to the language and the front-end.
- 18:00 Ticket #138 (source not set for sub-expressions of array subscript expressions) closed by
- fixed: Fixed. The sub-expressions of an array subscript expression now have …
- 16:49 Ticket #123 (improve performance of hash and equality functions) closed by
- fixed: Done. Check out value package.
- 16:44 Ticket #135 (syntax error in diffusion1_par.mmp) closed by
- fixed: I'm working on this model. This problem has been corrected.
- 09:15 Ticket #140 (Pointer decl/initialization expression leads to NullPointerException ...) created by
- Pointer decl leads to NullPointerException in TreeParser. Added test …
- 09:10 Ticket #139 (running simpleRecordTest causes freeze) created by
- This is in simplePointerTest directory. The parser reports some …
Note:
See TracTimeline
for information about the timeline view.
