search

zkincaid / duet

Duet: static analysis for unbounded concurrency
http://duet.cs.toronto.edu
MIT License
23 stars 16 forks source link

Embeds #7

Closed tm507211 closed 6 years ago

tm507211 commented 7 years ago

Updates embedding algorithm to be more modular and adds "arc consistency" code.