__group__ ticket summary component status resolution version type priority owner modified _time _reporter milestone2 313 reimplement state as value multiple new enhancement major Stephen Siegel 2011-07-20T08:32:27-04:00 11:44:08-04:00 Stephen Siegel Release 1.0 161 Automatic performance analysis Administration accepted 1.0 task major zirkel 2010-07-09T12:52:35-04:00 10:36:36-05:00 Stephen Siegel Release 1.0 181 Add derivative support to frontend front accepted 1.0 task major zirkel 2010-05-21T11:17:40-04:00 14:48:17-04:00 zirkel Release 1.0 183 Verify derivative example using manual insertion of Taylor theorem examples new 1.0 enhancement major zirkel 2010-04-23T15:16:12-04:00 15:16:12-04:00 zirkel Release 1.0 202 installation from source Administration new 1.0 task major 2010-05-15T09:44:29-04:00 09:44:29-04:00 Stephen Siegel Release 1.0 211 don't check for deadlocked states when not necessary verify new 1.0 enhancement major 2010-05-27T21:07:52-04:00 21:07:52-04:00 Stephen Siegel Release 1.0 239 store malloc statements in heap multiple accepted 1.0 enhancement major Stephen Siegel 2010-07-09T10:18:49-04:00 23:33:34-04:00 Stephen Siegel Release 1.0 232 checkSat multiple new 1.0 enhancement minor 2010-06-24T10:42:57-04:00 10:42:57-04:00 Stephen Siegel Release 1.0 208 Separate pragma parsing out of language parser and put it into model builder front closed wontfix 1.0 enhancement major bperry 2011-06-18T12:34:33-04:00 11:22:27-04:00 ywei Release 1.0 206 Formal grammar for assertion and joint invariant language XML closed wontfix 1.0 task major bperry 2011-06-18T12:33:40-04:00 11:36:24-04:00 zirkel Release 1.0 247 add guard expression to system function front closed fixed 1.0 enhancement major zirkel 2010-08-30T14:32:15-04:00 11:03:41-04:00 Stephen Siegel Release 1.0 221 Cannot declare multiple variables on one line in .mmp front closed fixed 1.0 enhancement minor zirkel 2010-08-02T23:53:25-04:00 12:38:06-04:00 dfix Release 1.0 254 web page: bad example Publicity closed fixed 1.0 defect major dfix 2010-07-16T08:49:56-04:00 13:01:23-04:00 Stephen Siegel Release 1.0 250 Make release 1.0 Administration closed fixed 1.0 task major zirkel 2010-07-13T17:16:10-04:00 18:44:43-04:00 Stephen Siegel Release 1.0 243 forall example needs accompanying JUnit test test closed fixed 1.0 task major bperry 2010-07-13T12:52:02-04:00 08:48:48-04:00 Stephen Siegel Release 1.0 244 shadow variables handled incorrectly front closed fixed 1.0 defect major zirkel 2010-07-12T18:41:53-04:00 10:25:06-04:00 Stephen Siegel Release 1.0 245 implement count correctly in MPI point-to-point ops None closed fixed 1.0 defect major Stephen Siegel 2010-07-12T18:41:25-04:00 12:50:12-04:00 Stephen Siegel Release 1.0 248 add message to TASS assert multiple closed fixed 1.0 enhancement major zirkel 2010-07-12T18:40:39-04:00 15:50:50-04:00 Stephen Siegel Release 1.0 240 free requires LHS expression in model builder front closed fixed 1.0 defect major zirkel 2010-07-12T11:52:18-04:00 09:49:35-04:00 Stephen Siegel Release 1.0 246 Foo function square no make sense Administration closed fixed 1.0 defect major zirkel 2010-07-12T08:45:56-04:00 15:21:20-04:00 Stephen Siegel Release 1.0 220 No null constant value symbolic closed fixed 1.0 enhancement major Stephen Siegel 2010-07-12T08:26:11-04:00 12:33:31-04:00 dfix Release 1.0 238 source text for implicit return is empty front closed fixed 1.0 defect minor bperry 2010-07-09T13:40:47-04:00 23:31:46-04:00 Stephen Siegel Release 1.0 237 reduce output from tests test closed fixed 1.0 task major dfix 2010-07-09T12:33:28-04:00 09:04:08-04:00 Stephen Siegel Release 1.0 241 add assert to grammar front closed fixed 1.0 enhancement major ywei 2010-07-09T12:25:20-04:00 08:10:23-04:00 Stephen Siegel Release 1.0 242 problem with negative constants front closed fixed 1.0 defect major bperry 2010-07-09T12:04:12-04:00 19:50:38-04:00 Stephen Siegel Release 1.0 122 add option to not stop after finding violation verify closed fixed 1.0 enhancement major 2010-07-05T23:18:56-04:00 13:02:18-05:00 Stephen Siegel Release 1.0 229 Improve ExecutionException multiple closed fixed 1.0 enhancement major Stephen Siegel 2010-07-05T23:17:31-04:00 12:17:36-04:00 Stephen Siegel Release 1.0 236 source not getting set for malloc front closed fixed 1.0 defect major zirkel 2010-07-02T11:59:41-04:00 19:55:57-04:00 Stephen Siegel Release 1.0 231 add casts between pointer types multiple closed fixed 1.0 enhancement major zirkel 2010-07-01T19:56:33-04:00 10:04:42-04:00 Stephen Siegel Release 1.0 234 Parser Test fail on MPI_Init front closed fixed 1.0 defect major zirkel 2010-06-30T14:44:46-04:00 09:03:24-04:00 Stephen Siegel Release 1.0 175 Add sizeof expression to model package model closed fixed 1.0 defect major zirkel 2010-06-29T09:15:01-04:00 18:46:25-04:00 ywei Release 1.0 184 Make library framework None closed fixed 1.0 enhancement major zirkel 2010-06-27T10:52:02-04:00 11:56:06-04:00 zirkel Release 1.0 233 change grammar and examples to C notation multiple closed fixed 1.0 enhancement major 2010-06-26T14:00:29-04:00 11:20:20-04:00 Stephen Siegel Release 1.0 218 Failure in GradeCount loop test examples closed fixed 1.0 defect major ywei 2010-06-26T09:56:48-04:00 14:01:06-04:00 Stephen Siegel Release 1.0 230 null pointer exception in return statement front closed fixed 1.0 defect major ywei 2010-06-23T18:11:08-04:00 22:47:50-04:00 Stephen Siegel Release 1.0 219 Cannot use -> on left hand of assignment in .mmp files examples closed fixed 1.0 defect minor Stephen Siegel 2010-06-22T12:15:19-04:00 12:26:50-04:00 dfix Release 1.0 225 EvaluatedFunction not used dynamic closed fixed 1.0 defect major zirkel 2010-06-21T22:43:12-04:00 18:56:07-04:00 Stephen Siegel Release 1.0 228 Error reporting issue when parsing .mmp file. examples closed fixed 1.0 defect major 2010-06-21T22:41:12-04:00 13:55:21-04:00 dfix Release 1.0 226 heap canonicalization does not report leaks state closed fixed 1.0 defect major Stephen Siegel 2010-06-19T15:38:24-04:00 11:06:30-04:00 Stephen Siegel Release 1.0 227 Parser error when declaring a pointer and assigning it memory with malloc on same line. examples closed invalid 1.0 defect major 2010-06-18T23:58:03-04:00 14:03:20-04:00 dfix Release 1.0 223 Parser error with pointer manipulation in .mmp file examples closed invalid 1.0 defect major 2010-06-18T23:54:08-04:00 15:32:19-04:00 dfix Release 1.0 222 Infinite loop with pointer usage in .mmp file examples closed fixed 1.0 defect major 2010-06-18T23:30:57-04:00 15:28:39-04:00 dfix Release 1.0 212 move auto tests to anton test closed fixed 1.0 task major zirkel 2010-06-18T14:23:06-04:00 08:21:54-04:00 Stephen Siegel Release 1.0 158 implement garbage collection semantics closed fixed 1.0 task major Stephen Siegel 2010-06-17T11:29:39-04:00 10:23:33-05:00 Stephen Siegel Release 1.0 224 Free fails when used on a struct pointer. examples closed invalid 1.0 defect major 2010-06-15T16:10:14-04:00 16:02:28-04:00 dfix Release 1.0 201 source release Administration closed fixed 1.0 defect major zirkel 2010-06-12T09:08:22-04:00 09:19:18-04:00 Stephen Siegel Release 1.0 214 Simplifier: x=y && y=2 does not simplify correctly on x symbolic closed fixed 1.0 enhancement major Stephen Siegel 2010-06-11T16:35:51-04:00 12:28:32-04:00 dfix Release 1.0 216 Simplifier: improper simplification when simplifying on an implication symbolic closed fixed 1.0 defect major zirkel 2010-06-10T17:57:34-04:00 14:55:38-04:00 dfix Release 1.0 215 Discrepency when simplifying using reals vs integers dynamic closed fixed 1.0 defect major zirkel 2010-06-10T14:20:50-04:00 12:39:27-04:00 dfix Release 1.0 198 PointerTest: record test has infinite recursion dynamic closed fixed 1.0 defect major Stephen Siegel 2010-06-07T23:57:17-04:00 12:42:22-04:00 Stephen Siegel Release 1.0 205 Extend evaluateLiteral in Evaluator to support records, arrays, and characters semantics closed fixed 1.0 enhancement major zirkel 2010-06-03T09:04:05-04:00 11:13:20-04:00 zirkel Release 1.0 209 Add support for APPLY operation in CVC3TheoremProver prove closed fixed 1.0 defect major ywei 2010-05-24T16:01:58-04:00 11:23:43-04:00 ywei Release 1.0 207 Add support for APPLY to CVC3TheoremProver prove closed fixed 1.0 task major 2010-05-24T13:13:01-04:00 11:19:08-04:00 zirkel Release 1.0 204 Allow array type variables to have initialization model closed fixed 1.0 defect major ywei 2010-05-24T13:11:55-04:00 19:13:37-04:00 ywei Release 1.0 203 Add support for record and array literal expressions to the front-end front closed fixed 1.0 enhancement major ywei 2010-05-24T13:11:03-04:00 13:13:24-04:00 zirkel Release 1.0 200 compilation error in model module model closed fixed 1.0 defect major zirkel 2010-05-15T10:18:05-04:00 09:12:04-04:00 Stephen Siegel Release 1.0 199 CVC3 prover does not handle MODULO prove closed fixed 1.0 defect major ywei 2010-05-12T21:01:49-04:00 23:38:49-04:00 Stephen Siegel Release 1.0 197 linear time membership test in loop module verify closed fixed 1.0 defect major 2010-05-10T11:24:16-04:00 23:14:26-04:00 Stephen Siegel Release 1.0 194 nestedLoops: inconclusive result in v1.0 examples closed fixed 1.0 defect major ywei 2010-05-09T00:15:42-04:00 09:54:26-04:00 Stephen Siegel Release 1.0 190 Add list of abstract functions to XML representation of model XML closed fixed 1.0 enhancement major bperry 2010-05-08T19:00:16-04:00 11:32:44-04:00 zirkel Release 1.0 195 missing diffusion_par.mmp examples closed fixed 1.0 defect major 2010-05-08T18:16:57-04:00 10:56:21-04:00 Stephen Siegel Release 1.0 196 source still too big front closed fixed 1.0 defect minor ywei 2010-05-08T18:13:06-04:00 11:02:56-04:00 Stephen Siegel Release 1.0 171 Multiple improvements to binary release Administration closed fixed enhancement major zirkel 2010-05-07T15:02:12-04:00 16:16:20-05:00 Stephen Siegel Release 1.0 193 source text for loop too big front closed fixed 1.0 defect minor ywei 2010-05-04T22:12:54-04:00 21:49:14-04:00 Stephen Siegel Release 1.0 192 string index error in parser front closed fixed 1.0 defect major ywei 2010-05-04T21:21:52-04:00 21:05:57-04:00 Stephen Siegel Release 1.0 191 source text not set correctly front closed fixed 1.0 defect minor ywei 2010-05-04T14:53:56-04:00 11:27:01-04:00 Stephen Siegel Release 1.0 189 Another illegal argument exception in AdderTest symbolic closed fixed 1.0 defect major Stephen Siegel 2010-05-03T23:08:34-04:00 09:14:20-04:00 ywei Release 1.0 179 NullPointerException in DynamicFactory constructor verify closed worksforme 1.0 defect major Stephen Siegel 2010-05-03T11:38:47-04:00 11:01:52-04:00 zirkel Release 1.0 188 Illegal argument exception in AdderTest symbolic closed fixed 1.0 defect major Stephen Siegel 2010-05-03T09:04:29-04:00 23:43:59-04:00 ywei Release 1.0 187 Array out of bound exception in AdderTest symbolic closed fixed 1.0 defect major ywei 2010-05-02T23:41:49-04:00 21:40:01-04:00 ywei Release 1.0 186 null pointer exception from CVC3 prover prove closed fixed 1.0 defect major ywei 2010-05-02T21:36:57-04:00 18:33:45-04:00 Stephen Siegel Release 1.0 180 When abstract functions are created, the continuity should be saved front closed fixed 1.0 defect major zirkel 2010-05-02T19:45:09-04:00 14:47:19-04:00 zirkel Release 1.0 165 need cast from int to real operation in symbolic package symbolic closed fixed 1.0 enhancement major ywei 2010-04-23T14:53:55-04:00 21:59:16-05:00 Stephen Siegel Release 1.0 176 longName() method in PointerType class may cause stack overflow model closed fixed 1.0 defect major Stephen Siegel 2010-04-23T14:51:21-04:00 22:22:24-04:00 ywei Release 1.0 170 Add sizeof operator to front end front closed fixed 1.0 enhancement major ywei 2010-03-07T16:16:11-05:00 12:14:46-05:00 Stephen Siegel Release 1.0 160 "Prepare ""binary"" release" Administration closed fixed 1.0 task critical zirkel 2010-02-26T16:04:33-05:00 10:30:34-05:00 Stephen Siegel Release 1.0 159 use exact rational arithmetic? multiple closed fixed 1.0 enhancement major 2010-02-18T10:39:12-05:00 10:26:51-05:00 Stephen Siegel Release 1.0 169 front end and symbolic need to use BigRational, BigInteger multiple closed fixed 1.0 task major ywei 2010-02-16T12:01:08-05:00 16:02:29-05:00 Stephen Siegel Release 1.0 164 MiniMP language page needs to be fixed Documentation closed fixed 1.0 task major ywei 2010-02-15T18:21:35-05:00 18:02:52-05:00 Stephen Siegel Release 1.0 163 rationalize the command-line interface and class MiniMP User Interface closed fixed 1.0 enhancement major ywei 2010-02-14T20:56:58-05:00 11:36:16-05:00 Stephen Siegel Release 1.0 168 Examples need to be parametrized examples closed fixed 1.0 task major 2010-02-12T00:04:35-05:00 16:18:57-05:00 Stephen Siegel Release 1.0 166 rename MiniMP-> TASS Administration closed fixed 1.0 task major 2010-02-06T19:32:03-05:00 14:32:26-05:00 Stephen Siegel Release 1.0 157 tuple support in symbolic universe incomplete symbolic closed fixed 1.0 defect major ywei 2010-02-04T00:50:53-05:00 19:37:22-05:00 Stephen Siegel Release 1.0 162 Add unit test tree test closed fixed 1.0 task major 2010-02-02T21:52:47-05:00 11:29:05-05:00 Stephen Siegel Release 1.0 155 Better error reporting from parser needed Administration closed fixed 1.0 enhancement minor ywei 2010-01-30T23:41:31-05:00 08:36:31-05:00 Stephen Siegel Release 1.0 156 ClassCastException in TreeParser front closed fixed 1.0 defect major ywei 2010-01-30T23:40:54-05:00 08:43:42-05:00 Stephen Siegel 1.1 274 add support for skew factors in collective assertions/invariants multiple new 1.1 task major zirkel 2010-09-15T10:22:08-04:00 10:22:08-04:00 Stephen Siegel 1.1 275 modify arrays in examples to use new #define input feature examples new 1.1 defect major bperry 2010-09-15T10:52:40-04:00 10:52:40-04:00 Stephen Siegel 1.1 278 array literal parse problems in TreeParser front new 1.1 defect major 2010-12-18T23:16:03-05:00 23:16:03-05:00 Stephen Siegel 1.1 294 Implement XML representation of TASS AST Administration accepted 1.1 task major stachnik 2011-07-03T19:59:04-04:00 12:41:18-04:00 Stephen Siegel 1.1 295 augment continuity options multiple new 1.1 enhancement major zirkel 2011-06-20T10:50:58-04:00 12:45:36-04:00 Stephen Siegel 1.1 297 expressions are not statements ast assigned 1.1 defect major stachnik 2011-07-16T08:51:12-04:00 17:15:20-04:00 Stephen Siegel 1.1 326 Add source information to pragma nodes and variable declarations clang new defect major tmcclory 2011-10-26T13:19:00-04:00 16:35:58-04:00 zirkel 1.1 330 Add structs to XML output clang new 1.1 defect major tmcclory 2011-11-02T14:03:01-04:00 14:03:01-04:00 tmcclory 1.1 269 move newCollectiveAssertion to ModelFactory model new 1.1 enhancement minor 2010-09-04T14:35:32-04:00 14:35:32-04:00 Stephen Siegel 1.1 281 parser rejects abstract functions which return arrays front closed fixed 1.1 defect major 2012-01-02T11:57:02-05:00 15:08:01-05:00 Stephen Siegel 1.1 316 Add representation of comma operator to AST ast closed fixed 1.1 defect major stachnik 2011-08-23T09:41:25-04:00 12:10:02-04:00 stachnik 1.1 311 Add print method to AbstractSyntaxTreeIF ast closed fixed 1.1 enhancement minor stachnik 2011-08-03T10:24:36-04:00 18:18:20-04:00 Stephen Siegel 1.1 310 AST Parser: Print filename when reporting error ast closed fixed 1.1 enhancement minor stachnik 2011-08-02T11:14:56-04:00 17:57:02-04:00 Stephen Siegel 1.1 315 Set source file when constructing AST nodes ast closed fixed 1.1 defect major stachnik 2011-07-28T10:51:48-04:00 09:51:51-04:00 zirkel 1.1 280 two return locations front closed fixed 1.1 defect major 2011-07-28T02:13:06-04:00 12:13:07-05:00 Stephen Siegel 1.1 301 AST root node: override child ast closed fixed 1.1 enhancement major zirkel 2011-07-28T02:09:26-04:00 19:25:05-04:00 Stephen Siegel 1.1 296 add AST type: Vector ast closed fixed 1.1 enhancement major stachnik 2011-07-25T11:44:32-04:00 13:59:37-04:00 Stephen Siegel 1.1 312 remove extraneous printing of AST ast closed fixed 1.1 defect minor stachnik 2011-07-25T11:33:13-04:00 18:22:20-04:00 Stephen Siegel 1.1 317 failure on example.c multiple closed fixed 1.1 defect major 2011-07-25T11:21:55-04:00 20:05:58-04:00 Stephen Siegel 1.1 314 ArrayIndexOutOfBoundsException in morph (via state) state closed fixed 1.1 defect major Stephen Siegel 2011-07-17T16:22:02-04:00 18:00:02-04:00 zirkel 1.1 235 variadic formals multiple closed fixed 1.1 enhancement major Stephen Siegel 2011-07-16T08:56:30-04:00 10:55:21-04:00 bperry 1.1 303 make invocation of clang parser portable User Interface closed fixed 1.1 defect minor 2011-07-15T18:07:58-04:00 21:09:54-04:00 Stephen Siegel 1.1 302 add insertChild method in SequenceNodeIF ast closed fixed 1.1 enhancement major zirkel 2011-07-08T12:55:33-04:00 19:51:32-04:00 Stephen Siegel 1.1 298 "change method names in ast package involving ""name""" ast closed fixed 1.1 enhancement minor zirkel 2011-07-07T14:20:29-04:00 15:33:16-04:00 Stephen Siegel 1.1 299 TypeReferenceNodeIF should extend TypeNodeIF ast closed fixed 1.1 defect major zirkel 2011-07-07T14:02:57-04:00 08:08:21-04:00 Stephen Siegel 1.1 300 change type in AST factory composite node method Administration closed fixed 1.1 defect major zirkel 2011-07-07T12:06:15-04:00 09:06:49-04:00 Stephen Siegel 1.1 288 Support arbitrary nested scopes model closed fixed 1.1 enhancement major Stephen Siegel 2011-06-18T12:28:15-04:00 22:39:25-04:00 zirkel 1.1 284 Grammar ignore front closed fixed 1.1 enhancement major zirkel 2011-04-07T22:24:42-04:00 12:05:26-04:00 Stephen Siegel 1.1 292 bug when initializing multiple variables in one decl front closed fixed 1.1 defect critical Stephen Siegel 2011-04-07T22:05:14-04:00 17:54:36-04:00 Stephen Siegel 1.1 282 Null pointer exception in TreeParser: fcn front closed fixed 1.1 defect major zirkel 2011-04-01T02:27:36-04:00 22:15:44-04:00 Stephen Siegel 1.1 249 Change signature of main to be consistent with C examples closed fixed 1.1 task major Stephen Siegel 2010-12-28T15:27:11-05:00 14:35:58-04:00 zirkel 1.1 279 string parse error in TreeParser front closed fixed 1.1 defect major zirkel 2010-12-20T10:51:40-05:00 01:13:35-05:00 Stephen Siegel 1.1 268 no extra locations for collective assertions... front closed fixed 1.1 defect major zirkel 2010-10-20T00:53:44-04:00 09:56:50-04:00 Stephen Siegel 1.1 276 parser test failure front closed fixed 1.1 defect major zirkel 2010-10-19T23:32:47-04:00 13:48:41-04:00 Stephen Siegel 1.1 252 expand grammar for #define constants front closed fixed 1.1 enhancement major zirkel 2010-09-28T01:12:02-04:00 22:30:05-04:00 Stephen Siegel 1.1 270 implement local variable refs in collectives assertions front closed fixed 1.1 task major zirkel 2010-09-22T11:11:54-04:00 15:48:38-04:00 Stephen Siegel 1.1 272 Regular invariant not being added correctly front closed fixed 1.1 defect major zirkel 2010-09-07T21:09:13-04:00 15:08:15-04:00 Stephen Siegel 1.1 271 Cobertura report generation down scripts closed fixed 1.1 defect major 2010-09-06T22:04:50-04:00 10:26:02-04:00 Stephen Siegel 1.1 265 ModelBuilder runtime exception front closed fixed 1.1 defect major zirkel 2010-08-31T22:01:16-04:00 12:44:19-04:00 Stephen Siegel 1.1 264 null pointer exception in TreeParser using collective assert front closed fixed 1.1 defect major zirkel 2010-08-30T14:29:25-04:00 12:13:59-04:00 Stephen Siegel 1.1 266 diffusion/ghost: no main function? front closed fixed 1.1 defect major 2010-08-30T14:27:43-04:00 12:55:02-04:00 Stephen Siegel 1.1 267 collective assertion not getting added to model in unbalanced1.c front closed fixed 1.1 defect major zirkel 2010-08-30T14:26:58-04:00 22:27:20-04:00 Stephen Siegel 1.1 261 Add support for #define input variables front closed fixed 1.1 enhancement major zirkel 2010-08-17T02:44:03-04:00 15:15:27-04:00 zirkel 1.1 253 Improve syntax exception reporting front closed fixed 1.1 defect major bperry 2010-07-29T14:08:19-04:00 12:54:52-04:00 Stephen Siegel 1.1 260 parser test failures front closed fixed 1.1 defect major zirkel 2010-07-29T09:55:47-04:00 07:50:03-04:00 Stephen Siegel 1.1 251 initializing null pointer variable front closed fixed 1.1 defect major zirkel 2010-07-28T12:00:08-04:00 22:27:10-04:00 Stephen Siegel 1.1 256 Fix UI printout of revision number Administration closed fixed 1.1 defect major Stephen Siegel 2010-07-27T15:15:35-04:00 11:30:26-04:00 zirkel 1.1 258 TASS latest release contains tilde file Administration closed fixed 1.1 defect major zirkel 2010-07-27T12:20:35-04:00 12:01:22-04:00 Stephen Siegel 1.0.1 257 get rid of all compiler warnings multiple closed fixed 1.0.1 defect major zirkel 2010-08-04T17:13:08-04:00 09:05:19-04:00 Stephen Siegel 1.0.1 255 lib path wrong lib closed fixed 1.0.1 defect major zirkel 2010-07-16T08:51:31-04:00 05:32:44-04:00 Stephen Siegel 49 add primitive MPI-like communication operations to model model new 1.0 enhancement major Stephen Siegel 2009-08-26T20:00:27-04:00 20:00:27-04:00 Stephen Siegel 328 Generate Human-Readable Description of XML Schema XML new task major stachnik 2011-10-19T15:20:21-04:00 15:20:21-04:00 stachnik 331 Finish AST Module Implementation ast new task major stachnik 2011-11-02T17:09:09-04:00 17:09:09-04:00 stachnik 88 compile set of CVC3 problems we want solved Administration new task minor 2009-10-31T12:40:06-04:00 12:40:06-04:00 Stephen Siegel 154 create package-level javadocs multiple accepted 1.0 task minor Stephen Siegel 2011-06-18T12:37:41-04:00 12:18:15-05:00 Stephen Siegel 332 VariableReferenceNode names aren't getting set ast new defect minor stachnik 2012-01-04T14:48:41-05:00 14:48:41-05:00 zirkel 334 Simplification of function application symbolic closed fixed defect major 2012-02-02T12:35:14-05:00 11:53:22-05:00 zirkel 333 Bug in MorphicSet.contains()? morph closed fixed defect major Stephen Siegel 2012-01-31T15:54:21-05:00 15:43:37-05:00 zirkel 319 Add Support for Multiple Inheritance to XML Schema XML closed fixed defect major stachnik 2011-11-02T15:19:59-04:00 09:36:50-04:00 stachnik 329 Generate Human-Readable Description of XML Schema XML closed duplicate task major stachnik 2011-11-02T15:15:48-04:00 15:20:21-04:00 stachnik 323 Array Extents Not Specified in Clang Output clang closed fixed defect major tmcclory 2011-10-26T13:00:34-04:00 23:32:41-04:00 stachnik 327 Add key-value annotations to AST nodes ast closed fixed enhancement major stachnik 2011-10-19T15:06:06-04:00 15:42:10-04:00 zirkel 325 Set source for implicit return. ast2model closed fixed 1.1 enhancement major zirkel 2011-10-06T16:33:29-04:00 16:52:07-04:00 zirkel 285 Automatically cast arrays to pointer expressions ast2model closed fixed enhancement major zirkel 2011-10-06T15:52:06-04:00 22:28:42-04:00 zirkel 324 Add source information to function body clang closed fixed 1.1 enhancement major tmclory 2011-10-05T16:59:50-04:00 16:50:58-04:00 zirkel 320 PragmaNodes should be GlobalScopeNodes ast closed fixed defect major stachnik 2011-10-05T13:58:01-04:00 15:15:36-04:00 stachnik 321 Make ASTTransformer to find startof nodes ast closed fixed task major zirkel 2011-10-05T12:45:28-04:00 16:11:49-04:00 zirkel 322 Update Clang XML LoopNode Output XML closed fixed defect major tmcclory 2011-09-20T13:36:53-04:00 13:38:07-04:00 stachnik 318 Add Assignment Type Field to AssignmentNodeIF Administration closed fixed defect major stachnik 2011-09-07T14:37:43-04:00 10:39:40-04:00 stachnik 306 Function definitions need to be set ast closed fixed 1.1 defect major stachnik 2011-08-25T09:49:25-04:00 15:10:29-04:00 zirkel 308 Main needs to be included in the GlobalScopeNodes ast closed fixed 1.1 defect major stachnik 2011-08-25T09:46:10-04:00 15:21:48-04:00 zirkel 305 Remove incorrect assertions ast closed fixed 1.1 defect minor stachnik 2011-07-25T11:47:34-04:00 10:44:45-04:00 zirkel 309 Relax main method signature requirements model closed wontfix 1.1 task major 2011-07-15T18:25:19-04:00 17:44:44-04:00 zirkel 304 New command line options front closed fixed 1.1 enhancement major Stephen Siegel 2011-07-15T18:07:11-04:00 10:29:58-04:00 zirkel 307 Error in XML output clang closed fixed 1.1 defect major tmcclory 2011-07-15T15:25:05-04:00 15:18:59-04:00 zirkel 127 Improve symbolic variable names symbolic closed wontfix enhancement minor ywei 2011-07-01T17:17:23-04:00 17:17:18-05:00 zirkel 289 Allow function prototypes front closed wontfix enhancement major 2011-07-01T17:03:35-04:00 22:40:56-04:00 zirkel 153 implement XML representation of model front closed wontfix 1.0 task major bperry 2011-06-18T12:32:32-04:00 11:04:46-05:00 Stephen Siegel 286 Allow expressions with side effects front closed wontfix enhancement major 2011-06-18T12:31:22-04:00 22:33:05-04:00 zirkel 290 Add support for preprocessor function-like macros front closed wontfix enhancement major 2011-06-18T12:30:02-04:00 22:41:50-04:00 zirkel 287 Support compound statements front closed wontfix enhancement major 2011-06-18T12:29:02-04:00 22:36:06-04:00 zirkel 178 Number of bound variables in a symbolic quantifier expression symbolic closed wontfix 1.0 enhancement minor Stephen Siegel 2011-05-23T11:35:35-04:00 11:09:06-04:00 ywei 293 Handle casts in simplifier simplify closed fixed defect major 2011-05-16T18:35:49-04:00 12:23:01-04:00 zirkel 291 Ignore lines beginning with '# ' front closed fixed enhancement major 2011-04-07T22:24:54-04:00 22:42:57-04:00 zirkel 283 Dimension mismatch in array declaration front closed fixed 1.1 defect major 2011-04-01T03:31:55-04:00 02:31:33-04:00 zirkel 105 Add support for new statements: pushassumption, popassumption multiple closed wontfix enhancement minor 2011-01-30T11:43:10-05:00 10:33:30-05:00 zirkel 106 Simplify print in model package model closed fixed enhancement minor 2011-01-30T11:41:51-05:00 10:57:02-05:00 zirkel 172 Add check for the -inputX=N options model closed fixed enhancement minor Stephen Siegel 2011-01-30T11:28:35-05:00 17:41:22-05:00 ywei 262 Make .externalToolBuilders/Ant_Builder.launch generic Administration closed fixed task minor 2011-01-30T10:50:31-05:00 10:42:05-04:00 zirkel 103 problem with build Administration closed fixed 1.0 defect major ywei 2011-01-30T10:30:48-05:00 11:04:40-05:00 Stephen Siegel 174 Print intermediate report during execution User Interface closed fixed enhancement major Stephen Siegel 2010-12-28T15:28:25-05:00 16:00:58-05:00 ywei 277 NullPointerException in ModelEnvironment state closed fixed defect major 2010-12-28T15:05:47-05:00 21:37:56-05:00 zirkel 273 Clean up front end names front closed fixed task minor 2010-09-29T10:37:17-04:00 10:58:49-04:00 zirkel 263 False guards are not getting reported as a deadlock verify closed fixed 1.1 defect major Stephen Siegel 2010-08-22T16:01:04-04:00 11:11:06-04:00 zirkel 259 javadoc not being executed Administration closed fixed defect major zirkel 2010-07-29T10:56:12-04:00 07:49:19-04:00 Stephen Siegel 217 Add constants to model model closed wontfix 1.0 enhancement major zirkel 2010-06-22T08:33:31-04:00 12:20:14-04:00 zirkel 210 Try to build solaris version of CVC3, etc. None closed wontfix task major zirkel 2010-06-08T11:36:13-04:00 11:29:01-04:00 zirkel 213 Add array and record literals to frontend front closed invalid 1.0 defect major ywei 2010-06-08T09:36:19-04:00 01:29:43-04:00 zirkel 177 Add record literal expression in model package model closed fixed 1.0 enhancement major zirkel 2010-05-16T13:15:10-04:00 11:49:24-04:00 ywei 173 Add char type to model and value layer multiple closed fixed 1.0 enhancement major zirkel 2010-05-16T13:13:52-04:00 10:30:57-05:00 ywei 185 Verification Suite Administration closed fixed task major zirkel 2010-05-12T15:30:34-04:00 12:36:22-04:00 Stephen Siegel 139 running simpleRecordTest causes freeze Administration closed worksforme 1.0 defect major 2010-05-09T12:43:00-04:00 09:10:21-05:00 Stephen Siegel 124 improve performance of validity checking and other symbolic operations value closed fixed 1.0 enhancement minor Stephen Siegel 2010-04-30T12:40:47-04:00 13:17:38-05:00 Stephen Siegel 101 create BooleanValueIF value closed wontfix 1.0 enhancement minor Stephen Siegel 2010-04-30T12:39:35-04:00 10:53:04-05:00 Stephen Siegel 182 add evaluateEvaluatedFunction method to Executor semantics closed fixed enhancement major zirkel 2010-04-30T10:21:17-04:00 15:10:20-04:00 zirkel 70 Add abstract functions to frontend front closed fixed 1.0 enhancement major ywei 2010-03-09T22:55:40-05:00 17:32:52-04:00 zirkel 84 Multiple additions to front end front closed fixed 1.0 enhancement major ywei 2010-03-07T16:15:52-05:00 15:57:47-04:00 Stephen Siegel 167 Upload binaries Administration closed fixed 1.0 task critical Stephen Siegel 2010-02-10T14:28:12-05:00 07:01:45-05:00 zirkel 151 Fib example gets wrong answer verify closed fixed 1.0 defect major ywei 2010-02-04T11:50:11-05:00 14:02:17-05:00 Stephen Siegel 115 Laplace test errors front closed fixed 1.0 defect major zirkel 2010-01-31T21:07:33-05:00 13:10:35-05:00 Stephen Siegel 152 front end does not parse certain type expressions front closed fixed 1.0 defect major ywei 2010-01-30T08:34:50-05:00 22:16:21-05:00 Stephen Siegel 95 improvements to symbolic package symbolic closed wontfix 1.0 enhancement major ywei 2010-01-29T11:11:32-05:00 15:11:34-05:00 Stephen Siegel 102 add concrete versions of primitive and array values value closed wontfix 1.0 enhancement major Stephen Siegel 2010-01-23T16:31:00-05:00 11:02:05-05:00 Stephen Siegel 148 ClassCastException in dynamic package front closed fixed 1.0 defect major ywei 2010-01-23T13:24:38-05:00 16:36:42-05:00 zirkel 17 implement verify.loop verify closed fixed 1.0 task major ywei 2010-01-23T12:01:17-05:00 10:03:28-04:00 Stephen Siegel 94 Update svn server Administration closed fixed task major Stephen Siegel 2010-01-23T12:00:31-05:00 15:06:59-05:00 Stephen Siegel 149 Tech report Publicity closed fixed 1.0 task major 2010-01-23T11:59:49-05:00 23:29:46-05:00 Stephen Siegel 150 Create web site Administration closed fixed 1.0 task major 2010-01-23T11:59:22-05:00 23:31:04-05:00 Stephen Siegel 147 write outline for CAV tool paper Publicity closed fixed 1.0 task major zirkel 2010-01-23T11:58:40-05:00 23:07:25-05:00 Stephen Siegel 146 add to front-end: e[i] front closed fixed 1.0 enhancement major ywei 2009-12-29T23:09:59-05:00 23:05:34-05:00 Stephen Siegel 144 Improvements to source text front closed fixed 1.0 enhancement trivial ywei 2009-12-29T02:30:19-05:00 12:20:01-05:00 Stephen Siegel 145 Add simplify method to SymUniverseIF symbolic closed fixed 1.0 enhancement major ywei 2009-12-29T01:54:17-05:00 23:00:00-05:00 Stephen Siegel 55 enhance JUnit tests Administration closed fixed 1.0 enhancement minor zirkel 2009-12-28T22:52:51-05:00 09:38:20-04:00 Stephen Siegel 118 Weird failure in MatrixMultiplication test test closed fixed 1.0 defect major 2009-12-28T22:51:53-05:00 15:24:46-05:00 Stephen Siegel 129 simplify compare problem in matmat test closed fixed 1.0 defect major ywei 2009-12-28T22:49:52-05:00 15:28:39-05:00 Stephen Siegel 141 simplify error in diffusion1 Administration closed fixed defect major 2009-12-28T22:15:03-05:00 22:21:28-05:00 Stephen Siegel 142 Class cast exception in diffusion1 symbolic closed fixed 1.0 defect major ywei 2009-12-28T00:53:03-05:00 15:08:41-05:00 Stephen Siegel 143 source not set for allocate statements front closed fixed 1.0 defect major ywei 2009-12-27T20:59:47-05:00 20:28:52-05:00 Stephen Siegel 140 Pointer decl/initialization expression leads to NullPointerException in TreeParser front closed fixed 1.0 defect major ywei 2009-12-27T00:04:23-05:00 09:15:34-05:00 Stephen Siegel 93 Add allocate and deallocate in the front end front closed fixed 1.0 enhancement major ywei 2009-12-26T23:55:55-05:00 17:07:48-05:00 ywei 137 pointer addition not in grammar front closed fixed 1.0 defect major ywei 2009-12-26T18:01:08-05:00 21:45:46-05:00 Stephen Siegel 138 source not set for sub-expressions of array subscript expressions front closed fixed 1.0 defect minor ywei 2009-12-26T18:00:02-05:00 22:17:04-05:00 Stephen Siegel 123 improve performance of hash and equality functions multiple closed fixed 1.0 enhancement major 2009-12-26T16:49:05-05:00 13:10:27-05:00 Stephen Siegel 135 syntax error in diffusion1_par.mmp examples closed fixed defect major zirkel 2009-12-26T16:44:46-05:00 19:07:51-05:00 ywei 136 Pointer type not parsed in formal parameter list front closed fixed 1.0 defect major ywei 2009-12-25T20:42:57-05:00 13:48:46-05:00 Stephen Siegel 134 arithmetic parsing error front closed fixed 1.0 defect major ywei 2009-12-25T20:10:57-05:00 13:31:48-05:00 Stephen Siegel 133 null pointer exception in model builder front closed fixed 1.0 defect major ywei 2009-12-25T00:21:49-05:00 13:02:36-05:00 Stephen Siegel 132 Need to shut down the dynamic factory when it is not in use value closed fixed defect minor Stephen Siegel 2009-12-23T10:00:18-05:00 15:33:33-05:00 ywei 131 Extra assumptions in implementation not used semantics closed fixed 1.0 defect major Stephen Siegel 2009-12-21T20:53:28-05:00 10:24:28-05:00 zirkel 119 Errors in diffusion tests test closed fixed 1.0 defect major zirkel 2009-12-21T10:19:51-05:00 15:35:02-05:00 Stephen Siegel 130 simpleArrayTest failure Administration closed fixed 1.0 defect major ywei 2009-12-20T22:01:38-05:00 15:29:39-05:00 Stephen Siegel 128 Assume implementation error semantics closed fixed defect major 2009-12-18T16:42:12-05:00 14:02:21-05:00 zirkel 125 "add line number for ""implicit return""" front closed fixed 1.0 enhancement trivial ywei 2009-12-18T02:03:06-05:00 13:23:48-05:00 Stephen Siegel 121 mean tests fail multiple closed fixed 1.0 defect major ywei 2009-12-17T18:12:25-05:00 23:01:01-05:00 Stephen Siegel 126 sum tests fail test closed fixed 1.0 defect major ywei 2009-12-15T15:46:44-05:00 22:50:01-05:00 Stephen Siegel 120 rejected initialization expression x+y front closed fixed 1.0 defect major ywei 2009-12-15T02:12:09-05:00 22:58:35-05:00 Stephen Siegel 96 parser should quit when syntax error encountered front closed fixed 1.0 defect major ywei 2009-12-15T01:43:36-05:00 17:27:39-05:00 Stephen Siegel 117 Problems with tests and use of static data test closed fixed 1.0 defect major ywei 2009-12-10T23:19:22-05:00 19:58:23-05:00 Stephen Siegel 98 usage information incorrect User Interface closed fixed 1.0 defect major ywei 2009-12-10T21:43:29-05:00 18:52:32-05:00 Stephen Siegel 111 matmat compare: outputs not equivalent? Administration closed fixed 1.0 defect major ywei 2009-12-10T19:56:27-05:00 07:46:43-05:00 Stephen Siegel 114 TileTests fail semantics closed fixed 1.0 defect major Stephen Siegel 2009-12-10T18:52:30-05:00 13:09:23-05:00 Stephen Siegel 116 MatrixMultiplicationTests: compare failures test closed fixed 1.0 defect major 2009-12-10T18:49:48-05:00 13:12:15-05:00 Stephen Siegel 87 send report of API problems to cvc3 Administration closed fixed task major ywei 2009-12-09T23:51:19-05:00 12:34:05-04:00 Stephen Siegel 112 Parse error when declaring and assigning on the same line front closed fixed defect major ywei 2009-12-09T18:59:09-05:00 14:55:40-05:00 zirkel 113 different behavior when using simplify multiple closed fixed defect major ywei 2009-12-09T18:58:23-05:00 15:11:06-05:00 zirkel 107 Add symbolic function type symbolic closed fixed enhancement major 2009-12-08T01:28:14-05:00 14:27:18-05:00 zirkel 109 unknown expression type Administration closed fixed 1.0 defect major ywei 2009-12-07T00:26:03-05:00 17:07:09-05:00 Stephen Siegel 110 array compare problem in symbolic? Administration closed fixed 1.0 defect major ywei 2009-12-07T00:25:18-05:00 20:09:49-05:00 Stephen Siegel 80 simplify fails on dividing by plus expressions symbolic closed fixed 1.0 defect major ywei 2009-12-06T05:30:08-05:00 06:43:44-04:00 Stephen Siegel 108 array problem in symbolic symbolic closed fixed 1.0 defect major ywei 2009-12-06T05:20:01-05:00 15:04:12-05:00 Stephen Siegel 74 Bus error using -simplify symbolic closed fixed 1.0 defect major ywei 2009-12-06T03:41:22-05:00 11:22:25-04:00 Stephen Siegel 42 CVC3 prover problems symbolic closed fixed 1.0 defect major ywei 2009-12-01T14:54:12-05:00 14:24:32-04:00 zirkel 82 add record types and tuple types to symbolic package symbolic closed fixed 1.0 enhancement major ywei 2009-12-01T14:41:19-05:00 21:01:24-04:00 Stephen Siegel 89 send email to cvc3-users on non-linear accuracy example Administration closed fixed task major zirkel 2009-12-01T09:28:58-05:00 12:44:47-04:00 Stephen Siegel 100 symbolic array dimensions are inverted symbolic closed fixed 1.0 defect major ywei 2009-12-01T02:17:25-05:00 23:28:06-05:00 Stephen Siegel 99 formal parameters have null source front closed fixed 1.0 defect major ywei 2009-11-30T03:41:48-05:00 22:17:47-05:00 Stephen Siegel 97 wrong function printed front closed fixed 1.0 defect major ywei 2009-11-30T02:50:04-05:00 18:47:51-05:00 Stephen Siegel 104 cast error in symbolic package symbolic closed fixed 1.0 defect major 2009-11-29T01:40:04-05:00 09:59:00-05:00 Stephen Siegel 71 laplace example: inputs examples closed fixed 1.0 enhancement major zirkel 2009-11-24T11:35:27-05:00 17:54:01-04:00 Stephen Siegel 92 add methods in symbolic universe to support unbound arrays symbolic closed fixed 1.0 enhancement major ywei 2009-11-23T01:42:19-05:00 14:34:20-05:00 ywei 40 change name of Minimp to MiniMP Administration closed fixed 1.0 task minor ywei 2009-11-22T13:48:05-05:00 12:15:11-04:00 Stephen Siegel 48 add pointer types, values to model model closed fixed 1.0 enhancement major Stephen Siegel 2009-11-21T15:03:39-05:00 19:59:32-04:00 Stephen Siegel 90 NullPointerException when using potential deadlock verify closed fixed 1.0 defect major Stephen Siegel 2009-11-10T15:25:54-05:00 15:05:59-05:00 zirkel 91 Add new directory in the branches for modelExtractor Administration closed fixed 1.0 task major ywei 2009-11-09T14:37:02-05:00 17:17:29-05:00 ywei 86 The target location is not being set for a select statement front closed fixed 1.0 defect major ywei 2009-10-28T06:07:07-04:00 11:21:56-04:00 zirkel 85 Integers cannot be set to negative literal front closed fixed defect minor ywei 2009-10-27T11:20:13-04:00 00:20:59-04:00 zirkel 83 Bug in checking equivalence of array outputs symbolic closed fixed 1.0 defect major ywei 2009-10-20T14:07:36-04:00 16:48:28-04:00 zirkel 76 OSError: [Errno 13] Permission denied: '/vsl/trac/minimp/attachments/ticket' Administration closed fixed defect major zirkel 2009-10-06T14:00:00-04:00 21:51:52-04:00 rdeaton 44 Add for loop functionality to model model closed fixed 1.0 enhancement major zirkel 2009-10-06T13:59:42-04:00 18:34:08-04:00 Stephen Siegel 81 add support for type ids model closed fixed 1.0 enhancement major Stephen Siegel 2009-10-03T20:08:44-04:00 16:26:32-04:00 Stephen Siegel 47 add record types to model model closed fixed 1.0 enhancement major Stephen Siegel 2009-10-03T20:07:35-04:00 19:57:57-04:00 Stephen Siegel 9 multiple bugs in Urgent verify closed fixed 1.0 defect major Stephen Siegel 2009-10-03T20:06:35-04:00 12:49:42-04:00 Stephen Siegel 72 Make posters for accuracy verification and comparative symbolic execution Publicity closed fixed task major ywei, zirkel 2009-09-18T16:07:26-04:00 11:54:56-04:00 Stephen Siegel 11 improve handling of counterexamples search closed fixed 1.0 enhancement major Stephen Siegel 2009-09-10T15:12:28-04:00 12:59:48-04:00 Stephen Siegel 79 for loop problem front closed fixed 1.0 defect major 2009-09-08T14:58:33-04:00 09:03:13-04:00 Stephen Siegel 78 Class cast exception in matmat-par_2_2_2.mmp semantics closed fixed 1.0 defect major Stephen Siegel 2009-09-05T12:27:54-04:00 13:46:29-04:00 ywei 77 unreachable location in matmat example multiple closed fixed 1.0 defect major 2009-09-04T13:43:36-04:00 11:43:56-04:00 Stephen Siegel 67 text associated to expressions has extra token front closed fixed 1.0 defect minor ywei 2009-09-03T18:31:58-04:00 12:30:01-04:00 Stephen Siegel 34 Add for loop support to front end front closed fixed 1.0 enhancement minor ywei 2009-09-03T18:21:30-04:00 11:24:55-04:00 zirkel 28 improvements to model printing with source model closed fixed 1.0 enhancement minor ywei 2009-09-03T18:21:13-04:00 15:16:42-04:00 Stephen Siegel 75 Problems with tass verify, ArrayIndexOutOfBounds Exception semantics closed fixed 1.0 defect major Stephen Siegel 2009-09-02T22:50:50-04:00 21:50:30-04:00 rdeaton 50 add front end support for initialization expressions front closed fixed 1.0 enhancement major ywei 2009-09-01T16:52:31-04:00 21:58:39-04:00 Stephen Siegel 73 add Robert Deaton to Trac list Administration closed fixed task major zirkel 2009-08-31T15:33:29-04:00 12:00:22-04:00 Stephen Siegel 63 errors in matmat-par_2_2_2.mmp examples closed fixed 1.0 defect major zirkel 2009-08-31T09:14:58-04:00 00:58:52-04:00 ywei 66 error in simpleMPImpl examples closed fixed 1.0 defect major zirkel 2009-08-31T08:46:25-04:00 12:26:15-04:00 Stephen Siegel 68 -loop option front closed fixed 1.0 enhancement major ywei 2009-08-29T17:31:21-04:00 17:10:50-04:00 zirkel 52 matrixMultiplication compare returns false examples closed fixed 1.0 defect major ywei, zirkel 2009-08-29T17:30:37-04:00 00:08:56-04:00 zirkel 69 skewFactor: EmptyStackException front closed fixed 1.0 defect major ywei 2009-08-28T17:25:11-04:00 17:12:41-04:00 zirkel 65 JUnit test problem with SimpleMP test closed fixed 1.0 defect major zirkel 2009-08-28T14:21:30-04:00 12:18:54-04:00 Stephen Siegel 62 infinite loop when verifying simpleMPSpec search closed fixed 1.0 defect major Stephen Siegel 2009-08-28T12:10:16-04:00 00:55:24-04:00 ywei 22 automatic email Administration closed fixed 1.0 task major zirkel 2009-08-28T12:02:38-04:00 16:16:52-04:00 Stephen Siegel 31 "deprecated ""\O"" notation occurs in diffusion example" examples closed fixed 1.0 defect minor zirkel 2009-08-28T11:15:33-04:00 17:41:49-04:00 Stephen Siegel 64 error due to integer division in mean example examples closed fixed 1.0 defect major 2009-08-28T09:34:47-04:00 09:31:17-04:00 Stephen Siegel 32 casting between ints and reals symbolic closed fixed 1.0 enhancement major ywei 2009-08-28T02:39:18-04:00 18:14:07-04:00 Stephen Siegel 54 translate <= as lessThanOrEquals front closed fixed 1.0 enhancement major ywei 2009-08-28T02:38:47-04:00 09:28:04-04:00 Stephen Siegel 56 mean: null pointer exception front closed fixed 1.0 defect major ywei 2009-08-28T01:27:52-04:00 15:02:08-04:00 zirkel 59 skewFactor: Null pointer exception front closed fixed 1.0 defect major ywei 2009-08-28T01:27:36-04:00 15:15:51-04:00 zirkel 61 null pointer exception in simpleMPSpec front closed fixed 1.0 defect major 2009-08-28T00:52:21-04:00 00:26:23-04:00 Stephen Siegel 60 ArrayStoreException in simpleMP state closed fixed 1.0 defect major Stephen Siegel 2009-08-28T00:23:45-04:00 23:47:55-04:00 ywei 51 add front end support for ++ and -- front closed fixed 1.0 enhancement minor ywei 2009-08-27T23:48:27-04:00 23:45:52-04:00 Stephen Siegel 58 simpleMP: Null pointer exception from parse front closed fixed 1.0 defect major ywei 2009-08-27T23:43:10-04:00 15:10:45-04:00 zirkel 43 matmat: send stmt parse exception front closed fixed 1.0 defect major ywei 2009-08-27T23:42:55-04:00 18:11:20-04:00 Stephen Siegel 57 nestedLoops: RuntimeException: Undefined value found. symbolic closed fixed 1.0 defect major ywei 2009-08-27T18:51:23-04:00 15:07:22-04:00 zirkel 19 JUnit test cases examples closed fixed 1.0 task major zirkel 2009-08-27T13:20:55-04:00 22:53:08-04:00 Stephen Siegel 41 change the JUnit test test closed fixed 1.0 defect minor zirkel 2009-08-27T11:35:16-04:00 22:41:25-04:00 ywei 53 Add <= operator to model model closed fixed 1.0 defect major Stephen Siegel 2009-08-27T09:26:10-04:00 09:13:01-04:00 Stephen Siegel 46 add front end support for if-then-else front closed fixed 1.0 enhancement major ywei 2009-08-26T22:38:08-04:00 19:54:53-04:00 Stephen Siegel 45 add support for initial values of scalar variables to model model closed fixed 1.0 enhancement major Stephen Siegel 2009-08-26T21:52:42-04:00 18:38:32-04:00 Stephen Siegel 29 matrix multiplication tiling is incorrect examples closed fixed 1.0 defect major zirkel 2009-08-26T19:30:17-04:00 15:21:58-04:00 Stephen Siegel 18 examples examples closed fixed 1.0 task major zirkel 2009-08-26T14:16:47-04:00 10:08:56-04:00 Stephen Siegel 39 format of examples examples closed fixed 1.0 defect major zirkel 2009-08-25T22:41:04-04:00 08:38:41-04:00 Stephen Siegel 27 send-recv deadlock examples closed fixed 1.0 defect major zirkel 2009-08-25T22:39:14-04:00 19:52:16-04:00 Stephen Siegel 37 Command line option to specify buffer bound front closed fixed 1.0 enhancement major ywei 2009-08-25T21:46:44-04:00 12:49:15-04:00 zirkel 35 if-then-else multiple closed fixed 1.0 enhancement major ywei 2009-08-25T16:00:12-04:00 12:04:36-04:00 zirkel 38 Need ifThenElse symbolic expression symbolic closed fixed 1.0 task critical ywei 2009-08-25T15:59:46-04:00 23:46:50-04:00 Stephen Siegel 36 Flag to control simplify multiple closed fixed 1.0 defect major ywei 2009-08-25T14:49:10-04:00 12:05:46-04:00 zirkel 33 illegal use of output variable in matmat examples closed fixed 1.0 defect major zirkel 2009-08-24T00:27:37-04:00 11:22:09-04:00 Stephen Siegel 20 illegal reading of output variable examples closed fixed 1.0 defect major zirkel 2009-08-23T22:58:40-04:00 12:00:18-04:00 Stephen Siegel 23 printing of symbolic expressions needs improvement symbolic closed fixed 1.0 enhancement minor ywei 2009-08-21T17:53:20-04:00 16:23:17-04:00 Stephen Siegel 30 improve model names User Interface closed fixed 1.0 enhancement minor ywei 2009-08-21T17:52:44-04:00 15:26:31-04:00 Stephen Siegel 25 SyntaxException when verifying matmat-seq.mmp examples closed fixed 1.0 defect minor zirkel 2009-08-21T15:19:37-04:00 12:55:24-04:00 zirkel 21 improvements to user interface User Interface closed fixed 1.0 enhancement minor ywei 2009-08-20T23:57:54-04:00 16:06:18-04:00 Stephen Siegel 26 Error in front-end on factorial example front closed fixed 1.0 defect major ywei 2009-08-20T23:09:11-04:00 18:12:57-04:00 Stephen Siegel 24 symbolic arrayWrite method giving incorrect results symbolic closed fixed 1.0 defect critical ywei 2009-08-20T17:29:20-04:00 23:41:12-04:00 Stephen Siegel 7 white space in text front closed fixed 1.0 enhancement minor ywei 2009-08-19T17:55:00-04:00 11:14:04-04:00 Stephen Siegel 16 symbolic exception: arrayloop_2 symbolic closed fixed 1.0 defect major ywei 2009-08-19T17:43:59-04:00 09:59:31-04:00 Stephen Siegel 12 Execution exception in Evaluator front closed fixed 1.0 defect major ywei 2009-08-15T01:56:14-04:00 17:38:15-04:00 ywei 14 flaw in simplify routine? symbolic closed fixed 1.0 defect major ywei 2009-08-15T01:55:45-04:00 23:51:36-04:00 Stephen Siegel 13 erratic behavior in symbolic package symbolic closed fixed 1.0 defect major ywei 2009-08-15T01:55:33-04:00 23:38:16-04:00 Stephen Siegel 15 prover debugging output should print result symbolic closed fixed 1.0 enhancement minor ywei 2009-08-15T01:01:26-04:00 10:45:46-04:00 Stephen Siegel 8 symbolic expressions not being transformed into canonical form symbolic closed fixed 1.0 enhancement major ywei 2009-08-12T17:34:48-04:00 11:33:55-04:00 Stephen Siegel 10 command line interface additions front closed fixed 1.0 enhancement minor ywei 2009-08-11T16:29:48-04:00 12:56:01-04:00 Stephen Siegel 6 text associated to branch statements front closed fixed 1.0 enhancement minor ywei 2009-08-11T15:35:24-04:00 11:11:15-04:00 Stephen Siegel 5 command line interface corrections front closed fixed 1.0 defect minor ywei 2009-08-11T11:32:15-04:00 21:40:38-04:00 Stephen Siegel 4 ugly output in verbose mode front closed fixed 1.0 defect minor ywei 2009-08-11T00:43:46-04:00 21:37:50-04:00 Stephen Siegel 3 Execution exception in InnerPredicate verify closed fixed 1.0 defect major Stephen Siegel 2009-08-10T21:35:32-04:00 16:16:27-04:00 ywei 2 null pointer exception in Evaluator semantics closed fixed 1.0 defect major Stephen Siegel 2009-08-09T20:02:34-04:00 17:20:21-04:00 ywei 1 null corresponding variable: tile example verify closed fixed 1.0 defect major ywei 2009-08-08T17:15:58-04:00 21:21:37-04:00 Stephen Siegel