l1mey112/peephole-formal

Theory and formalisation of basic peephole optimisations that you would find in any compiler.

语言：Zig · GitHub 星标：9 · Fork：0

话题：compiler · lean4 · llvm-ir · optimization · undefined-behavior

在 GitHub 上查看原仓库