Forbidding function self-references in postconditions for functions without decreases clauses#711

Merged

marcoeilers merged 4 commits into

meilers_func_post_selfreferences

Jun 17, 2023

Commits on Jun 8, 2023

Forbidding self-references in postconditions for functions without decreases clauses as part of the termination plugin
marcoeilers
committed
Added test for consistency checks, adapted existing tests
marcoeilers
committed

Commits on Jun 14, 2023

Merge branch 'master' into meilers_func_post_selfreferences
marcoeilers
authored

Commits on Jun 17, 2023

Avoiding computing cycles when it's not necessary
marcoeilers
committed

⚡