elf2hex/elf2hex *.o *.hi *.hex *~ test/build/ .stack-work # no need to put under version control because stack.yaml already hardcodes all versions precisely stack.yaml.lock gnu-mcu-eclipse *.dyn_o *.dyn_hi src/verilog/ /riscv-memory-model/alloy4.2_2015-02-22.jar /test/litmus/*.log /execution*.als