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

Release v1.0.0 #99

Closed Bo-Yuan-Huang closed 5 years ago

Bo-Yuan-Huang commented 5 years ago

feature complete as per TACAS19 description
well-founded tests and analysis
update stable external packages (as subtrees)

Bo-Yuan-Huang commented 5 years ago

148