[v1.1.1] Bug fix and clean up - Githubissues

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

[v1.1.1] Bug fix and clean up #197

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

New pass SimplifySyntactic
ILAtor support for initial condition setup using SMT queries
ILAtor bug fix in cascaded conditional memory update
Unroller support external interpretation of uninterpreted function
Redesign expression node hashing (ExprMngr)
Regular maintenance