release_20120706 ================================================================ - support for PN generation from weakly dynamic programs, i.e., - input programs with dynamic (data-dependent) if-statements are supported - input programs with dynamic for-loop upper bounds are supported - bug fixes release_20120207 ================================================================= - regular update - bug fixes - replaced suif frontend by clang