News for hackers. Stuff that matters.

A comment on Synthesizing Optimal 8051 Code.

Re:Synthesizing Optimal 8051 Code by dhash on Tuesday April 07, 2020 @04:02PM (#22806929)
This looks like what CVC4's SyGuS component is useful for, especially since their optimization criteria is "smallest program"
[ Parent | on HN ]

There are no comments on this comment yet.