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

PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs

https://bo-yuan-huang.gitbook.io/ilang/

MIT License

75 stars 18 forks source link

Open Anonymous-Stranger opened 2 years ago

Anonymous-Stranger commented 2 years ago

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