pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '5c1b862bbd'
${ noResults }
infer_clone/sledge/src/symbheap
History
Josh Berdine 48e947883d
[sledge] Normalize arithmetic exps to polynomials 		7 years ago
..
congruence.ml [sledge] Add typ of Add and Mul expressions 7 years ago
congruence.mli [sledge] Add congruence closure with integer offsets 7 years ago
congruence_test.ml [sledge] Normalize arithmetic exps to polynomials 7 years ago
domain.ml [sledge] Add typ of integer constants 7 years ago
domain.mli [sledge] Add abstract domain interface 7 years ago
dune.in [sledge] Build system support inline tests in all libraries 7 years ago
exec.ml [sledge] Add result type to Exp.{add,sub,mul} 7 years ago
exec.mli [sledge] Add symbolic execution 7 years ago
sh.ml [sledge] Add typ of Add and Mul expressions 7 years ago
sh.mli [sledge] Improve debug tracing 7 years ago
solver.ml [sledge] Add result type to Exp.{add,sub,mul} 7 years ago
solver.mli [sledge] Add frame inference solver over symbolic heaps 7 years ago