Custom Query (12 matches)
Ticket | Summary | Owner | Type | Priority | Milestone | Component |
---|---|---|---|---|---|---|
#4 | Implement exec --symbolic. | feature | major | 4.3 | MC | |
#19 | SYM: Spurious errors due to infeasible explicit values | defect | major | 5.0 | LART | |
#25 | Make metadata exception map lock-free | feature | major | 4.4 | VM | |
#26 | The weakmem runtime leaks memory | defect | major | 5.0 | DiOS | |
#39 | Hunt down libc functions that should be defined weak | task | minor | 5.0 | DiOS | |
#47 | Benchmark abstraction cleanup influence | task | major | 5.0 | DiOS | |
#49 | Build system should check for minimal version of Z3 | defect | minor | 4.3 | other | |
#53 | divcc: Investigate and fix coreutils' ls | defect | major | 4.3 | divcc | |
#60 | missing __sym_sitofp | defect | major | 4.3 | other | |
#62 | Generate concrete counterexample from smt. | feature | major | 4.3 | MC | |
#72 | Termination testing our data structures | defect | major | 5.0 | other | |
#107 | unreachable executed: unknown binary operation fp.leq | defect | minor | 4.4 | DiOS |
Note: See TracQuery
for help on using queries.