8 Commits (1ab8359bc0da790673ff654b61ba159c7fe72403)

Author SHA1 Message Date
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