rea-unary: x86 の挙動から VHDL と形式検証へ

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

Why it is listed: Research experiment on mock binaries; credits upstream.