{6} All Tickets By Milestone (Including closed) (334 matches)

A more complex example to show how to make advanced reports.

Results (1 - 100 of 334)

1 2 3 4 →

milestone2 (1 match)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#313 reimplement state as value multiple new enhancement major Stephen Siegel 15 years ago

Release 1.0 (85 matches)

#161 Automatic performance analysis Administration accepted 1.0 task major zirkel 16 years ago
#181 Add derivative support to frontend front accepted 1.0 task major zirkel 16 years ago
#183 Verify derivative example using manual insertion of Taylor theorem examples new 1.0 enhancement major zirkel 16 years ago
#202 installation from source Administration new 1.0 task major 16 years ago
#211 don't check for deadlocked states when not necessary verify new 1.0 enhancement major 16 years ago
#239 store malloc statements in heap multiple accepted 1.0 enhancement major Stephen Siegel 16 years ago
#232 checkSat multiple new 1.0 enhancement minor 16 years ago
#208 Separate pragma parsing out of language parser and put it into model builder front closed wontfix 1.0 enhancement major bperry 15 years ago
#206 Formal grammar for assertion and joint invariant language XML closed wontfix 1.0 task major bperry 15 years ago
#247 add guard expression to system function front closed fixed 1.0 enhancement major zirkel 16 years ago
#221 Cannot declare multiple variables on one line in .mmp front closed fixed 1.0 enhancement minor zirkel 16 years ago
#254 web page: bad example Publicity closed fixed 1.0 defect major dfix 16 years ago
#250 Make release 1.0 Administration closed fixed 1.0 task major zirkel 16 years ago
#243 forall example needs accompanying JUnit test test closed fixed 1.0 task major bperry 16 years ago
#244 shadow variables handled incorrectly front closed fixed 1.0 defect major zirkel 16 years ago
#245 implement count correctly in MPI point-to-point ops None closed fixed 1.0 defect major Stephen Siegel 16 years ago
#248 add message to TASS assert multiple closed fixed 1.0 enhancement major zirkel 16 years ago
#240 free requires LHS expression in model builder front closed fixed 1.0 defect major zirkel 16 years ago
#246 Foo function square no make sense Administration closed fixed 1.0 defect major zirkel 16 years ago
#220 No null constant value symbolic closed fixed 1.0 enhancement major Stephen Siegel 16 years ago
#238 source text for implicit return is empty front closed fixed 1.0 defect minor bperry 16 years ago
#237 reduce output from tests test closed fixed 1.0 task major dfix 16 years ago
#241 add assert to grammar front closed fixed 1.0 enhancement major ywei 16 years ago
#242 problem with negative constants front closed fixed 1.0 defect major bperry 16 years ago
#122 add option to not stop after finding violation verify closed fixed 1.0 enhancement major 16 years ago
#229 Improve ExecutionException multiple closed fixed 1.0 enhancement major Stephen Siegel 16 years ago
#236 source not getting set for malloc front closed fixed 1.0 defect major zirkel 16 years ago
#231 add casts between pointer types multiple closed fixed 1.0 enhancement major zirkel 16 years ago
#234 Parser Test fail on MPI_Init front closed fixed 1.0 defect major zirkel 16 years ago
#175 Add sizeof expression to model package model closed fixed 1.0 defect major zirkel 16 years ago
#184 Make library framework None closed fixed 1.0 enhancement major zirkel 16 years ago
#233 change grammar and examples to C notation multiple closed fixed 1.0 enhancement major 16 years ago
#218 Failure in GradeCount loop test examples closed fixed 1.0 defect major ywei 16 years ago
#230 null pointer exception in return statement front closed fixed 1.0 defect major ywei 16 years ago
#219 Cannot use -> on left hand of assignment in .mmp files examples closed fixed 1.0 defect minor Stephen Siegel 16 years ago
#225 EvaluatedFunction not used dynamic closed fixed 1.0 defect major zirkel 16 years ago
#228 Error reporting issue when parsing .mmp file. examples closed fixed 1.0 defect major 16 years ago
#226 heap canonicalization does not report leaks state closed fixed 1.0 defect major Stephen Siegel 16 years ago
#227 Parser error when declaring a pointer and assigning it memory with malloc on same line. examples closed invalid 1.0 defect major 16 years ago
#223 Parser error with pointer manipulation in .mmp file examples closed invalid 1.0 defect major 16 years ago
#222 Infinite loop with pointer usage in .mmp file examples closed fixed 1.0 defect major 16 years ago
#212 move auto tests to anton test closed fixed 1.0 task major zirkel 16 years ago
#158 implement garbage collection semantics closed fixed 1.0 task major Stephen Siegel 16 years ago
#224 Free fails when used on a struct pointer. examples closed invalid 1.0 defect major 16 years ago
#201 source release Administration closed fixed 1.0 defect major zirkel 16 years ago
#214 Simplifier: x=y && y=2 does not simplify correctly on x symbolic closed fixed 1.0 enhancement major Stephen Siegel 16 years ago
#216 Simplifier: improper simplification when simplifying on an implication symbolic closed fixed 1.0 defect major zirkel 16 years ago
#215 Discrepency when simplifying using reals vs integers dynamic closed fixed 1.0 defect major zirkel 16 years ago
#198 PointerTest: record test has infinite recursion dynamic closed fixed 1.0 defect major Stephen Siegel 16 years ago
#205 Extend evaluateLiteral in Evaluator to support records, arrays, and characters semantics closed fixed 1.0 enhancement major zirkel 16 years ago
#209 Add support for APPLY operation in CVC3TheoremProver prove closed fixed 1.0 defect major ywei 16 years ago
#207 Add support for APPLY to CVC3TheoremProver prove closed fixed 1.0 task major 16 years ago
#204 Allow array type variables to have initialization model closed fixed 1.0 defect major ywei 16 years ago
#203 Add support for record and array literal expressions to the front-end front closed fixed 1.0 enhancement major ywei 16 years ago
#200 compilation error in model module model closed fixed 1.0 defect major zirkel 16 years ago
#199 CVC3 prover does not handle MODULO prove closed fixed 1.0 defect major ywei 16 years ago
#197 linear time membership test in loop module verify closed fixed 1.0 defect major 16 years ago
#194 nestedLoops: inconclusive result in v1.0 examples closed fixed 1.0 defect major ywei 16 years ago
#190 Add list of abstract functions to XML representation of model XML closed fixed 1.0 enhancement major bperry 16 years ago
#195 missing diffusion_par.mmp examples closed fixed 1.0 defect major 16 years ago
#196 source still too big front closed fixed 1.0 defect minor ywei 16 years ago
#171 Multiple improvements to binary release Administration closed fixed enhancement major zirkel 16 years ago
#193 source text for loop too big front closed fixed 1.0 defect minor ywei 16 years ago
#192 string index error in parser front closed fixed 1.0 defect major ywei 16 years ago
#191 source text not set correctly front closed fixed 1.0 defect minor ywei 16 years ago
#189 Another illegal argument exception in AdderTest symbolic closed fixed 1.0 defect major Stephen Siegel 16 years ago
#179 NullPointerException in DynamicFactory constructor verify closed worksforme 1.0 defect major Stephen Siegel 16 years ago
#188 Illegal argument exception in AdderTest symbolic closed fixed 1.0 defect major Stephen Siegel 16 years ago
#187 Array out of bound exception in AdderTest symbolic closed fixed 1.0 defect major ywei 16 years ago
#186 null pointer exception from CVC3 prover prove closed fixed 1.0 defect major ywei 16 years ago
#180 When abstract functions are created, the continuity should be saved front closed fixed 1.0 defect major zirkel 16 years ago
#165 need cast from int to real operation in symbolic package symbolic closed fixed 1.0 enhancement major ywei 16 years ago
#176 longName() method in PointerType class may cause stack overflow model closed fixed 1.0 defect major Stephen Siegel 16 years ago
#170 Add sizeof operator to front end front closed fixed 1.0 enhancement major ywei 16 years ago
#160 Prepare "binary" release Administration closed fixed 1.0 task critical zirkel 16 years ago
#159 use exact rational arithmetic? multiple closed fixed 1.0 enhancement major 16 years ago
#169 front end and symbolic need to use BigRational, BigInteger multiple closed fixed 1.0 task major ywei 16 years ago
#164 MiniMP language page needs to be fixed Documentation closed fixed 1.0 task major ywei 16 years ago
#163 rationalize the command-line interface and class MiniMP User Interface closed fixed 1.0 enhancement major ywei 16 years ago
#168 Examples need to be parametrized examples closed fixed 1.0 task major 16 years ago
#166 rename MiniMP-> TASS Administration closed fixed 1.0 task major 16 years ago
#157 tuple support in symbolic universe incomplete symbolic closed fixed 1.0 defect major ywei 16 years ago
#162 Add unit test tree test closed fixed 1.0 task major 16 years ago
#155 Better error reporting from parser needed Administration closed fixed 1.0 enhancement minor ywei 16 years ago
#156 ClassCastException in TreeParser front closed fixed 1.0 defect major ywei 16 years ago

