aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* | | | Adds is_wire to SigBit and SigChunkRobert Baruch2021-02-231-0/+3
* | | | machxo2: Switch to LUT4 sim model which propagates less undefined/don't care ...William D. Jones2021-02-232-12/+6
* | | | machxo2: Update tribuf test to reflect active-low OE.William D. Jones2021-02-231-1/+2