YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388 stars 73 forks source link

Please add tags corresponding to Yosys releases #229

Closed whitequark closed 1 year ago

whitequark commented 1 year ago

If I remember correctly, @clairexen mentioned that each Yosys release needs to be shipped together with the SymbiYosys master branch commit at the time of release. This however makes it difficult to build historical versions of Yosys, e.g. to bisect changes.

mmicko commented 1 year ago

This is now available https://github.com/YosysHQ/sby/tags

whitequark commented 1 year ago

Thanks! I meant also historically but I guess there is always the YoWASP commit logs if you need that sort of information.