1.1 (14 matches)

#274 add support for skew factors in collective assertions/invariants multiple new 1.1 task major zirkel 16 years ago
#275 modify arrays in examples to use new #define input feature examples new 1.1 defect major bperry 16 years ago
#278 array literal parse problems in TreeParser front new 1.1 defect major 15 years ago
#294 Implement XML representation of TASS AST Administration accepted 1.1 task major stachnik 15 years ago
#295 augment continuity options multiple new 1.1 enhancement major zirkel 15 years ago
#297 expressions are not statements ast assigned 1.1 defect major stachnik 15 years ago
#326 Add source information to pragma nodes and variable declarations clang new defect major tmcclory 15 years ago
#330 Add structs to XML output clang new 1.1 defect major tmcclory 15 years ago
#269 move newCollectiveAssertion to ModelFactory model new 1.1 enhancement minor 16 years ago
#281 parser rejects abstract functions which return arrays front closed fixed 1.1 defect major 14 years ago
#316 Add representation of comma operator to AST ast closed fixed 1.1 defect major stachnik 15 years ago
#311 Add print method to AbstractSyntaxTreeIF ast closed fixed 1.1 enhancement minor stachnik 15 years ago
#310 AST Parser: Print filename when reporting error ast closed fixed 1.1 enhancement minor stachnik 15 years ago
#315 Set source file when constructing AST nodes ast closed fixed 1.1 defect major stachnik 15 years ago
1 2 3 4 →
Note: See TracReports for help on using and creating reports.