Context Navigation

Timeline

16:31 Ticket #102 (add concrete versions of primitive and array values) closed by Stephen Siegel: wontfix: This would be better handled by keeping the concrete values in the …
16:28 WikiStart edited by Stephen Siegel: (diff)
16:23 Things To Do edited by Stephen Siegel: (diff)
14:02 Ticket #151 (Fib example gets wrong answer) created by Stephen Siegel: The Fibonacci example has a "bad" implementation which is not …
13:24 Ticket #148 (ClassCastException in dynamic package) closed by Stephen Siegel: fixed: Fixed by Yi earlier.
12:01 Ticket #17 (implement verify.loop) closed by Stephen Siegel: fixed: Done by Yi. Some bugs seem to remain. Separate tickets will be …
12:00 Ticket #94 (Update svn server) closed by Stephen Siegel: fixed: Done. Taken care of by EECIS staff.
11:59 Ticket #149 (Tech report) closed by Stephen Siegel: fixed: Done, but a lot of improvement is possible.
11:59 Ticket #150 (Create web site) closed by Stephen Siegel: fixed: Done. Web site is http://vsl.cis.udel.edu/tass
11:58 Ticket #147 (write outline for CAV tool paper) closed by Stephen Siegel: fixed
11:57 Things To Do edited by Stephen Siegel: (diff)
11:57 Things To Do created by Stephen Siegel
11:52 WikiStart edited by Stephen Siegel: (diff)
11:51 WikiStart edited by Stephen Siegel: (diff)

23:31 Ticket #150 (Create web site) created by Stephen Siegel: URL should be http://vsl.cis.udel.edu/tass Prepare release, tar it …
23:29 Ticket #149 (Tech report) created by Stephen Siegel: Post technical report with sketch of proofs and more detail.

16:36 Ticket #148 (ClassCastException in dynamic package) created by zirkel: When running the Laplace example as follows: […] A …

23:09 Ticket #146 (add to front-end: e[i]) closed by ywei: fixed: Modification made. Now users can use the same way as array subscript …
02:30 Ticket #144 (Improvements to source text) closed by ywei: fixed: Fixed. The source information is more accurate now.
01:54 Ticket #145 (Add simplify method to SymUniverseIF) closed by ywei: fixed: Method added.

23:07 Ticket #147 (write outline for CAV tool paper) created by Stephen Siegel: Paper submitted.
23:05 Ticket #146 (add to front-end: e[i]) created by Stephen Siegel: Add to MiniMP language the following construct: […] where e …
23:00 Ticket #145 (Add simplify method to SymUniverseIF) created by Stephen Siegel: Need method in SymUniverseIF: […]
22:52 Ticket #55 (enhance JUnit tests) closed by Stephen Siegel: fixed: Many new tests added. New tickets can be added as needed.
22:51 Ticket #118 (Weird failure in MatrixMultiplication test) closed by Stephen Siegel: fixed: Working.
22:49 Ticket #129 (simplify compare problem in matmat) closed by Stephen Siegel: fixed: Now working.
22:15 Ticket #141 (simplify error in diffusion1) closed by Stephen Siegel: fixed: Yi fixed this in revision 1276.
12:20 Ticket #144 (Improvements to source text) created by Stephen Siegel: 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 ywei: fixed: Bug fixed in symbolic write expression and symbolic constant. They …

20:59 Ticket #143 (source not set for allocate statements) closed by ywei: fixed: Fixed in model builder. Allocate and deallocate statements now have …
20:28 Ticket #143 (source not set for allocate statements) created by Stephen Siegel: check deallocate statements too.
15:08 Ticket #142 (Class cast exception in diffusion1) created by Stephen Siegel: 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 ywei: fixed: Tests now pass after the recent fix from model module.

22:21 Ticket #141 (simplify error in diffusion1) created by Stephen Siegel: The current problem in diffusion1 happens in the simplify routine. I …
18:01 Ticket #137 (pointer addition not in grammar) closed by ywei: 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 ywei: 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 ywei: 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 Stephen Siegel: fixed: Done. Check out value package.
16:44 Ticket #135 (syntax error in diffusion1_par.mmp) closed by Stephen Siegel: 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 Stephen Siegel: Pointer decl leads to NullPointerException in TreeParser. Added test …
09:10 Ticket #139 (running simpleRecordTest causes freeze) created by Stephen Siegel: This is in simplePointerTest directory. The parser reports some …

22:17 Ticket #138 (source not set for sub-expressions of array subscript expressions) created by Stephen Siegel: If you take the following model simpleArray3.mmp: […] when …
21:45 Ticket #137 (pointer addition not in grammar) created by Stephen Siegel: Parsing […] yields: […] An addition expression may involve one …
20:42 Ticket #136 (Pointer type not parsed in formal parameter list) closed by ywei: fixed: Fixed. I forgot to add the pointer feature to the argument …
20:10 Ticket #134 (arithmetic parsing error) closed by ywei: fixed: Fixed. The binary operators now are left associative as they should be.
13:48 Ticket #136 (Pointer type not parsed in formal parameter list) created by Stephen Siegel: Something like […] yields this error: […]
00:21 Ticket #133 (null pointer exception in model builder) closed by ywei: fixed: Forgot to close the ticket.

19:07 Ticket #135 (syntax error in diffusion1_par.mmp) created by ywei: In diffusion1_par.mmp, there is a syntax error. On line 15, a real …
13:31 Ticket #134 (arithmetic parsing error) created by Stephen Siegel: An expression of the form a-b+c gets parsed as a-(b+c): {{{int m = …
13:02 Ticket #133 (null pointer exception in model builder) created by Stephen Siegel: […] Here's the relevant code: […] I'm trying to check in the …

Note: See TracTimeline for information about the timeline view.