[Libre-soc-dev] Pseudocode-parser publications
luke.leighton at gmail.com
Tue Dec 7 21:52:20 GMT 2021
On Tue, Dec 7, 2021 at 9:38 PM Boris Shingarov <Shingarov at labware.com> wrote:
> > does an updated version yet exist?
> No. People showed lack of interest in having it move forward
deep joy. if it was funded by e.g. IBM that'd probably be a different
matter. however.... IBM knows that formal correctness proofs of 1,000+
instructions - which is what they'd be interested in - are quite insane.
> and that's the reason I started adapting my superoptimizer to
> use your PageReader.
More information about the Libre-soc-dev