Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |