Starvation analysis (with Ralph)
Incremental analysis of Git repositories
Fixpoint algorithms - Generic fixpoint algorithms with widening and narrowing
Global invariant approach and side-effecting
HTML front-end
Thread-modular analysis of C programs -> new name for feature 3
Other features to add:
Starvation analysis (with Ralph) Incremental analysis of Git repositories Fixpoint algorithms - Generic fixpoint algorithms with widening and narrowing Global invariant approach and side-effecting HTML front-end
Thread-modular analysis of C programs -> new name for feature 3