Custom Query (311 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (1 - 100 of 311)

1 2 3 4 →
Ticket Summary Owner Type Priority Milestone Component
#125 add line number for "implicit return" ywei enhancement trivial front
#144 Improvements to source text ywei enhancement trivial front
#4 ugly output in verbose mode ywei defect minor front
#5 command line interface corrections ywei defect minor front
#6 text associated to branch statements ywei enhancement minor front
#7 white space in text ywei enhancement minor front
#10 command line interface additions ywei enhancement minor front
#15 prover debugging output should print result ywei enhancement minor symbolic
#21 improvements to user interface ywei enhancement minor User Interface
#23 printing of symbolic expressions needs improvement ywei enhancement minor symbolic
#25 SyntaxException when verifying matmat-seq.mmp zirkel defect minor examples
#28 improvements to model printing with source ywei enhancement minor model
#30 improve model names ywei enhancement minor User Interface
#31 deprecated "\O" notation occurs in diffusion example zirkel defect minor examples
#34 Add for loop support to front end ywei enhancement minor front
#40 change name of Minimp to MiniMP ywei task minor Administration
#41 change the JUnit test zirkel defect minor test
#51 add front end support for ++ and -- ywei enhancement minor front
#55 enhance JUnit tests zirkel enhancement minor Administration
#67 text associated to expressions has extra token ywei defect minor front
#85 Integers cannot be set to negative literal ywei defect minor front
#101 create BooleanValueIF Stephen Siegel enhancement minor value
#105 Add support for new statements: pushassumption, popassumption enhancement minor multiple
#106 Simplify print in model package enhancement minor model
#124 improve performance of validity checking and other symbolic operations Stephen Siegel enhancement minor value
#127 Improve symbolic variable names ywei enhancement minor symbolic
#132 Need to shut down the dynamic factory when it is not in use Stephen Siegel defect minor value
#138 source not set for sub-expressions of array subscript expressions ywei defect minor front
#155 Better error reporting from parser needed ywei enhancement minor Release 1.0 Administration
#172 Add check for the -inputX=N options Stephen Siegel enhancement minor model
#178 Number of bound variables in a symbolic quantifier expression Stephen Siegel enhancement minor symbolic
#191 source text not set correctly ywei defect minor Release 1.0 front
#193 source text for loop too big ywei defect minor Release 1.0 front
#196 source still too big ywei defect minor Release 1.0 front
#219 Cannot use -> on left hand of assignment in .mmp files Stephen Siegel defect minor Release 1.0 examples
#221 Cannot declare multiple variables on one line in .mmp zirkel enhancement minor Release 1.0 front
#238 source text for implicit return is empty bperry defect minor Release 1.0 front
#262 Make .externalToolBuilders/Ant_Builder.launch generic task minor Administration
#273 Clean up front end names task minor front
#298 change method names in ast package involving "name" zirkel enhancement minor 1.1 ast
#303 make invocation of clang parser portable defect minor 1.1 User Interface
#305 Remove incorrect assertions stachnik defect minor ast
#310 AST Parser: Print filename when reporting error stachnik enhancement minor 1.1 ast
#311 Add print method to AbstractSyntaxTreeIF stachnik enhancement minor 1.1 ast
#312 remove extraneous printing of AST stachnik defect minor 1.1 ast
#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
1 2 3 4 →
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.