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

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

Results (201 - 300 of 334)

← 1 2 3 4 →

(empty) (100 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#17 implement verify.loop verify closed fixed 1.0 task major ywei 16 years ago
#94 Update svn server Administration closed fixed task major Stephen Siegel 16 years ago
#149 Tech report Publicity closed fixed 1.0 task major 16 years ago
#150 Create web site Administration closed fixed 1.0 task major 16 years ago
#147 write outline for CAV tool paper Publicity closed fixed 1.0 task major zirkel 16 years ago
#146 add to front-end: e[i] front closed fixed 1.0 enhancement major ywei 16 years ago
#144 Improvements to source text front closed fixed 1.0 enhancement trivial ywei 16 years ago
#145 Add simplify method to SymUniverseIF symbolic closed fixed 1.0 enhancement major ywei 16 years ago
#55 enhance JUnit tests Administration closed fixed 1.0 enhancement minor zirkel 16 years ago
#118 Weird failure in MatrixMultiplication test test closed fixed 1.0 defect major 16 years ago
#129 simplify compare problem in matmat test closed fixed 1.0 defect major ywei 16 years ago
#141 simplify error in diffusion1 Administration closed fixed defect major 16 years ago
#142 Class cast exception in diffusion1 symbolic closed fixed 1.0 defect major ywei 16 years ago
#143 source not set for allocate statements front closed fixed 1.0 defect major ywei 16 years ago
#140 Pointer decl/initialization expression leads to NullPointerException in TreeParser front closed fixed 1.0 defect major ywei 16 years ago
#93 Add allocate and deallocate in the front end front closed fixed 1.0 enhancement major ywei 16 years ago
#137 pointer addition not in grammar front closed fixed 1.0 defect major ywei 16 years ago
#138 source not set for sub-expressions of array subscript expressions front closed fixed 1.0 defect minor ywei 16 years ago
#123 improve performance of hash and equality functions multiple closed fixed 1.0 enhancement major 16 years ago
#135 syntax error in diffusion1_par.mmp examples closed fixed defect major zirkel 16 years ago
#136 Pointer type not parsed in formal parameter list front closed fixed 1.0 defect major ywei 16 years ago
#134 arithmetic parsing error front closed fixed 1.0 defect major ywei 16 years ago
#133 null pointer exception in model builder front closed fixed 1.0 defect major ywei 16 years ago
#132 Need to shut down the dynamic factory when it is not in use value closed fixed defect minor Stephen Siegel 16 years ago
#131 Extra assumptions in implementation not used semantics closed fixed 1.0 defect major Stephen Siegel 16 years ago
#119 Errors in diffusion tests test closed fixed 1.0 defect major zirkel 16 years ago
#130 simpleArrayTest failure Administration closed fixed 1.0 defect major ywei 16 years ago
#128 Assume implementation error semantics closed fixed defect major 16 years ago
#125 add line number for "implicit return" front closed fixed 1.0 enhancement trivial ywei 16 years ago
#121 mean tests fail multiple closed fixed 1.0 defect major ywei 16 years ago
#126 sum tests fail test closed fixed 1.0 defect major ywei 16 years ago
#120 rejected initialization expression x+y front closed fixed 1.0 defect major ywei 16 years ago
#96 parser should quit when syntax error encountered front closed fixed 1.0 defect major ywei 16 years ago
#117 Problems with tests and use of static data test closed fixed 1.0 defect major ywei 16 years ago
#98 usage information incorrect User Interface closed fixed 1.0 defect major ywei 16 years ago
#111 matmat compare: outputs not equivalent? Administration closed fixed 1.0 defect major ywei 16 years ago
#114 TileTests fail semantics closed fixed 1.0 defect major Stephen Siegel 16 years ago
#116 MatrixMultiplicationTests: compare failures test closed fixed 1.0 defect major 16 years ago
#87 send report of API problems to cvc3 Administration closed fixed task major ywei 16 years ago
#112 Parse error when declaring and assigning on the same line front closed fixed defect major ywei 16 years ago
#113 different behavior when using simplify multiple closed fixed defect major ywei 16 years ago
#107 Add symbolic function type symbolic closed fixed enhancement major 16 years ago
#109 unknown expression type Administration closed fixed 1.0 defect major ywei 16 years ago
#110 array compare problem in symbolic? Administration closed fixed 1.0 defect major ywei 16 years ago
#80 simplify fails on dividing by plus expressions symbolic closed fixed 1.0 defect major ywei 16 years ago
#108 array problem in symbolic symbolic closed fixed 1.0 defect major ywei 16 years ago
#74 Bus error using -simplify symbolic closed fixed 1.0 defect major ywei 16 years ago
#42 CVC3 prover problems symbolic closed fixed 1.0 defect major ywei 16 years ago
#82 add record types and tuple types to symbolic package symbolic closed fixed 1.0 enhancement major ywei 16 years ago
#89 send email to cvc3-users on non-linear accuracy example Administration closed fixed task major zirkel 16 years ago
#100 symbolic array dimensions are inverted symbolic closed fixed 1.0 defect major ywei 16 years ago
#99 formal parameters have null source front closed fixed 1.0 defect major ywei 16 years ago
#97 wrong function printed front closed fixed 1.0 defect major ywei 16 years ago
#104 cast error in symbolic package symbolic closed fixed 1.0 defect major 16 years ago
#71 laplace example: inputs examples closed fixed 1.0 enhancement major zirkel 16 years ago
#92 add methods in symbolic universe to support unbound arrays symbolic closed fixed 1.0 enhancement major ywei 16 years ago
#40 change name of Minimp to MiniMP Administration closed fixed 1.0 task minor ywei 16 years ago
#48 add pointer types, values to model model closed fixed 1.0 enhancement major Stephen Siegel 16 years ago
#90 NullPointerException when using potential deadlock verify closed fixed 1.0 defect major Stephen Siegel 17 years ago
#91 Add new directory in the branches for modelExtractor Administration closed fixed 1.0 task major ywei 17 years ago
#86 The target location is not being set for a select statement front closed fixed 1.0 defect major ywei 17 years ago
#85 Integers cannot be set to negative literal front closed fixed defect minor ywei 17 years ago
#83 Bug in checking equivalence of array outputs symbolic closed fixed 1.0 defect major ywei 17 years ago
#76 OSError: [Errno 13] Permission denied: '/vsl/trac/minimp/attachments/ticket' Administration closed fixed defect major zirkel 17 years ago
#44 Add for loop functionality to model model closed fixed 1.0 enhancement major zirkel 17 years ago
#81 add support for type ids model closed fixed 1.0 enhancement major Stephen Siegel 17 years ago
#47 add record types to model model closed fixed 1.0 enhancement major Stephen Siegel 17 years ago
#9 multiple bugs in Urgent verify closed fixed 1.0 defect major Stephen Siegel 17 years ago
#72 Make posters for accuracy verification and comparative symbolic execution Publicity closed fixed task major ywei, zirkel 17 years ago
#11 improve handling of counterexamples search closed fixed 1.0 enhancement major Stephen Siegel 17 years ago
#79 for loop problem front closed fixed 1.0 defect major 17 years ago
#78 Class cast exception in matmat-par_2_2_2.mmp semantics closed fixed 1.0 defect major Stephen Siegel 17 years ago
#77 unreachable location in matmat example multiple closed fixed 1.0 defect major 17 years ago
#67 text associated to expressions has extra token front closed fixed 1.0 defect minor ywei 17 years ago
#34 Add for loop support to front end front closed fixed 1.0 enhancement minor ywei 17 years ago
#28 improvements to model printing with source model closed fixed 1.0 enhancement minor ywei 17 years ago
#75 Problems with tass verify, ArrayIndexOutOfBounds Exception semantics closed fixed 1.0 defect major Stephen Siegel 17 years ago
#50 add front end support for initialization expressions front closed fixed 1.0 enhancement major ywei 17 years ago
#73 add Robert Deaton to Trac list Administration closed fixed task major zirkel 17 years ago
#63 errors in matmat-par_2_2_2.mmp examples closed fixed 1.0 defect major zirkel 17 years ago
#66 error in simpleMPImpl examples closed fixed 1.0 defect major zirkel 17 years ago
#68 -loop option front closed fixed 1.0 enhancement major ywei 17 years ago
#52 matrixMultiplication compare returns false examples closed fixed 1.0 defect major ywei, zirkel 17 years ago
#69 skewFactor: EmptyStackException front closed fixed 1.0 defect major ywei 17 years ago
#65 JUnit test problem with SimpleMP test closed fixed 1.0 defect major zirkel 17 years ago
#62 infinite loop when verifying simpleMPSpec search closed fixed 1.0 defect major Stephen Siegel 17 years ago
#22 automatic email Administration closed fixed 1.0 task major zirkel 17 years ago
#31 deprecated "\O" notation occurs in diffusion example examples closed fixed 1.0 defect minor zirkel 17 years ago
#64 error due to integer division in mean example examples closed fixed 1.0 defect major 17 years ago
#32 casting between ints and reals symbolic closed fixed 1.0 enhancement major ywei 17 years ago
#54 translate <= as lessThanOrEquals front closed fixed 1.0 enhancement major ywei 17 years ago
#56 mean: null pointer exception front closed fixed 1.0 defect major ywei 17 years ago
#59 skewFactor: Null pointer exception front closed fixed 1.0 defect major ywei 17 years ago
#61 null pointer exception in simpleMPSpec front closed fixed 1.0 defect major 17 years ago
#60 ArrayStoreException in simpleMP state closed fixed 1.0 defect major Stephen Siegel 17 years ago
#51 add front end support for ++ and -- front closed fixed 1.0 enhancement minor ywei 17 years ago
#58 simpleMP: Null pointer exception from parse front closed fixed 1.0 defect major ywei 17 years ago
#43 matmat: send stmt parse exception front closed fixed 1.0 defect major ywei 17 years ago
#57 nestedLoops: RuntimeException: Undefined value found. symbolic closed fixed 1.0 defect major ywei 17 years ago
#19 JUnit test cases examples closed fixed 1.0 task major zirkel 17 years ago
← 1 2 3 4 →
Note: See TracReports for help on using and creating reports.