Timeline
02/14/10:
- 20:56 Ticket #163 (rationalize the command-line interface and class MiniMP) closed by
- fixed: Done.
- 16:02 Ticket #169 (front end and symbolic need to use BigRational, BigInteger) created by
- The front end and the symbolic modules need to be switched over to use …
02/13/10:
- 18:51 Symbolic Expressions edited by
- (diff)
- 18:33 Symbolic Expressions edited by
- (diff)
- 16:48 Symbolic Expressions edited by
- (diff)
- 16:19 Symbolic Expressions edited by
- (diff)
- 16:10 Symbolic Expressions edited by
- (diff)
- 15:52 Symbolic Expressions edited by
- (diff)
- 15:24 Symbolic Expressions edited by
- (diff)
- 12:31 Symbolic Expressions edited by
- (diff)
- 11:21 Symbolic Expressions edited by
- (diff)
- 01:22 Symbolic Expressions edited by
- (diff)
02/12/10:
- 23:41 Symbolic Expressions edited by
- (diff)
- 23:28 Symbolic Expressions edited by
- (diff)
- 22:41 Symbolic Expressions edited by
- (diff)
- 21:06 Symbolic Expressions edited by
- (diff)
- 21:05 Symbolic Expressions created by
- 21:05 WikiStart edited by
- (diff)
- 00:45 Accuracy edited by
- (diff)
- 00:20 C Interface edited by
- (diff)
- 00:04 Ticket #168 (Examples need to be parametrized) closed by
- fixed: I think I got all of them.
02/11/10:
02/10/10:
- 16:18 Ticket #168 (Examples need to be parametrized) created by
- Many of the examples still have multiple versions that differ only in …
- 14:28 Ticket #167 (Upload binaries) closed by
- fixed: Done.
02/09/10:
- 07:01 Ticket #167 (Upload binaries) created by
- The TASS binaries need to be uploaded to …
02/08/10:
02/07/10:
- 10:14 Things To Do edited by
- (diff)
- 10:03 Things To Do edited by
- (diff)
- 10:01 Things To Do edited by
- (diff)
02/06/10:
- 19:32 Ticket #166 (rename MiniMP-> TASS) closed by
- fixed: Everything seems to be working. Individual users may still have to …
- 19:28 WikiStart edited by
- (diff)
- 14:32 Ticket #166 (rename MiniMP-> TASS) created by
- Things that need to be renamed: All packages: edu.udel.cis.vsl.minimp …
- 13:10 Ticket #165 (need cast from int to real operation in symbolic package) reopened by
-
I'm getting the
CloneNotSupportedException. I am running the …
02/05/10:
- 01:05 Ticket #165 (need cast from int to real operation in symbolic package) closed by
- fixed: A method called intToRational() is added to SymUniverseIF to convert …
02/04/10:
- 21:59 Ticket #165 (need cast from int to real operation in symbolic package) created by
- I _think_ all this operation needs to do is take a symbolic expression …
- 18:02 Ticket #164 (MiniMP language page needs to be fixed) created by
- http://vsl.cis.udel.edu/tass/minimp.html Right now it is just a list …
- 11:50 Ticket #151 (Fib example gets wrong answer) closed by
- fixed: Bug fixed. The enabler can generate correct transitions now.
- 00:50 Ticket #157 (tuple support in symbolic universe incomplete) closed by
- fixed: tuple read and tuple write expression classes added to the symbolic …
02/02/10:
- 21:52 Ticket #162 (Add unit test tree) closed by
- fixed: Test tree added and incorporated into JUnit and Cobertura runs. Now …
- 08:35 Things To Do edited by
- (diff)
02/01/10:
- 11:36 Ticket #163 (rationalize the command-line interface and class MiniMP) created by
- The command line interface should be changed to be more consistent. …
- 11:29 Ticket #162 (Add unit test tree) created by
- Add a directory "test" which contains unit tests for the source. The …
- 10:36 Ticket #161 (Automatic performance analysis) created by
- Tim figured out how to use an OS X tool to get performance information …
- 10:30 Ticket #160 (Prepare "binary" release) created by
- We need a binary release that makes it as easy as possible for someone …
- 10:26 Ticket #159 (use exact rational arithmetic?) created by
- Is there a package out there for doing exact rational arithmetic? (If …
- 10:23 Ticket #158 (implement garbage collection) created by
- 09:54 C Interface edited by
- (diff)
- 09:54 C Interface edited by
- (diff)
- 09:51 C Interface edited by
- (diff)
- 09:43 C Interface created by
- 09:38 WikiStart edited by
- (diff)
- 00:26 Things To Do edited by
- (diff)
- 00:24 Things To Do edited by
- (diff)
01/31/10:
- 21:07 Ticket #115 (Laplace test errors) closed by
- fixed
- 19:37 Ticket #157 (tuple support in symbolic universe incomplete) created by
-
The following code in the
SymUniverseassumes that an expression … - 15:18 Things To Do edited by
- (diff)
01/30/10:
- 23:41 Ticket #155 (Better error reporting from parser needed) closed by
- fixed: Added a SyntaxError class in the parser package to report parser errors.
- 23:40 Ticket #156 (ClassCastException in TreeParser) closed by
- fixed: I modified the tree parser to handle the mixed situation. It doesn't …
- 14:27 Things To Do edited by
- (diff)
- 14:14 Things To Do edited by
- (diff)
- 14:12 Things To Do edited by
- (diff)
- 13:35 Things To Do edited by
- (diff)
- 08:43 Ticket #156 (ClassCastException in TreeParser) created by
- Attempting to run laplace.Laplace1Test, I get this exception. Not …
- 08:36 Ticket #155 (Better error reporting from parser needed) created by
- It would be nice if this exception from give the name of the file. …
- 08:34 Ticket #152 (front end does not parse certain type expressions) closed by
- fixed: Fixed. Just needed to make null simplify to null. Will create new …
01/29/10:
- 12:35 Things To Do edited by
- (diff)
- 12:18 Ticket #154 (create package-level javadocs) created by
- For each package, create a file package.html with an overview of that …
- 11:11 Ticket #95 (improvements to symbolic package) closed by
- wontfix
- 11:04 Ticket #153 (implement XML representation of model) created by
- Complete the job started by Yi of designing an XML scheme representing …
- 11:00 WikiStart edited by
- (diff)
01/28/10:
01/27/10:
- 22:16 Ticket #152 (front end does not parse certain type expressions) created by
- Neither of the following can be parsed: […] In the first case I …
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.
Note:
See TracTimeline
for information about the timeline view.
