Yes, basically. I'd say it's showing how to translate that Racket code (taken from Shriram Krishnmurthi's JFP paper/LL1 talk) into Sham.
Sam On Thu, Dec 12, 2019 at 10:32 PM Anthony Carrico <acarr...@memebeam.org> wrote: > > On 12/12/19 10:05 PM, Sam Tobin-Hochstadt wrote: > > You might be interested in our project Sham > > So is this compiling a state machine (or, two actually) to llvm and > running against a Racket oracle? > https://github.com/rjnw/sham/blob/master/test/automata.rkt > > -- > Anthony Carrico > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/c619eae3-fac5-9a8f-a35a-dbf5a6921839%40memebeam.org. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BZfZPRKHe0PXgSowJZZO%3DbgC1Ggn9Psk%3DXucikxpEJG8g%40mail.gmail.com.
