diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-02 17:21:06 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-02 17:21:06 +0100 |
| commit | 2b0c8766b4e99772777763e96e13747454672814 (patch) | |
| tree | 7fd47d3207d30a79a644bb2c3b0af6d3e5416cf0 /src/verilog | |
| parent | 5416713c9d6a64839fabf2a923e4dd3bb25ac5fc (diff) | |
| download | vericert-2b0c8766b4e99772777763e96e13747454672814.tar.gz vericert-2b0c8766b4e99772777763e96e13747454672814.zip | |
Add proof for initial state
Diffstat (limited to 'src/verilog')
0 files changed, 0 insertions, 0 deletions