Custom Query (311 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 200 of 311)

← 1 2 3 4 →
Ticket Summary Owner Type Priority Milestone Component
#122 add option to not stop after finding violation enhancement major Release 1.0 verify
#123 improve performance of hash and equality functions enhancement major multiple
#126 sum tests fail ywei defect major test
#128 Assume implementation error defect major semantics
#129 simplify compare problem in matmat ywei defect major test
#130 simpleArrayTest failure ywei defect major Administration
#131 Extra assumptions in implementation not used Stephen Siegel defect major semantics
#133 null pointer exception in model builder ywei defect major front
#134 arithmetic parsing error ywei defect major front
#135 syntax error in diffusion1_par.mmp zirkel defect major examples
#136 Pointer type not parsed in formal parameter list ywei defect major front
#137 pointer addition not in grammar ywei defect major front
#139 running simpleRecordTest causes freeze defect major Administration
#140 Pointer decl/initialization expression leads to NullPointerException in TreeParser ywei defect major front
#141 simplify error in diffusion1 defect major Administration
#142 Class cast exception in diffusion1 ywei defect major symbolic
#143 source not set for allocate statements ywei defect major front
#145 Add simplify method to SymUniverseIF ywei enhancement major symbolic
#146 add to front-end: e[i] ywei enhancement major front
#147 write outline for CAV tool paper zirkel task major Publicity
#148 ClassCastException in dynamic package ywei defect major front
#149 Tech report task major Publicity
#150 Create web site task major Administration
#151 Fib example gets wrong answer ywei defect major verify
#152 front end does not parse certain type expressions ywei defect major front
#153 implement XML representation of model bperry task major front
#156 ClassCastException in TreeParser ywei defect major Release 1.0 front
#157 tuple support in symbolic universe incomplete ywei defect major Release 1.0 symbolic
#158 implement garbage collection Stephen Siegel task major Release 1.0 semantics
#159 use exact rational arithmetic? enhancement major Release 1.0 multiple
#162 Add unit test tree task major Release 1.0 test
#163 rationalize the command-line interface and class MiniMP ywei enhancement major Release 1.0 User Interface
#164 MiniMP language page needs to be fixed ywei task major Release 1.0 Documentation
#165 need cast from int to real operation in symbolic package ywei enhancement major Release 1.0 symbolic
#166 rename MiniMP-> TASS task major Release 1.0 Administration
#168 Examples need to be parametrized task major Release 1.0 examples
#169 front end and symbolic need to use BigRational, BigInteger ywei task major Release 1.0 multiple
#170 Add sizeof operator to front end ywei enhancement major Release 1.0 front
#171 Multiple improvements to binary release zirkel enhancement major Release 1.0 Administration
#173 Add char type to model and value layer zirkel enhancement major multiple
#174 Print intermediate report during execution Stephen Siegel enhancement major User Interface
#175 Add sizeof expression to model package zirkel defect major Release 1.0 model
#176 longName() method in PointerType class may cause stack overflow Stephen Siegel defect major Release 1.0 model
#177 Add record literal expression in model package zirkel enhancement major model
#179 NullPointerException in DynamicFactory constructor Stephen Siegel defect major Release 1.0 verify
#180 When abstract functions are created, the continuity should be saved zirkel defect major Release 1.0 front
#182 add evaluateEvaluatedFunction method to Executor zirkel enhancement major semantics
#184 Make library framework zirkel enhancement major Release 1.0 None
#185 Verification Suite zirkel task major Administration
#186 null pointer exception from CVC3 prover ywei defect major Release 1.0 prove
#187 Array out of bound exception in AdderTest ywei defect major Release 1.0 symbolic
#188 Illegal argument exception in AdderTest Stephen Siegel defect major Release 1.0 symbolic
#189 Another illegal argument exception in AdderTest Stephen Siegel defect major Release 1.0 symbolic
#190 Add list of abstract functions to XML representation of model bperry enhancement major Release 1.0 XML
#192 string index error in parser ywei defect major Release 1.0 front
#194 nestedLoops: inconclusive result in v1.0 ywei defect major Release 1.0 examples
#195 missing diffusion_par.mmp defect major Release 1.0 examples
#197 linear time membership test in loop module defect major Release 1.0 verify
#198 PointerTest: record test has infinite recursion Stephen Siegel defect major Release 1.0 dynamic
#199 CVC3 prover does not handle MODULO ywei defect major Release 1.0 prove
#200 compilation error in model module zirkel defect major Release 1.0 model
#201 source release zirkel defect major Release 1.0 Administration
#203 Add support for record and array literal expressions to the front-end ywei enhancement major Release 1.0 front
#204 Allow array type variables to have initialization ywei defect major Release 1.0 model
#205 Extend evaluateLiteral in Evaluator to support records, arrays, and characters zirkel enhancement major Release 1.0 semantics
#206 Formal grammar for assertion and joint invariant language bperry task major Release 1.0 XML
#207 Add support for APPLY to CVC3TheoremProver task major Release 1.0 prove
#208 Separate pragma parsing out of language parser and put it into model builder bperry enhancement major Release 1.0 front
#209 Add support for APPLY operation in CVC3TheoremProver ywei defect major Release 1.0 prove
#210 Try to build solaris version of CVC3, etc. zirkel task major None
#212 move auto tests to anton zirkel task major Release 1.0 test
#213 Add array and record literals to frontend ywei defect major front
#214 Simplifier: x=y && y=2 does not simplify correctly on x Stephen Siegel enhancement major Release 1.0 symbolic
#215 Discrepency when simplifying using reals vs integers zirkel defect major Release 1.0 dynamic
#216 Simplifier: improper simplification when simplifying on an implication zirkel defect major Release 1.0 symbolic
#217 Add constants to model zirkel enhancement major model
#218 Failure in GradeCount loop test ywei defect major Release 1.0 examples
#220 No null constant value Stephen Siegel enhancement major Release 1.0 symbolic
#222 Infinite loop with pointer usage in .mmp file defect major Release 1.0 examples
#223 Parser error with pointer manipulation in .mmp file defect major Release 1.0 examples
#224 Free fails when used on a struct pointer. defect major Release 1.0 examples
#225 EvaluatedFunction not used zirkel defect major Release 1.0 dynamic
#226 heap canonicalization does not report leaks Stephen Siegel defect major Release 1.0 state
#227 Parser error when declaring a pointer and assigning it memory with malloc on same line. defect major Release 1.0 examples
#228 Error reporting issue when parsing .mmp file. defect major Release 1.0 examples
#229 Improve ExecutionException Stephen Siegel enhancement major Release 1.0 multiple
#230 null pointer exception in return statement ywei defect major Release 1.0 front
#231 add casts between pointer types zirkel enhancement major Release 1.0 multiple
#233 change grammar and examples to C notation enhancement major Release 1.0 multiple
#234 Parser Test fail on MPI_Init zirkel defect major Release 1.0 front
#235 variadic formals Stephen Siegel enhancement major 1.1 multiple
#236 source not getting set for malloc zirkel defect major Release 1.0 front
#237 reduce output from tests dfix task major Release 1.0 test
#240 free requires LHS expression in model builder zirkel defect major Release 1.0 front
#241 add assert to grammar ywei enhancement major Release 1.0 front
#242 problem with negative constants bperry defect major Release 1.0 front
#243 forall example needs accompanying JUnit test bperry task major Release 1.0 test
#244 shadow variables handled incorrectly zirkel defect major Release 1.0 front
#245 implement count correctly in MPI point-to-point ops Stephen Siegel defect major Release 1.0 None
#246 Foo function square no make sense zirkel defect major Release 1.0 Administration
← 1 2 3 4 →
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.