haybale-pitchfork 0.4.1

Verifying constant-time code with symbolic execution
Documentation 
CC=clang-9
CFLAGS=-O3

.PHONY: all
all: ct.bc ct.ll \

%.ll : %.c
	$(CC) $(CFLAGS) -S -emit-llvm $^ -o $@

%.bc : %.c
	$(CC) $(CFLAGS) -c -emit-llvm $^ -o $@

.PHONY: clean
clean:
	find . -name "*.ll" | xargs rm
	find . -name "*.bc" | xargs rm
	find . -name "*~" | xargs rm