This repository contains tools for the regression verification and semantic slicing of programs. Both base on the LLVM library for parsing, compiling, optimising and preprocessing code. The semantic slicing tool uses the regression verification tool in its workflow.
All work in this repository is licensed under the BSD3 license.