| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | intel_alm: DSP inference | Dan Ravensloft | 2020-07-05 | 7 | -9/+209 |
| * | gowin: replace determine_init with setundef | Dan Ravensloft | 2020-07-04 | 3 | -74/+1 |
| * | synth_intel_alm: Use dfflegalize. | Marcelina Kościelnicka | 2020-07-04 | 3 | -122/+10 |
| * | Improve MISTRAL_FF specify rules | Dan Ravensloft | 2020-07-04 | 2 | -6/+6 |
| * | tests: update fsm.ys resource count | Eddie Hung | 2020-07-04 | 1 | -4/+4 |
| * | abc9: only techmap (* abc9_flop *) modules | Eddie Hung | 2020-07-04 | 1 | -1/+1 |
| * | intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF | Eddie Hung | 2020-07-04 | 2 | -47/+2 |
| * | abc9: techmap from user design to allow abc9_flop modules to be composed | Eddie Hung | 2020-07-04 | 1 | -1/+1 |
| * | intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY | Eddie Hung | 2020-07-04 | 4 | -4/+4 |
| * | intel_alm: ABC9 sequential optimisations | Dan Ravensloft | 2020-07-04 | 7 | -19/+149 |
| * | Add newlines to help text for dfflegalize | Rupert Swarbrick | 2020-07-03 | 1 | -11/+11 |
| * | Merge pull request #2132 from YosysHQ/eddie/verific_initial | clairexen | 2020-07-02 | 1 | -17/+36 |
| |\ | |||||
| | * | verific: rewrite initial assume/asserts prior to elaboration | Eddie Hung | 2020-05-15 | 1 | -17/+36 |
| * | | Merge pull request #2208 from boqwxp/qbfsat-cleanup | clairexen | 2020-07-02 | 3 | -255/+274 |
| |\ \ | |||||
| | * | | 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 | 3 | -248/+266 |
| * | | | Merge pull request #2186 from YosysHQ/mwk/dfflegalize | clairexen | 2020-07-02 | 20 | -0/+4316 |
| |\ \ \ | |||||
| | * | | | dfflegalize: Add tests. | Marcelina Kościelnicka | 2020-07-01 | 17 | -0/+2957 |
| | * | | | Add dfflegalize pass. | Marcelina Kościelnicka | 2020-07-01 | 3 | -0/+1359 |
| * | | | | 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 #2195 from YosysHQ/mwk/manual-gates | clairexen | 2020-07-02 | 1 | -50/+201 |
| |\ \ \ \ | |_|/ / |/| | | | |||||
| | * | | | Add latches to the manual. | Marcelina Kościelnicka | 2020-06-26 | 1 | -42/+165 |
| | * | | | Add a few more gate types to the manual. | Marcelina Kościelnicka | 2020-06-26 | 1 | -8/+36 |
| * | | | | Merge pull request #2203 from antmicro/fix-grammar | clairexen | 2020-07-01 | 2 | -4/+38 |
| |\ \ \ \ | |||||
| | * | | | | Add signed/unsigned tests | Kamil Rakoczy | 2020-06-26 | 1 | -0/+28 |
| | * | | | | Parse macro call attached semicolon as empty expression | Lukasz Dalek | 2020-06-26 | 1 | -1/+1 |
| | * | | | | Fix integer signing grammar | Lukasz Dalek | 2020-06-26 | 1 | -3/+9 |
| * | | | | | Merge pull request #2179 from splhack/static-cast | clairexen | 2020-07-01 | 11 | -0/+135 |
| |\ \ \ \ \ | |||||
| | * | | | | | static cast: simplify | Kazuki Sakamoto | 2020-06-19 | 1 | -0/+7 |
| | * | | | | | static cast: add tests | Kazuki Sakamoto | 2020-06-19 | 5 | -0/+80 |
| | * | | | | | static cast: support changing size and signedness | Kazuki Sakamoto | 2020-06-19 | 6 | -0/+48 |
| * | | | | | | 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 #2136 from zachjs/master | clairexen | 2020-06-30 | 3 | -1/+81 |
| |\ \ \ \ \ \ \ | |||||
| | * | | | | | | | Allow constant function calls in for loops and generate if and case | Zachary Snow | 2020-06-29 | 3 | -1/+81 |
| | |/ / / / / / | |||||
| * | | | | | | | 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 |
| | |/ / / / / / / | |||||
| * | | | | | | | | Merge pull request #2209 from YosysHQ/verific_update | clairexen | 2020-06-30 | 1 | -1/+1 |
| |\ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / |/| | | | | | | | |||||
| | * | | | | | | | Update verific API version check | Miodrag Milanovic | 2020-06-30 | 1 | -1/+1 |
| * | | | | | | | | simcells: Fix reset polarity for $_DLATCH_???_ cells. | Marcelina Kościelnicka | 2020-06-30 | 2 | -5/+5 |
| |/ / / / / / / | |||||
| * | | | | | | | Merge pull request #2205 from whitequark/fix-2204 | whitequark | 2020-06-30 | 1 | -2/+3 |
| |\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |