aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Merge pull request #2632 from zachjs/width-limitwhitequark2021-03-073-0/+39
|\ \ \ \
| * | | | verilog: impose limit on maximum expression widthZachary Snow2021-03-043-0/+39
* | | | | sv: fix some edge cases for unbased unsized literalsZachary Snow2021-03-064-1/+70
* | | | | proc_clean: Fix empty case removal conditions.Marcelina Kościelnicka2021-03-061-10/+21
| |_|/ / |/| | |
* | | | Remove a few functions that, in fact, did not exist in the first place.Marcelina Kościelnicka2021-03-062-3/+1
* | | | Replace assert in addModule with more useful error messageDan Ravensloft2021-03-061-1/+2
* | | | Merge pull request #2635 from whitequark/cxxrtl-memrd-async-addrwhitequark2021-03-051-1/+3
|\ \ \ \
| * | | | cxxrtl: follow aliases to outlines when emitting $memrd.ADDR.whitequark2021-03-051-1/+3
| |/ / /
* | | | Merge pull request #2634 from whitequark/cxxrtl-debug-wire-typeswhitequark2021-03-051-0/+46
|\ \ \ \
| * | | | cxxrtl: add pass debug flag to show assigned wire types.whitequark2021-03-051-0/+46
| |/ / /
* | | | Merge pull request #2633 from whitequark/cxxrtl-no-topwhitequark2021-03-051-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | cxxrtl: don't crash on empty designs.whitequark2021-03-051-1/+1
|/ / /
* | | Update command-reference-manual.texClaire Xen2021-03-041-4/+4
* | | Update READMEClaire Xen2021-03-041-4/+4
|/ /
* | Merge pull request #2620 from zachjs/port-int-typeswhitequark2021-03-013-2/+64
|\ \
| * | verilog: fix sizing of ports with int types in module headersZachary Snow2021-03-013-2/+64
* | | Bump versionMarcelina Kościelnicka2021-03-011-1/+1
|/ /
* | verilog: fix handling of nested ifdef directivesZachary Snow2021-03-018-11/+197
* | Set aside extraneous tests in simple_abc9 test suiteZachary Snow2021-03-012-0/+19
* | Merge pull request #2523 from tomverbeure/define_synthesisClaire Xen2021-03-011-3/+12
|\ \
| * | Fix indents.Tom Verbeure2021-01-041-2/+2
| * | Add -nosynthesis flag for read_verilog command.Tom Verbeure2021-01-041-3/+12
* | | Merge pull request #2524 from bkbncn/patch-1Claire Xen2021-03-011-0/+1
|\ \ \
| * | | Add boost-python3Xiangyu Xu2021-01-041-0/+1
| |/ /
* | | Merge pull request #2617 from RobertBaruch/docwhitequark2021-03-011-1/+1
|\ \ \
| * | | RTLIL Documentation: switch in process is optionalRobert Baruch2021-02-271-1/+1
* | | | Merge pull request #2615 from zachjs/genrtlil-conflictwhitequark2021-03-017-12/+93
|\ \ \ \
| * | | | genrtlil: improve name conflict error messagingZachary Snow2021-02-267-12/+93
* | | | | Merge pull request #2618 from zachjs/int-typeswhitequark2021-02-286-39/+148
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | sv: extended support for integer typesZachary Snow2021-02-286-39/+148
|/ / / /
* | | | Update issue_template.mdClaire Xen2021-02-271-1/+1
* | | | Add tests for $countbitsMichael Singer2021-02-262-0/+76
* | | | Implement $countones, $isunknown and $onehot{,0}Michael Singer2021-02-261-0/+28
* | | | Implement $countbits functionMichael Singer2021-02-261-0/+59
* | | | Extend simplify() recursion warningZachary Snow2021-02-261-1/+1
* | | | Bump versionMarcelina Kościelnicka2021-02-261-1/+1
* | | | Merge pull request #2554 from hzeller/masterwhitequark2021-02-251-6/+17
|\ \ \ \
| * | | | Provide an integer implementation of decimal_digits().Henner Zeller2021-02-011-2/+9
| * | | | Fix digit-formatting calculation for small numbers.Henner Zeller2021-01-211-6/+10
* | | | | btor, smt2, smv: Add a hint on how to deal with funny FF types.Marcelina Kościelnicka2021-02-253-3/+42
* | | | | Fix handling of unique/unique0/priority cases in the frontend.Marcelina Kościelnicka2021-02-252-15/+16
| |/ / / |/| | |
* | | | Extend "delay" expressions to handle pair and triplet, i.e. rise, fall and tu...TimRudy2021-02-243-2/+445
* | | | Merge pull request #2607 from zachjs/logger-error-atexitwhitequark2021-02-241-3/+3
|\ \ \ \
| * | | | Fix double-free on unmatched logger error patternZachary Snow2021-02-231-3/+3
|/ / / /
* | | | Add tests for some common techmap files.Marcelina Kościelnicka2021-02-243-0/+50
* | | | Fix syntax error in adff2dff.vMarcelina Kościelnicka2021-02-241-1/+1
* | | | frontend: Make helper functions for printing locations.Marcelina Kościelnicka2021-02-234-57/+71
* | | | Merge pull request #2594 from zachjs/func-arg-widthwhitequark2021-02-2310-47/+124
|\ \ \ \
| * | | | verilog: fix sizing of constant args for tasks/functionsZachary Snow2021-02-2110-47/+124
* | | | | int -> boolRobert Baruch2021-02-231-2/+2