aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
* Fix indents.Tom Verbeure2021-01-041-2/+2
* Add -nosynthesis flag for read_verilog command.Tom Verbeure2021-01-041-3/+12
* Merge pull request #2518 from zachjs/recursionwhitequark2021-01-012-8/+28
|\
| * verilog: improved support for recursive functionsZachary Snow2020-12-312-8/+28
* | sv: complete support for implied task/function port directionsZachary Snow2020-12-311-0/+10
|/
* Fix elaboration of whole memory words used as indicesZachary Snow2020-12-261-1/+8
* Fix constants bound to redeclared function argsZachary Snow2020-12-261-5/+16
* Merge pull request #2501 from zachjs/genrtlil-tern-signwhitequark2020-12-231-0/+1
|\
| * genrtlil: fix mux2rtlil generated wire signednessZachary Snow2020-12-221-0/+1
* | Merge pull request #2476 from zachjs/const-arg-widthwhitequark2020-12-231-0/+8
|\ \ | |/ |/|
| * Fix constants bound to single bit arguments (fixes #2383)Zachary Snow2020-12-221-0/+8
* | Merge pull request #2479 from zachjs/const-arg-hintwhitequark2020-12-221-0/+5
|\ \
| * | Allow constant function calls in constant function argumentsZachary Snow2020-12-071-0/+5
| |/
* / Sign extend port connections where necessaryZachary Snow2020-12-181-2/+24
|/
* Merge pull request #2456 from Zottel/masterwhitequark2020-12-021-0/+1
|\
| * Return correct modname when found in cache.Julius Roob2020-11-261-0/+1
* | Bump required Verific versionMiodrag Milanovic2020-12-021-1/+1
* | Fix SYNTHESIS always being defined in Verilog frontendgeorgerennie2020-12-012-1/+3
|/
* rtlil: remove dotted identifiers.whitequark2020-11-251-1/+0
* Update verific versionMiodrag Milanovic2020-10-301-1/+1
* Fix argument handling in connect_rpcClaire Xenia Wolf2020-10-191-1/+2
* extend verific library API for formal apps and generatorsMiodrag Milanovic2020-10-121-15/+83
* Update required Verific versionMiodrag Milanović2020-10-051-1/+1
* Ignore empty parameters in Verilog module instantiationsClaire Xenia Wolf2020-10-011-0/+3
* Merge pull request #2378 from udif/pr_dollar_high_lowclairexen2020-10-013-31/+98
|\
| * We can now handle array slices (e.g. $size(x[1]) etc. )Udi Finkelstein2020-09-171-7/+6
| * Fixed comments, removed debug messageUdi Finkelstein2020-09-161-5/+5
| * Added $high(), $low(), $left(), $right()Udi Finkelstein2020-09-153-30/+98
* | use sha1 for parameter list in case if they contain spacesMiodrag Milanovic2020-09-301-2/+18
* | 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
|\ \
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-30 07:27:49 +0000