diff options
| author | Tom Alcorn | 2020-07-22 12:08:10 -0700 |
|---|---|---|
| committer | GitHub | 2020-07-22 12:08:10 -0700 |
| commit | 57c846b1389d507659fae8c7cad092fb83b5f909 (patch) | |
| tree | 7328291ea8374d9284a5b2d0871a700e4168ed55 /plugin/src | |
| parent | 473a13877c60ba9fb13de47542a8397412c2b967 (diff) | |
Basic model checking API (#1499)
* Add `check(...)` affordance
* Add assert (renamed from check and fixed)
* Add verification statements
* Move formal to experimental.verification
* Make test use ChiselStage
`generateFirrtl` has been cut from Chisel
* Fix newly introduced style warnings
* Fix some old style warnings for good measure
* Revert "Fix some old style warnings for good measure"
This reverts commit 31d51726c2faa4c277230104bd469ff7ffefc890.
* Cut scalastyle comments
* Cut formal delimiter comments
Diffstat (limited to 'plugin/src')
0 files changed, 0 insertions, 0 deletions