Custom Query (13 matches)


Show under each result:

Ticket Summary Owner Type Priority Milestone Component
#4 Implement exec --symbolic. adamatousek feature major 4.3 MC
#17 Generalize smt builder interface to be usable with different back-ends. Henrich Lauko feature major 5.0 MC
#19 SYM: Spurious errors due to infeasible explicit values Henrich Lauko defect major 5.0 LART
#26 The weakmem runtime leaks memory Vladimír Štill defect major 5.0 DiOS
#47 Benchmark abstraction cleanup influence Henrich Lauko task major 5.0 DiOS
#48 Destroy symbolic formula directly when 0 reference count is reached Henrich Lauko feature major 4.3 DiOS
#53 divcc: Investigate and fix coreutils' ls blurry defect major 4.3 divcc
#60 missing __sym_sitofp Henrich Lauko defect major 4.3 other
#62 Generate concrete counterexample from smt. Henrich Lauko feature major 4.3 MC
#72 Termination testing our data structures xstill defect major 5.0 other
#25 Make metadata exception map lock-free adamatousek feature minor 4.3 VM
#39 Hunt down libc functions that should be defined weak blurry task minor 5.0 DiOS
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor 4.3 other
Note: See TracQuery for help on using queries.