The language is a strict subset of C modulo some small semantical differences that are relevant for bootstrapping, see https://github.com/cksystemsteaching/selfie/blob/master/sema...
@all Thanks a lot for your awesome comments and feedback. Besides compiler, emulator, and hypervisor, there is a symbolic execution engine in selfie that we are working on and would love to get feedback from you. The…
Thanks a lot, @amasad I pulled your PR and even plan to use repl.it in the upcoming compiler class.
The language is a strict subset of C modulo some small semantical differences that are relevant for bootstrapping, see https://github.com/cksystemsteaching/selfie/blob/master/sema...
@all Thanks a lot for your awesome comments and feedback. Besides compiler, emulator, and hypervisor, there is a symbolic execution engine in selfie that we are working on and would love to get feedback from you. The…
Thanks a lot, @amasad I pulled your PR and even plan to use repl.it in the upcoming compiler class.