aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | proc_dff: Fix emitted FF when a register is not assigned in async resetMarcelina Kościelnicka2021-03-082-0/+27
* | | memory_dff: Remove code looking for $mux cells.Marcelina Kościelnicka2021-03-081-56/+12
* | | tests/bram: Do not generate write address collisions.Marcelina Kościelnicka2021-03-081-5/+23
|/ /
* | Replace assert in abc9_ops with more useful error messageDan Ravensloft2021-03-071-1/+9
* | Merge pull request #2626 from zachjs/param-no-defaultwhitequark2021-03-0712-5/+225
|\ \
| * | sv: support for parameters without default valuesZachary Snow2021-03-0212-5/+225
* | | 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
|/ / /
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 10:13:06 +0000