Custom Query (12 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Type Priority Milestone Component
#47 Benchmark abstraction cleanup influence assigned task major 5.0 DiOS
#49 Build system should check for minimal version of Z3 assigned defect minor 4.3 other
#48 Destroy symbolic formula directly when 0 reference count is reached assigned feature major 4.3 DiOS
#40 Error with _SYM and array indexing (worked in 4.1.6) new feature major 5.0 LART
#17 Generalize smt builder interface to be usable with different back-ends. assigned feature major 5.0 MC
#62 Generate concrete counterexample from smt. assigned feature major 4.3 MC
#18 Implement string modification abstraction. new task major 5.0 LART
#60 missing __sym_sitofp assigned defect major 4.3 other
#46 Simplify stashing mechanism assigned feature major 4.3 DiOS
#19 SYM: Spurious errors due to infeasible explicit values assigned defect major 5.0 LART
#16 Undetected double free new feature major 5.0 LART
#22 Use lifetime markers to move allocas new task major 4.3 LART
Note: See TracQuery for help on using queries.