aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
* Better error for unsupported SVA sequenceMiodrag Milanovic2020-09-181-2/+8
* Merge pull request #2329 from antmicro/arrays-fix-multirange-sizeclairexen2020-09-171-2/+11
|\
| * Rewrite multirange arrays sizes [n] as [n-1:0]Lukasz Dalek2020-08-031-2/+11
* | Merge pull request #2330 from antmicro/arrays-fix-multirange-accessclairexen2020-09-171-1/+1
|\ \
| * | Fix subarray access conditionLukasz Dalek2020-08-031-1/+1
| |/
* | Use latest verificMiodrag Milanovic2020-09-021-1/+1
* | Merge pull request #2352 from zachjs/const-func-localparamclairexen2020-09-011-0/+12
|\ \
| * | Allow localparams in constant functionsZachary Snow2020-08-201-0/+12
* | | Merge pull request #2366 from zachjs/library-formatclairexen2020-09-011-0/+11
|\ \ \
| * | | Simple support for %l format specifierZachary Snow2020-08-291-0/+11
| |/ /
* | | Merge pull request #2353 from zachjs/top-scopeclairexen2020-09-011-0/+7
|\ \ \
| * | | Module name scope supportZachary Snow2020-08-201-0/+7
| |/ /
* | | Merge pull request #2365 from zachjs/const-arg-loop-split-typeclairexen2020-09-011-3/+4
|\ \ \
| * | | Fix constant args used with function ports split across declarationsZachary Snow2020-08-291-3/+4
| |/ /
* | | Reorder to prevent crashMiodrag Milanovic2020-08-311-3/+3
* | | ast recognize lower case x and z and verific gives upper caseMiodrag Milanovic2020-08-301-2/+6
* | | Do not check for 1 and 0 onlyMiodrag Milanovic2020-08-301-6/+0
* | | Fix import of VHDL enumsMiodrag Milanovic2020-08-301-11/+22
* | | Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-269-91/+106
* | | Add formal apps and template generatorsMiodrag Milanovic2020-08-261-1/+223
|/ /
* | Merge pull request #2122 from PeterCrozier/struct_array2clairexen2020-08-191-28/+62
|\ \
| * | Support 2D packed bit arrays in struct/union.Peter Crozier2020-06-091-35/+1
| * | Support 2D bit arrays in structures. Optimise array indexing.Peter Crozier2020-06-081-28/+96
* | | Merge pull request #2339 from zachjs/display-format-0sclairexen2020-08-181-1/+1
|\ \ \
| * | | Allow %0s $display format specifierZachary Snow2020-08-091-1/+1
| | |/ | |/|
* | | Merge pull request #2338 from zachjs/const-branch-finishclairexen2020-08-181-4/+4
|\ \ \
| * | | Propagate const_fold through generate blocks and branchesZachary Snow2020-08-091-4/+4
| |/ /
* | | Merge pull request #2317 from zachjs/expand-genblockclairexen2020-08-182-42/+83
|\ \ \
| * | | Fix generate scoping issuesZachary Snow2020-07-312-42/+83
| |/ /
* | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into z...Claire Wolf2020-08-181-26/+29
|\ \ \
| * | | Allow blocks with declarations within constant functionsZachary Snow2020-07-251-18/+21
* | | | Merge pull request #2281 from zachjs/const-realclairexen2020-08-181-3/+11
|\ \ \ \ | |_|/ / |/| | |
| * | | Allow reals as constant function parametersZachary Snow2020-07-191-3/+11
| |/ /
* | | Clear last error messageMiodrag Milanovic2020-07-291-1/+3
* | | Merge pull request #2301 from zachjs/for-loop-errorsclairexen2020-07-281-17/+19
|\ \ \
| * | | Clearer for loop error messagesZachary Snow2020-07-251-17/+19
| |/ /
* / / Avoid generating wires for function args which are constantZachary Snow2020-07-241-0/+28
|/ /
* | Treat all bison warnings as errors in verilog front-endClaire Wolf2020-07-151-1/+1
* | Use %precedence in verilog_parser.yClaire Wolf2020-07-151-4/+4
* | Fix bison warnings for missing %emptyClaire Wolf2020-07-151-59/+52
* | Run bison with -Wall for verilog front-endClaire Wolf2020-07-151-1/+1
* | Merge pull request #2257 from antmicro/fix-conflictsclairexen2020-07-151-9/+10
|\ \
| * | Add missing semicolonsKamil Rakoczy2020-07-151-5/+5
| * | Fix S/R conflictsKamil Rakoczy2020-07-101-1/+2
| * | Fix R/R conflictsKamil Rakoczy2020-07-101-10/+1
| * | Revert "Revert PRs #2203 and #2244."Kamil Rakoczy2020-07-101-10/+19
* | | Add AST_EDGE support to AstNode::detect_latch(), fixes #2241Claire Wolf2020-07-101-0/+2
|/ /
* | verilog_parser: turn S/R and R/R conflicts into hard errors.whitequark2020-07-091-1/+1
* | Revert PRs #2203 and #2244.whitequark2020-07-091-19/+10
* | Support logic typed parametersLukasz Dalek2020-07-061-7/+10