Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | 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 | |
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | ||||||
| * | | | | | | 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 | |
| |/ / / / / | ||||||
* | | | | | | Merge pull request #2197 from Xiretza/test_cell-shifts | whitequark | 2020-06-29 | 1 | -0/+4 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||||
| * | | | | | test_cell: don't generate directional shifts with \B_SIGNED=1 | Xiretza | 2020-06-28 | 1 | -0/+4 | |
|/ / / / / | ||||||
* | | / / | Fix crash in verific frontend | Miodrag Milanovic | 2020-06-26 | 1 | -1/+2 | |
| |_|/ / |/| | | | ||||||
* | | | | Merge pull request #2193 from whitequark/cxxrtl-help-text | whitequark | 2020-06-26 | 1 | -2/+2 | |
|\ \ \ \ | ||||||
| * | | | | cxxrtl: update help text. | whitequark | 2020-06-26 | 1 | -2/+2 | |
|/ / / / | ||||||
* | | | | Merge pull request #2188 from antmicro/missing-operators | whitequark | 2020-06-26 | 3 | -2/+132 | |
|\ \ \ \ | ||||||
| * | | | | Add sub-assign and and-assign tests | Kamil Rakoczy | 2020-06-25 | 1 | -0/+34 | |
| * | | | | Move combined assign tests to single file | Kamil Rakoczy | 2020-06-25 | 4 | -45/+49 | |
| * | | | | Support missing sub-assign and and-assign operators | Kamil Rakoczy | 2020-06-25 | 2 | -2/+21 | |
| * | | | | Add xor-assignment test | Kamil Rakoczy | 2020-06-24 | 1 | -0/+15 | |
| * | | | | Support missing xor-assign operator | Lukasz Dalek | 2020-06-24 | 2 | -1/+10 | |
| * | | | | Add or-assignment and plus-assignment tests | Kamil Rakoczy | 2020-06-24 | 2 | -0/+30 | |
| * | | | | Add plus-assignment operator | Kamil Rakoczy | 2020-06-24 | 2 | -1/+10 | |
| * | | | | Add or-assignment operator | Kamil Rakoczy | 2020-06-24 | 2 | -1/+11 | |
| | |/ / | |/| | | ||||||
* | | | | Merge pull request #2189 from antmicro/optional-labels | whitequark | 2020-06-26 | 1 | -2/+2 | |
|\ \ \ \ | ||||||
| * | | | | Support optional labels at the end of package definition | Lukasz Dalek | 2020-06-24 | 1 | -1/+1 | |
| * | | | | Support optional labels at the end of module definition | Lukasz Dalek | 2020-06-24 | 1 | -1/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #2168 from whitequark/assert-unused-exprs | clairexen | 2020-06-25 | 13 | -43/+46 | |
|\ \ \ \ | ||||||
| * | | | | Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused). | whitequark | 2020-06-19 | 2 | -10/+18 | |
| * | | | | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 9 | -26/+26 | |
| * | | | | Use (and ignore) the expression provided to log_debug in NDEBUG builds. | whitequark | 2020-06-19 | 1 | -2/+1 | |
| * | | | | Use (and ignore) the expression provided to log_assert in NDEBUG builds. | whitequark | 2020-06-19 | 3 | -5/+1 | |
* | | | | | Merge pull request #2135 from boqwxp/qbfsat-timeinfo | clairexen | 2020-06-25 | 2 | -11/+14 | |
|\ \ \ \ \ | ||||||
| * | | | | | log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTimer::query()`. | Alberto Gonzalez | 2020-06-21 | 1 | -4/+0 |