Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [WIP] Re-implement translation of calls. | Michalis Pardalos | 2021-04-19 | 1 | -33/+67 |
* | [WIP] Use Program instead of state_incr lemmas | Michalis Pardalos | 2021-04-18 | 1 | -165/+40 |
* | [WIP] Generate calling verilog in RTL->HTL | Michalis Pardalos | 2021-04-18 | 1 | -15/+40 |
* | [WIP] Remove extra statements from HTL. | Michalis Pardalos | 2021-04-18 | 1 | -17/+14 |
* | Fix merge error in oshrximm | Michalis Pardalos | 2021-04-09 | 1 | -1/+3 |
* | Add idle state after return | Michalis Pardalos | 2021-03-01 | 1 | -6/+7 |
* | Add changes to HTL as they weren't merged | Yann Herklotz | 2021-02-16 | 1 | -53/+122 |
* | Merge branch 'michalis' of https://github.com/mpardalos/vericert into michali... | Yann Herklotz | 2021-02-16 | 1 | -2/+2 |
* | Fix imports to remove warnings when compiling | Yann Herklotz | 2021-01-22 | 1 | -9/+20 |
* | Add correct copyright notices in files | Yann Herklotz | 2021-01-10 | 1 | -0/+1 |
* | Change and add back HTLgen | Yann Herklotz | 2020-11-09 | 1 | -4/+4 |
* | Add RTLBlock intermediate language | Yann Herklotz | 2020-08-30 | 1 | -0/+654 |