V3.6+ nob - Githubissues

snu-sf / CompCertM

6 stars 5 forks source link

Closed kim-yoonseung closed 4 years ago

kim-yoonseung commented 4 years ago

Local simulation is updated with the partial-termination (a.k.a no-behavior) case. Paired with snu-sf/CompCertR#8

alxest commented 4 years ago

So concise...!

alxest commented 4 years ago

I will merge this soon after I set CI properly

alxest commented 4 years ago

Thanks a lot for your effort!