Context Navigation

Timeline

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 …

10:00 Ticket #132 (Need to shut down the dynamic factory when it is not in use) closed by Stephen Siegel: fixed: Fixed. The problem was in the verification utility class that is used …

15:33 Ticket #132 (Need to shut down the dynamic factory when it is not in use) created by ywei: Some dynamic factories in the program never have the shutdown() method …

20:53 Ticket #131 (Extra assumptions in implementation not used) closed by Stephen Siegel: fixed: Fixed. Wrote new code to check for compatibility and added this to a …
10:24 Ticket #131 (Extra assumptions in implementation not used) created by zirkel: When the implementation has inputs that are not in the specification, …
10:19 Ticket #119 (Errors in diffusion tests) closed by zirkel: fixed: Original errors were fixed. Current errors are caused by a problem …

18:40 Ticket #130 (simpleArrayTest failure) closed by ywei: fixed: Bug fixed, the test now passes.
15:29 Ticket #130 (simpleArrayTest failure) created by Stephen Siegel: ...on compare/simplify
15:28 Ticket #129 (simplify compare problem in matmat) created by Stephen Siegel: Matmat tests now failing on compare simplify configs.

16:42 Ticket #128 (Assume implementation error) closed by Stephen Siegel: fixed: I changed the guard on the assume statement from true to the assume …
14:02 Ticket #128 (Assume implementation error) created by zirkel: DFS does not backtrack when an assumption makes a condition false. …
02:03 Ticket #125 (add line number for "implicit return") closed by ywei: fixed: Source information changed.

Note: See TracTimeline for information about the timeline view.