Custom Query (311 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (201 - 300 of 311)

← 1 2 3 4 →
Ticket Summary Owner Type Priority Milestone Component
#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
#247 add guard expression to system function zirkel enhancement major Release 1.0 front
#248 add message to TASS assert zirkel enhancement major Release 1.0 multiple
#249 Change signature of main to be consistent with C Stephen Siegel task major 1.1 examples
#250 Make release 1.0 zirkel task major Release 1.0 Administration
#251 initializing null pointer variable zirkel defect major 1.1 front
#252 expand grammar for #define constants zirkel enhancement major 1.1 front
#253 Improve syntax exception reporting bperry defect major 1.1 front
#254 web page: bad example dfix defect major Release 1.0 Publicity
#255 lib path wrong zirkel defect major 1.0.1 lib
#256 Fix UI printout of revision number Stephen Siegel defect major 1.1 Administration
#257 get rid of all compiler warnings zirkel defect major 1.0.1 multiple
#258 TASS latest release contains tilde file zirkel defect major 1.1 Administration
#259 javadoc not being executed zirkel defect major Administration
#260 parser test failures zirkel defect major 1.1 front
#261 Add support for #define input variables zirkel enhancement major 1.1 front
#263 False guards are not getting reported as a deadlock Stephen Siegel defect major verify
#264 null pointer exception in TreeParser using collective assert zirkel defect major 1.1 front
#265 ModelBuilder runtime exception zirkel defect major 1.1 front
#266 diffusion/ghost: no main function? defect major 1.1 front
#267 collective assertion not getting added to model in unbalanced1.c zirkel defect major 1.1 front
#268 no extra locations for collective assertions... zirkel defect major 1.1 front
#270 implement local variable refs in collectives assertions zirkel task major 1.1 front
#271 Cobertura report generation down defect major 1.1 scripts
#272 Regular invariant not being added correctly zirkel defect major 1.1 front
#276 parser test failure zirkel defect major 1.1 front
#277 NullPointerException in ModelEnvironment defect major state
#279 string parse error in TreeParser zirkel defect major 1.1 front
#280 two return locations defect major 1.1 front
#281 parser rejects abstract functions which return arrays defect major 1.1 front
#282 Null pointer exception in TreeParser: fcn zirkel defect major 1.1 front
#283 Dimension mismatch in array declaration defect major front
#284 Grammar ignore zirkel enhancement major 1.1 front
#285 Automatically cast arrays to pointer expressions zirkel enhancement major ast2model
#286 Allow expressions with side effects enhancement major front
#287 Support compound statements enhancement major front
#288 Support arbitrary nested scopes Stephen Siegel enhancement major 1.1 model
#289 Allow function prototypes enhancement major front
#290 Add support for preprocessor function-like macros enhancement major front
#291 Ignore lines beginning with '# ' enhancement major front
#293 Handle casts in simplifier defect major simplify
#296 add AST type: Vector stachnik enhancement major 1.1 ast
#299 TypeReferenceNodeIF should extend TypeNodeIF zirkel defect major 1.1 ast
#300 change type in AST factory composite node method zirkel defect major 1.1 Administration
#301 AST root node: override child zirkel enhancement major 1.1 ast
#302 add insertChild method in SequenceNodeIF zirkel enhancement major 1.1 ast
#304 New command line options Stephen Siegel enhancement major front
#306 Function definitions need to be set stachnik defect major ast
#307 Error in XML output tmcclory defect major clang
#308 Main needs to be included in the GlobalScopeNodes stachnik defect major ast
#309 Relax main method signature requirements task major model
#314 ArrayIndexOutOfBoundsException in morph (via state) Stephen Siegel defect major 1.1 state
#315 Set source file when constructing AST nodes stachnik defect major 1.1 ast
#316 Add representation of comma operator to AST stachnik defect major 1.1 ast
#317 failure on example.c defect major 1.1 multiple
#318 Add Assignment Type Field to AssignmentNodeIF stachnik defect major Administration
#319 Add Support for Multiple Inheritance to XML Schema stachnik defect major XML
#320 PragmaNodes should be GlobalScopeNodes stachnik defect major ast
#321 Make ASTTransformer to find startof nodes zirkel task major ast
#322 Update Clang XML LoopNode Output tmcclory defect major XML
#323 Array Extents Not Specified in Clang Output tmcclory defect major clang
← 1 2 3 4 →
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.