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 final #217

Closed ILAng-service closed 2 years ago

ILAng-service commented 3 years ago

Update travis, azure, docker configurations

ILAng-service commented 3 years ago

This pr updates the azure and docker configurations -- also mute travis on master branch because it's currently not working.