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.
