Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ci: update deps from ghdl/* to hdlc/* | eine | 2020-11-19 | 1 | -2/+11 |
* | ci: add command-line arguments | Rodrigo Alejandro Melo | 2020-10-03 | 1 | -1/+31 |
* | ci: fix synth_formal.dockerfile URL | eine | 2020-07-24 | 1 | -1/+1 |
* | ci: use image with pre-built GHDL (#81) | eine | 2020-01-21 | 1 | -55/+24 |
* | migrate from Travis to GHA and rework examples (#78) | eine | 2020-01-19 | 1 | -0/+90 |