| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | dfflegalize: Gather init values from all wires. | Marcelina Kościelnicka | 2020-07-12 | 1 | -1/+1 |
| * | dfflibmap: Refactor to use dfflegalize internally. | Marcelina Kościelnicka | 2020-07-09 | 1 | -211/+78 |
| * | clkbufmap: improve input pad handling. | Marcelina Kościelnicka | 2020-07-09 | 1 | -17/+39 |
| * | clk2fflogic: Consistently treat async control signals as negative hold. | Marcelina Kościelnicka | 2020-07-09 | 1 | -57/+51 |
| * | dfflegalize: Add special support for const-D latches. | Marcelina Kościelnicka | 2020-07-09 | 1 | -0/+18 |
| * | dfflegalize: typo fix | Marcelina Kościelnicka | 2020-07-07 | 1 | -1/+1 |
| * | Naming fixes. | Marcelina Kościelnicka | 2020-07-05 | 2 | -2/+2 |
| * | dfflegalize: Prefer mapping dff to sdff before adff | Marcelina Kościelnicka | 2020-07-05 | 1 | -1/+1 |
| * | opt_expr: Fix crash on $mul optimization with more zeros removed than Y has. | Marcelina Kościelnicka | 2020-07-05 | 1 | -0/+8 |
| * | abc9: only techmap (* abc9_flop *) modules | Eddie Hung | 2020-07-04 | 1 | -1/+1 |
| * | abc9: techmap from user design to allow abc9_flop modules to be composed | Eddie Hung | 2020-07-04 | 1 | -1/+1 |
| * | Add newlines to help text for dfflegalize | Rupert Swarbrick | 2020-07-03 | 1 | -11/+11 |
| * | Merge pull request #2208 from boqwxp/qbfsat-cleanup | clairexen | 2020-07-02 | 2 | -255/+273 |
| |\ |
|
| | * | qbfsat: Remove useless comment and #ifndef guards. | Alberto Gonzalez | 2020-07-01 | 1 | -5/+0 |
| | * | qbfsat: Specify default values for some options in the help message. | Alberto Gonzalez | 2020-07-01 | 1 | -0/+2 |
| | * | qbfsat: Clean up external executable command lines and update temporary direc... | Alberto Gonzalez | 2020-07-01 | 1 | -3/+7 |
| | * | qbfsat: Clean up and refactor data structures into `qbfsat.h`. | Alberto Gonzalez | 2020-07-01 | 2 | -248/+265 |
| * | | Merge pull request #2186 from YosysHQ/mwk/dfflegalize | clairexen | 2020-07-02 | 2 | -0/+1357 |
| |\ \ |
|
| | * | | Add dfflegalize pass. | Marcelina Kościelnicka | 2020-07-01 | 2 | -0/+1357 |
| * | | | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff | clairexen | 2020-07-02 | 1 | -2/+1 |
| |\ \ \ |
|
| | * | | | fmcombine: use the master ff cell type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -2/+1 |
| | |/ / |
|
| * | | | Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge | clairexen | 2020-07-02 | 1 | -3/+1 |
| |\ \ \
| |_|/
|/| | |
|
| | * | | opt_merge: use the master FF type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -3/+1 |
| | |/ |
|
| * | | Merge pull request #2138 from boqwxp/qbfsat-oflag | clairexen | 2020-07-01 | 1 | -16/+47 |
| |\ \ |
|
| | * | | qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC. | Alberto Gonzalez | 2020-06-30 | 1 | -16/+47 |
| * | | | Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization | clairexen | 2020-07-01 | 1 | -2/+24 |
| |\ \ \ |
|
| | * | | | qbfsat: Fix name-based hole specialization. | Alberto Gonzalez | 2020-06-30 | 1 | -2/+24 |
| | |/ / |
|
| * | | | Merge pull request #2199 from YosysHQ/mmicko/sim_memory | clairexen | 2020-06-30 | 1 | -1/+4 |
| |\ \ \ |
|
| | * | | | sim - error when memrd and memwr detected | Miodrag Milanovic | 2020-06-29 | 1 | -1/+4 |
| * | | | | Merge pull request #2201 from YosysHQ/fix_test_cell_ilang | clairexen | 2020-06-30 | 1 | -2/+2 |
| |\ \ \ \
| |_|_|/
|/| | | |
|
| | * | | | Use ID macro to fix assertion | Miodrag Milanovic | 2020-06-29 | 1 | -2/+2 |
| | |/ / |
|
| * | / | techmap: don't drop attributes on replaced cells. | whitequark | 2020-06-29 | 1 | -2/+3 |
| | |/
|/| |
|
| * | | Merge pull request #2200 from YosysHQ/mmicko/fix_expose | Miodrag Milanović | 2020-06-29 | 1 | -7/+23 |
| |\ \ |
|
| | * | | Give error that options are exclusive | Miodrag Milanovic | 2020-06-29 | 1 | -2/+6 |
| | * | | cleanup | Miodrag Milanovic | 2020-06-29 | 1 | -12/+13 |
| | * | | expose pass fix | Miodrag Milanovic | 2020-06-29 | 1 | -5/+16 |
| | |/ |
|
| * / | test_cell: don't generate directional shifts with \B_SIGNED=1 | Xiretza | 2020-06-28 | 1 | -0/+4 |
| |/ |
|
| * | Merge pull request #2168 from whitequark/assert-unused-exprs | clairexen | 2020-06-25 | 5 | -20/+20 |
| |\ |
|
| | * | Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused). | whitequark | 2020-06-19 | 1 | -10/+10 |
| | * | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 4 | -10/+10 |
| * | | Merge pull request #2135 from boqwxp/qbfsat-timeinfo | clairexen | 2020-06-25 | 1 | -1/+6 |
| |\ \ |
|
| | * | | log, qbfsat: Include child process time in `PerformanceTimer::query()` and re... | Alberto Gonzalez | 2020-06-21 | 1 | -1/+6 |
| * | | | Merge pull request #2093 from boqwxp/qbfsat-bugfixes | clairexen | 2020-06-25 | 1 | -86/+136 |
| |\| | |
|
| | * | | qbfsat: Simplify solution recovery parsing and tweak the solution regexes. | Alberto Gonzalez | 2020-06-21 | 1 | -22/+12 |
| | * | | qbfsat: Avoid instantiating `AttrObject`s directly. | Alberto Gonzalez | 2020-06-21 | 1 | -9/+6 |
| | * | | qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal... | Alberto Gonzalez | 2020-06-21 | 1 | -19/+37 |
| | * | | qbfsat: Fixes three bugs. | Alberto Gonzalez | 2020-06-21 | 1 | -5/+17 |
| | * | | qbfsat: Use bit precise mapping for hole value wires and a more robust hole s... | Alberto Gonzalez | 2020-06-21 | 1 | -80/+113 |
| | |/ |
|
| * | | simplemap: Fix $dffsre mapping. | Marcelina Kościelnicka | 2020-06-23 | 1 | -1/+1 |
| * | | Update dff2dffe, dff2dffs, zinit to new FF types. | Marcelina Kościelnicka | 2020-06-23 | 3 | -43/+73 |
