Timeline
03/01/10:
- 17:41 Ticket #172 (Add check for the -inputX=N options) created by
- In the command line options, the -inputX=N specifies the value of …
02/26/10:
- 16:16 Ticket #171 (Multiple improvements to binary release) created by
- Today I had George Avrunin download and run the TASS binary release …
- 16:04 Ticket #160 (Prepare "binary" release) closed by
- fixed: TIm has done it. New tickets can be filed if necessary to change …
02/22/10:
- 11:00 C Interface edited by
- (diff)
- 10:36 C Interface edited by
- (diff)
- 10:26 Accuracy edited by
- (diff)
02/18/10:
- 12:14 Ticket #170 (Add sizeof operator to front end) created by
-
Add to front end a new kind of expression
[…]
where
typecan … - 11:45 C Interface edited by
- (diff)
- 10:39 Ticket #159 (use exact rational arithmetic?) closed by
- fixed: Written and added package numbers for doing this.
- 10:18 Symbolic Expressions edited by
- (diff)
02/16/10:
- 12:01 Ticket #169 (front end and symbolic need to use BigRational, BigInteger) closed by
- fixed: Done. Check out the v1.0 branch.
02/15/10:
- 18:21 Ticket #164 (MiniMP language page needs to be fixed) closed by
- fixed: I have added the language description to minimp.html and checked it …
- 13:41 C Interface edited by
- (diff)
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)
Note:
See TracTimeline
for information about the timeline view.
