ILAng icon indicating copy to clipboard operation
ILAng copied to clipboard

Published 20 hours ago • verified publisher icon PrincetonUniversity

[WIP] Support for converting ILA program fragments to CHC problems

Open Anonymous-Stranger opened this issue 2 years ago • 0 comments

Code significantly lacks comments, so we definitely shouldn't merge into master yet.

Anonymous-Stranger avatar Feb 17 '22 22:02 Anonymous-Stranger