Unroll instruction sequence using templated SMT formula generator

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

Unroll instruction sequence using templated SMT formula generator #204

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

Templated PathUnroller to generate SMT formula for a given instruction sequence
Auto type deduction based on the SMT generator (i.e., SmtShim)

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert when merging dc382faa8e98f6fe4c5fa3eff6ed3821598c99dc into e294b7d5d22b2aa972f19980dee9162bfc2a765b - view on LGTM.com

new alerts:

1 for Missing header guard