| Commit message (Expand) | Author | Age | Files | Lines |
* | Add AST_EDGE support to AstNode::detect_latch(), fixes #2241 | Claire Wolf | 2020-07-10 | 1 | -0/+2 |
* | verilog_parser: turn S/R and R/R conflicts into hard errors. | whitequark | 2020-07-09 | 1 | -1/+1 |
* | Revert PRs #2203 and #2244. | whitequark | 2020-07-09 | 1 | -19/+10 |
* | Support logic typed parameters | Lukasz Dalek | 2020-07-06 | 1 | -7/+10 |
* | 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 #2203 from antmicro/fix-grammar | clairexen | 2020-07-01 | 1 | -4/+10 |
|\ \ |
|
| * | | 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 | 6 | -0/+55 |
|\ \ \ |
|
| * | | | static cast: simplify | Kazuki Sakamoto | 2020-06-19 | 1 | -0/+7 |
| * | | | static cast: support changing size and signedness | Kazuki Sakamoto | 2020-06-19 | 6 | -0/+48 |
| |/ / |
|
* | | | Merge pull request #2136 from zachjs/master | clairexen | 2020-06-30 | 1 | -1/+5 |
|\ \ \ |
|
| * | | | Allow constant function calls in for loops and generate if and case | Zachary Snow | 2020-06-29 | 1 | -1/+5 |
* | | | | Update verific API version check | Miodrag Milanovic | 2020-06-30 | 1 | -1/+1 |
|/ / / |
|
* | | | Fix crash in verific frontend | Miodrag Milanovic | 2020-06-26 | 1 | -1/+2 |
* | | | Merge pull request #2188 from antmicro/missing-operators | whitequark | 2020-06-26 | 2 | -2/+49 |
|\ \ \ |
|
| * | | | Support missing sub-assign and and-assign operators | Kamil Rakoczy | 2020-06-25 | 2 | -2/+21 |
| * | | | Support missing xor-assign operator | Lukasz Dalek | 2020-06-24 | 2 | -1/+10 |
| * | | | 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 | 3 | -12/+12 |
|\ \ \ |
|
| * | | | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 3 | -12/+12 |
| |/ / |
|
* | | | optimization, all items should have same attributes | Miodrag Milanovic | 2020-06-25 | 1 | -0/+1 |
* | | | verific - import attributes for net buses as well | Miodrag Milanovic | 2020-06-24 | 1 | -1/+4 |
|/ / |
|
* | | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 9 | -34/+34 |
* | | MSVC does not understand __builtin_unreachable | Anonymous Maarten | 2020-06-17 | 1 | -1/+1 |
* | | MSVC cannot omit operand in conditional | Anonymous Maarten | 2020-06-17 | 1 | -1/+1 |
* | | Merge pull request #2131 from YosysHQ/claire/preserveffs | clairexen | 2020-06-10 | 1 | -0/+3 |
|\ \ |
|
| * | | Do not optimize away FFs in "prep" and Verific fron-end | Claire Wolf | 2020-06-09 | 1 | -0/+3 |
* | | | verific - detect missing memory to prevent crash. | Miodrag Milanovic | 2020-06-10 | 1 | -2/+7 |
* | | | Merge pull request #2112 from YosysHQ/claire/fix2040 | clairexen | 2020-06-09 | 2 | -0/+58 |
|\ \ \
| |/ /
|/| | |
|
| * | | Add latch detection for use_case_method in part-select write, fixes #2040 | Claire Wolf | 2020-06-04 | 2 | -0/+58 |
* | | | Support packed arrays in struct/union. | Peter Crozier | 2020-06-07 | 2 | -17/+136 |
|/ / |
|
* | | Merge pull request #2041 from PeterCrozier/struct | clairexen | 2020-06-04 | 6 | -204/+526 |
|\ \ |
|
| * \ | Merge branch 'master' into struct | Peter Crozier | 2020-06-03 | 8 | -53/+95 |
| |\ \ |
|
| * | | | Allow structs within structs. | Peter Crozier | 2020-05-12 | 1 | -7/+18 |
| * | | | Generalise structs and add support for packed unions. | Peter Crozier | 2020-05-12 | 6 | -58/+147 |
| * | | | Implement SV structs. | Peter Crozier | 2020-05-08 | 6 | -205/+427 |
* | | | | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve | Eddie Hung | 2020-06-04 | 1 | -2/+5 |
|\ \ \ \ |
|
| * | | | | aiger: cleanup | Eddie Hung | 2020-05-25 | 1 | -2/+5 |
* | | | | | Merge pull request #2006 from jersey99/signed-in-rtlil-wire | whitequark | 2020-06-04 | 3 | -1/+10 |
|\ \ \ \ \
| |_|_|/ /
|/| | | | |
|
| * | | | | frontends/json/jsonparse.cc: Like the upto field read_json can also read the ... | Vamsi K Vytla | 2020-04-27 | 1 | -1/+6 |
| * | | | | Preserve 'signed'-ness of a verilog wire through RTLIL | Vamsi K Vytla | 2020-04-27 | 2 | -0/+4 |
* | | | | | Support asymmetric memories for verific frontend | Miodrag Milanovic | 2020-06-01 | 1 | -6/+1 |
* | | | | | Merge pull request #2029 from whitequark/fix-simplify-memory-sv_logic | clairexen | 2020-05-29 | 1 | -2/+2 |
|\ \ \ \ \ |
|
| * | | | | | ast/simplify: don't bitblast async ROMs declared as `logic`. | whitequark | 2020-05-05 | 1 | -2/+2 |