search

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

Remove PYTHONPATH env var setting for rolling to fix CoSA requirement #132

Closed Bo-Yuan-Huang closed 5 years ago

Bo-Yuan-Huang commented 5 years ago

Per #131, enable rolling for testing latest CoSA/pySMT