sup [wip] Instruction superoptimizer accelerated with CUDA. build nix-shell ./build ./out/sup benchmarks Currently gathered by ./out/sup ./test/addmul.s -e rv32i, rv32m. GPU Enumerate (cand/sec) Filter (cand/sec) GTX 1070 4800M 5000M resources riscv-opcodes HieraSynth Souper CEGIS