mini-mlv.elf
evalv.elf
cpm.elf
ceval.elf
ceval-sound.elf
ceval-complete.elf
proof-equiv.elf