bollu/SCEV-coq

LLVM's loop analysis theory (Scalar Evolution) formalized in Coq

Makefile