FEDORA-2015-3414 created by jjames 5 years ago for Fedora 22
stable

This is an update to a later mercurial snapshot. Changes include: - Returning multiple counter-examples. - Implementation of CE extraction for multiple MUXes driving D-inputs of FFs - Organizing commands for barbuf-aware flow. - Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t. - New assertions and bug fix in DSD balancing. - Pre-processing for multi-output PLA tables. - Major rehash of the CBA code. - Added SMT parser for Wlc_Ntk_t. - Adding resource limits to fx and sop. - Modifications to read SMTLIB file from stdin. - Adding switch -x to command &fadds. - Experiments with SAT-based cube enumeration.

How to install

sudo dnf upgrade --advisory=FEDORA-2015-3414

This update has been submitted for testing by jjames.

5 years ago

Taskotron: depcheck test PASSED on i386. Result log: https://taskotron.fedoraproject.org/taskmaster//builders/x86_64/builds/46119/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/46119/steps/runtask/logs/stdio (results are informative only)

This update is currently being pushed to the Fedora 22 testing updates repository.

5 years ago

This update has been pushed to testing

5 years ago

This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes

5 years ago

This update has been submitted for stable by jjames.

5 years ago

This update is currently being pushed to the Fedora 22 stable updates repository.

5 years ago

This update has been pushed to stable

5 years ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
disabled
Dates
submitted
5 years ago
in testing
5 years ago
in stable
5 years ago

Automated Test Results