A problem with the way the header files were installed has been corrected. In addition, this update moves to a 2015-01-01 snapshot, which includes: - Integration of barrier buffers - New flavor of DSD-friendly eliminate - Converting AIG with MUXes into a logic network - New mapping feature - Simplification of AIG with barrier buffers - Gate sizing with barrier buffers - Computing polynomials for AIGs representing arithmetic functions - Small bug fixes
sudo dnf upgrade --advisory=FEDORA-2015-0064Please login to add feedback.
This update has been submitted for testing by jjames.
Taskotron: depcheck test PASSED on i386. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/24770/steps/runtask/logs/stdio (results are informative only)
Taskotron: depcheck test PASSED on x86_64. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/24770/steps/runtask/logs/stdio (results are informative only)
This update is currently being pushed to the Fedora 21 testing updates repository.
This update has been pushed to testing
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
Taskotron: upgradepath test PASSED on noarch. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/27270/steps/runtask/logs/stdio (results are informative only)
This update is currently being pushed to the Fedora 21 stable updates repository.
This update has been pushed to stable