Started prototype of constraint-based analysing framework.
Added support for function return values and started developing memory location features within CBA prototype.
Added test case for context-specific return values including generic types and made it work.
Reduzed number of generated constraints in case function is not dynamically bound.
Split up constraint converter into hierarchy and started integrating imperative constraints.
Further extended program state propagation.
Added is-bigger-then condition to set constraints.
Finished support for imperative statements and references.
Added new shape of set-constraint - |A\{t}|>e => B \sub C.
Completed support for assignment operations on CBA framework.
Started adding support for if-stmt.
Merge branch 'frontend_tu' into cfa_tryout
Added support for if-stmt.
Started supporting while-stmts.
Merge branch 'frontend_tu' into cfa_tryout
Improved container-printing infrastructure to be composable.
Added a generic set-constraint solver capable of working with varying set types simultaniously in a type save fassion.
Started arithmetic support within analysis by formalizing a test case.
Merge branch 'master' into cfa_tryout
Added a type trait for variadic template parameter lists to search for the position of a given type.