search

zkincaid / duet

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

Newton ark2 #9

Closed aeflores closed 6 years ago

aeflores commented 6 years ago

updates in the conversion code for dealing with multiple return values.