Add concolic execution and McMillan's lazy-abstraction algorithm to CRA

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Closed ruijiefang closed 1 year ago

ruijiefang commented 2 years ago

Code needs massive clean up. Will do it step by step.

ruijiefang commented 1 year ago

closing this PR in order to incrementally add features in many small PRs :).