compilerex

compilerex is a hacky cgc binary compiler

Example Usage

./compile.sh test/pov_palindrome_type_1.c -o pov_palindrome_type_1
./compile.sh (stuff you'd pass to clang)

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
compilerex		compilerex
src		src
test		test
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md
compile_boolector.sh		compile_boolector.sh
compile_libc.sh		compile_libc.sh
setup.py		setup.py