Commit Graph

9 Commits (efc59b1cdfaa512f45cd1c162aeef68ba02ff0fd)

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 6 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