[Libre-soc-dev] Pseudocode-parser publications

lkcl 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 mailing list