aboutsummaryrefslogtreecommitdiffstats
path: root/tests/verilog
Commit message (Expand)AuthorAgeFilesLines
* verilog: Fix const eval of unbased unsized constantsJannis Harder2023-04-202-0/+35
* verilog: Support void functionsJannis Harder2023-03-201-0/+37
* Add test for typenames using constants shadowed later onZachary Snow2023-02-122-0/+16
* verilog: fix width/sign detection for functionsZachary Snow2022-05-302-0/+46
* verilog: fix size and signedness of array querying functionsJannis Harder2022-05-301-0/+52
* verilog: fix $past's signednessJannis Harder2022-05-251-0/+35
* verilog: fix signedness when removing unreachable casesJannis Harder2022-05-241-0/+33
* sv: fix always_comb auto nosync for nested and function blocksZachary Snow2022-04-052-0/+30
* verilog: support for time scale delay valuesZachary Snow2022-02-141-0/+25
* Fix access to whole sub-structs (#3086)Kamil Rakoczy2022-02-141-3/+2
* verilog: fix dynamic dynamic range asgn elabZachary Snow2022-02-112-0/+108
* verilog: fix const func eval with upto variablesZachary Snow2022-02-112-0/+84
* sv: auto add nosync to certain always_comb local varsZachary Snow2022-01-078-0/+135
* sv: fix size cast internal expression extensionZachary Snow2022-01-072-0/+145
* fixup verilog doubleslash testZachary Snow2022-01-032-0/+3
* preprocessor: do not destroy double slash escaped identifiersThomas Sailer2021-12-151-0/+19
* verilog: use derived module info to elaborate cell connectionsZachary Snow2021-10-252-0/+37
* sv: support wand and wor of data typesZachary Snow2021-09-212-0/+39
* verilog: fix multiple AST_PREFIX scope resolution issuesZachary Snow2021-09-212-0/+100
* sv: support declaration in generate for initializationZachary Snow2021-08-318-0/+114
* sv: support declaration in procedural for initializationZachary Snow2021-08-304-0/+56
* verilog: save and restore overwritten macro argumentsZachary Snow2021-07-282-0/+23
* sv: fix two struct access bugsZachary Snow2021-07-152-0/+92
* sv: fix up end label checkingZachary Snow2021-06-165-0/+51
* mem2reg: tolerate out of bounds constant accessesZachary Snow2021-06-082-0/+33
* sv: support tasks and functions within packagesZachary Snow2021-06-012-0/+34
* sv: check validity of package end labelZachary Snow2021-05-101-0/+15
* preproc: test coverage for #2712Zachary Snow2021-03-303-0/+18
* sv: allow typenames as function return typesZachary Snow2021-03-192-0/+40
* sv: carry over global typedefs from previous filesZachary Snow2021-03-172-0/+60
* sv: allow globals in one file to depend on globals in anotherZachary Snow2021-03-121-0/+20
* verilog: disallow overriding global parametersZachary Snow2021-03-111-0/+16
* Merge pull request #2626 from zachjs/param-no-defaultwhitequark2021-03-0710-0/+177
|\
| * sv: support for parameters without default valuesZachary Snow2021-03-0210-0/+177
* | Merge pull request #2632 from zachjs/width-limitwhitequark2021-03-072-0/+33
|\ \
| * | verilog: impose limit on maximum expression widthZachary Snow2021-03-042-0/+33
| |/
* / sv: fix some edge cases for unbased unsized literalsZachary Snow2021-03-062-0/+47
|/
* verilog: fix sizing of ports with int types in module headersZachary Snow2021-03-012-0/+61
* verilog: fix handling of nested ifdef directivesZachary Snow2021-03-015-0/+50
* Merge pull request #2615 from zachjs/genrtlil-conflictwhitequark2021-03-016-0/+56
|\
| * genrtlil: improve name conflict error messagingZachary Snow2021-02-266-0/+56
* | sv: extended support for integer typesZachary Snow2021-02-284-0/+78
|/
* Extend "delay" expressions to handle pair and triplet, i.e. rise, fall and tu...TimRudy2021-02-242-0/+438
* Merge pull request #2594 from zachjs/func-arg-widthwhitequark2021-02-234-0/+48
|\
| * verilog: fix sizing of constant args for tasks/functionsZachary Snow2021-02-214-0/+48
* | verilog: error on macro invocations with missing argument listsZachary Snow2021-02-192-0/+22
|/
* Merge pull request #2578 from zachjs/genblk-portZachary Snow2021-02-111-0/+12
|\
| * verlog: allow shadowing module ports within generate blocksZachary Snow2021-02-071-0/+12
* | Add missing is_signed to type_atomKamil Rakoczy2021-02-111-0/+19
|/
* Add check of begin/end labels for genblockKamil Rakoczy2021-02-041-0/+26