| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | ast recognize lower case x and z and verific gives upper case | Miodrag Milanovic | 2020-08-30 | 1 | -2/+6 |
| * | Do not check for 1 and 0 only | Miodrag Milanovic | 2020-08-30 | 1 | -6/+0 |
| * | Fix import of VHDL enums | Miodrag Milanovic | 2020-08-30 | 1 | -11/+22 |
| * | Replace "ILANG" with "RTLIL" everywhere. | whitequark | 2020-08-26 | 9 | -91/+106 |
| * | Add formal apps and template generators | Miodrag Milanovic | 2020-08-26 | 1 | -1/+223 |
| * | Merge pull request #2122 from PeterCrozier/struct_array2 | clairexen | 2020-08-19 | 1 | -28/+62 |
| |\ |
|
| | * | Support 2D packed bit arrays in struct/union. | Peter Crozier | 2020-06-09 | 1 | -35/+1 |
| | * | Support 2D bit arrays in structures. Optimise array indexing. | Peter Crozier | 2020-06-08 | 1 | -28/+96 |
| * | | Merge pull request #2339 from zachjs/display-format-0s | clairexen | 2020-08-18 | 1 | -1/+1 |
| |\ \ |
|
| | * | | Allow %0s $display format specifier | Zachary Snow | 2020-08-09 | 1 | -1/+1 |
| * | | | Merge pull request #2338 from zachjs/const-branch-finish | clairexen | 2020-08-18 | 1 | -4/+4 |
| |\ \ \ |
|
| | * | | | Propagate const_fold through generate blocks and branches | Zachary Snow | 2020-08-09 | 1 | -4/+4 |
| | |/ / |
|
| * | | | Merge pull request #2317 from zachjs/expand-genblock | clairexen | 2020-08-18 | 2 | -42/+83 |
| |\ \ \ |
|
| | * | | | Fix generate scoping issues | Zachary Snow | 2020-07-31 | 2 | -42/+83 |
| | |/ / |
|
| * | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into z... | Claire Wolf | 2020-08-18 | 1 | -26/+29 |
| |\ \ \ |
|
| | * | | | Allow blocks with declarations within constant functions | Zachary Snow | 2020-07-25 | 1 | -18/+21 |
| * | | | | Merge pull request #2281 from zachjs/const-real | clairexen | 2020-08-18 | 1 | -3/+11 |
| |\ \ \ \
| |_|/ /
|/| | | |
|
| | * | | | Allow reals as constant function parameters | Zachary Snow | 2020-07-19 | 1 | -3/+11 |
| | |/ / |
|
| * | | | Clear last error message | Miodrag Milanovic | 2020-07-29 | 1 | -1/+3 |
| * | | | Merge pull request #2301 from zachjs/for-loop-errors | clairexen | 2020-07-28 | 1 | -17/+19 |
| |\ \ \ |
|
| | * | | | Clearer for loop error messages | Zachary Snow | 2020-07-25 | 1 | -17/+19 |
| | |/ / |
|
| * / / | Avoid generating wires for function args which are constant | Zachary Snow | 2020-07-24 | 1 | -0/+28 |
| |/ / |
|
| * | | Treat all bison warnings as errors in verilog front-end | Claire Wolf | 2020-07-15 | 1 | -1/+1 |
| * | | Use %precedence in verilog_parser.y | Claire Wolf | 2020-07-15 | 1 | -4/+4 |
| * | | Fix bison warnings for missing %empty | Claire Wolf | 2020-07-15 | 1 | -59/+52 |
| * | | Run bison with -Wall for verilog front-end | Claire Wolf | 2020-07-15 | 1 | -1/+1 |
| * | | Merge pull request #2257 from antmicro/fix-conflicts | clairexen | 2020-07-15 | 1 | -9/+10 |
| |\ \ |
|
| | * | | Add missing semicolons | Kamil Rakoczy | 2020-07-15 | 1 | -5/+5 |
| | * | | Fix S/R conflicts | Kamil Rakoczy | 2020-07-10 | 1 | -1/+2 |
| | * | | Fix R/R conflicts | Kamil Rakoczy | 2020-07-10 | 1 | -10/+1 |
| | * | | Revert "Revert PRs #2203 and #2244." | Kamil Rakoczy | 2020-07-10 | 1 | -10/+19 |
| * | | | 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 |
