OC checker

Open csanadtelbisz opened this issue 2 years ago • 1 comments

This PR contains a generic ordering consistency checker for concurrent systems with a proof-of-concept implementation for sequential C programs in the xcfa subproject.

(Merge #258 first.)

Mar 25 '24 14:03 csanadtelbisz

Does this have anything of value now that the c-frontend-fix has been merged?

Jun 15 '24 19:06 leventeBajczi