9 Commits (179cc58e17cd8fd33fa3e34d4c899b5225b7272a)

Author SHA1 Message Date
Benno Stein 50b60bc049 [sledge] Add APRON-backed Interval abstract domain
5 years ago
Benno Stein 6592eb609f [sledge] Add option to skip recursive calls at depth bound
5 years ago
Josh Berdine 0f5ae186b3 [sledge] Add test for use-after-destroy of a temp
6 years ago
Josh Berdine cfc1c8be36 [copyright] Remove years
6 years ago
Josh Berdine 12bab4b16b [sledge] Add formal parameters to functions for return values
6 years ago
Josh Berdine caef28f49e [sledge] Revise test scripts
6 years ago
Timotej Kapus b9ba97a2fd [sledge] Add globalopt pass to remove globals
6 years ago
Timotej Kapus 881a4d10af [sledge] Fix bound not bounding recursion
6 years ago
Josh Berdine babe25fd29 [sledge] Fix translation of global initializers
6 years ago