Custom Query (288 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (1 - 100 of 288)

1 2 3 →
Ticket Summary Owner Type Priority Milestone Component
#24 symbolic arrayWrite method giving incorrect results ywei defect critical symbolic
#38 Need ifThenElse symbolic expression ywei task critical symbolic
#160 Prepare "binary" release zirkel task critical Release 1.0 Administration
#167 Upload binaries Stephen Siegel task critical Administration
#292 bug when initializing multiple variables in one decl Stephen Siegel defect critical 1.1 front
#1 null corresponding variable: tile example ywei defect major verify
#2 null pointer exception in Evaluator Stephen Siegel defect major semantics
#3 Execution exception in InnerPredicate Stephen Siegel defect major verify
#8 symbolic expressions not being transformed into canonical form ywei enhancement major symbolic
#9 multiple bugs in Urgent Stephen Siegel defect major verify
#11 improve handling of counterexamples Stephen Siegel enhancement major search
#12 Execution exception in Evaluator ywei defect major front
#13 erratic behavior in symbolic package ywei defect major symbolic
#14 flaw in simplify routine? ywei defect major symbolic
#16 symbolic exception: arrayloop_2 ywei defect major symbolic
#17 implement verify.loop ywei task major verify
#18 examples zirkel task major examples
#19 JUnit test cases zirkel task major examples
#20 illegal reading of output variable zirkel defect major examples
#22 automatic email zirkel task major Administration
#26 Error in front-end on factorial example ywei defect major front
#27 send-recv deadlock zirkel defect major examples
#29 matrix multiplication tiling is incorrect zirkel defect major examples
#32 casting between ints and reals ywei enhancement major symbolic
#33 illegal use of output variable in matmat zirkel defect major examples
#35 if-then-else ywei enhancement major multiple
#36 Flag to control simplify ywei defect major multiple
#37 Command line option to specify buffer bound ywei enhancement major front
#39 format of examples zirkel defect major examples
#42 CVC3 prover problems ywei defect major symbolic
#43 matmat: send stmt parse exception ywei defect major front
#44 Add for loop functionality to model zirkel enhancement major model
#45 add support for initial values of scalar variables to model Stephen Siegel enhancement major model
#46 add front end support for if-then-else ywei enhancement major front
#47 add record types to model Stephen Siegel enhancement major model
#48 add pointer types, values to model Stephen Siegel enhancement major model
#50 add front end support for initialization expressions ywei enhancement major front
#52 matrixMultiplication compare returns false ywei, zirkel defect major examples
#53 Add <= operator to model Stephen Siegel defect major model
#54 translate <= as lessThanOrEquals ywei enhancement major front
#56 mean: null pointer exception ywei defect major front
#57 nestedLoops: RuntimeException: Undefined value found. ywei defect major symbolic
#58 simpleMP: Null pointer exception from parse ywei defect major front
#59 skewFactor: Null pointer exception ywei defect major front
#60 ArrayStoreException in simpleMP Stephen Siegel defect major state
#61 null pointer exception in simpleMPSpec defect major front
#62 infinite loop when verifying simpleMPSpec Stephen Siegel defect major search
#63 errors in matmat-par_2_2_2.mmp zirkel defect major examples
#64 error due to integer division in mean example defect major examples
#65 JUnit test problem with SimpleMP zirkel defect major test
#66 error in simpleMPImpl zirkel defect major examples
#68 -loop option ywei enhancement major front
#69 skewFactor: EmptyStackException ywei defect major front
#70 Add abstract functions to frontend ywei enhancement major front
#71 laplace example: inputs zirkel enhancement major examples
#72 Make posters for accuracy verification and comparative symbolic execution ywei, zirkel task major Publicity
#73 add Robert Deaton to Trac list zirkel task major Administration
#74 Bus error using -simplify ywei defect major symbolic
#75 Problems with tass verify, ArrayIndexOutOfBounds Exception Stephen Siegel defect major semantics
#76 OSError: [Errno 13] Permission denied: '/vsl/trac/minimp/attachments/ticket' zirkel defect major Administration
#77 unreachable location in matmat example defect major multiple
#78 Class cast exception in matmat-par_2_2_2.mmp Stephen Siegel defect major semantics
#79 for loop problem defect major front
#80 simplify fails on dividing by plus expressions ywei defect major symbolic
#81 add support for type ids Stephen Siegel enhancement major model
#82 add record types and tuple types to symbolic package ywei enhancement major symbolic
#83 Bug in checking equivalence of array outputs ywei defect major symbolic
#84 Multiple additions to front end ywei enhancement major front
#86 The target location is not being set for a select statement ywei defect major front
#87 send report of API problems to cvc3 ywei task major Administration
#89 send email to cvc3-users on non-linear accuracy example zirkel task major Administration
#90 NullPointerException when using potential deadlock Stephen Siegel defect major verify
#91 Add new directory in the branches for modelExtractor ywei task major Administration
#92 add methods in symbolic universe to support unbound arrays ywei enhancement major symbolic
#93 Add allocate and deallocate in the front end ywei enhancement major front
#94 Update svn server Stephen Siegel task major Administration
#96 parser should quit when syntax error encountered ywei defect major front
#97 wrong function printed ywei defect major front
#98 usage information incorrect ywei defect major User Interface
#99 formal parameters have null source ywei defect major front
#100 symbolic array dimensions are inverted ywei defect major symbolic
#103 problem with build ywei defect major Administration
#104 cast error in symbolic package defect major symbolic
#107 Add symbolic function type enhancement major symbolic
#108 array problem in symbolic ywei defect major symbolic
#109 unknown expression type ywei defect major Administration
#110 array compare problem in symbolic? ywei defect major Administration
#111 matmat compare: outputs not equivalent? ywei defect major Administration
#112 Parse error when declaring and assigning on the same line ywei defect major front
#113 different behavior when using simplify ywei defect major multiple
#114 TileTests fail Stephen Siegel defect major semantics
#115 Laplace test errors zirkel defect major front
#116 MatrixMultiplicationTests: compare failures defect major test
#117 Problems with tests and use of static data ywei defect major test
#118 Weird failure in MatrixMultiplication test defect major test
#119 Errors in diffusion tests zirkel defect major test
#120 rejected initialization expression x+y ywei defect major front
#121 mean tests fail ywei defect major multiple
#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
1 2 3 →
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.