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