issues
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
Update CMakeLists.txt
#168
Closed
Bo-Yuan-Huang
closed
4 years ago
Bo-Yuan-Huang
commented
4 years ago
Update version from
1.0.1
to
1.0.2
for invariant synthesis support.
1.0.1
to1.0.2
for invariant synthesis support.