Experiment: dunify proofs - #1204

Draft

eponier wants to merge 12 commits into

mainfrom

Commits on Jun 16, 2025

Remove spurious dependency on compiler_util.v
eponier
committed
2b87dca
Move lowering_lemmas.v to compiler
eponier
committed
2d3e93c
Remove spurious dependency on asm_gen.v
eponier
committed
a3d63a6
Sort _CoqProject alphabetically
eponier
committed
4af5fc7
WIP
eponier
committed
abe8a05
compiler compiles
eponier
committed
e63bfed
armv7
eponier
committed
cbcf99d
x86
eponier
committed
01eca84
riscv
eponier
committed
5821c43
finish port
eponier
committed
a6f71d3
cleaning
eponier
committed
f70899d
add _CoqProject files
eponier
committed
b892e21