search

zkincaid / duet

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

bugfix in boolean program to internal repr trans #1

Closed mmjb closed 10 years ago

mmjb commented 10 years ago

translate (a -> b) to (not(a) || b) instead of (a || b)