- HIGH: convert issues to actual issues (TS)
- merge concurrency branch into master (FC) started
- replace inlining with modular analysis (FC, TS, MR student)
- better invariants via predicate abstraction (PS)
- better support for pthread programs
- termination (FC)
- slicing (DG thing seems to work, testing it/integrate?, TS)
- string operations
- move partial order reduction to Skink (FC)
- fix for multiple dependency issue? (TS)
- HIGH: floating point (FC) [IN PROGRESS]
- HIGH: bitvector arrays (FC) [DONE]
- reals??, not sure if any in COMP (FC) [DONE]
- support for other source languages or IRs (Java ?)
- addressing other problems using Skink approach (security, taint analysis, MISRA?)
- contribute benchmarks to SV-COMP (MR)