[Libre-soc-dev] Pseudocode-parser publications

[lkcl]

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.