Overview
Request 1187376 accepted
- Update to version 0.43
* Various
+ C++ compiler with C++17 support is required.
+ Support for IO liberty files for verification.
+ Limit padding from shiftadd for "peepopt" pass.
* Verific support
+ Support building Yosys with various Verific library
configurations. Can be built now without YosysHQ
specific patch and extension library.
- Created by wkazubski
- In state accepted
-
Package maintainer:
leviathanch
Request History
wkazubski created request
- Update to version 0.43
* Various
+ C++ compiler with C++17 support is required.
+ Support for IO liberty files for verification.
+ Limit padding from shiftadd for "peepopt" pass.
* Verific support
+ Support building Yosys with various Verific library
configurations. Can be built now without YosysHQ
specific patch and extension library.
wkazubski accepted request
@leviathanch: review reminder