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 ci #215

Closed ILAng-service closed 3 years ago

ILAng-service commented 3 years ago

Update travis, azure, docker configurations