aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
...
| * | specify: system timing checks to accept min:typ:max tripleEddie Hung2020-02-131-12/+29
| * | verilog: fix $specify3 checkEddie Hung2020-02-131-7/+11
* | | Merge pull request #1642 from jjj11x/jjj11x/sv-enumClaire Wolf2020-02-205-18/+325
|\ \ \ | |/ / |/| |
| * | remove unnecessary blank lineJeff Wang2020-02-171-2/+1
| * | add attributes for enumerated values in ilangJeff Wang2020-02-173-2/+76
| * | separate out enum_item/param implementation when they should be differentJeff Wang2020-02-171-7/+16
| * | fix bug introduced by not taking all of PeterCrozier's changes in 16ea4ea6Jeff Wang2020-01-171-4/+6
| * | fix enum in generate blocksJeff Wang2020-01-161-0/+20
| * | allow enums to be declared at toplevel scopeJeff Wang2020-01-161-0/+7
| * | lexer doesn't seem to return TOK_REG for logic anymoreJeff Wang2020-01-161-3/+4
| * | allow enum typedefsJeff Wang2020-01-161-1/+6
| * | partial rebase of PeterCrozier's enum work onto current masterJeff Wang2020-01-165-17/+207
* | | Merge pull request #1679 from thasti/delay-parsingN. Engelhardt2020-02-131-2/+2
|\ \ \
| * | | correct wire declaration grammar for #1614Stefan Biereigel2020-02-031-2/+2
* | | | Modified $readmem[hb] to use '\' or '/' according the OSRodrigo Alejandro Melo2020-02-061-1/+6
* | | | Merge branch 'master' of https://github.com/YosysHQ/yosysRodrigo Alejandro Melo2020-02-034-94/+118
|\ \ \ \ | | |_|/ | |/| |
| * | | sv: Improve handling of wildcard port connectionsDavid Shah2020-02-022-4/+6
| * | | hierarchy: Resolve SV wildcard port connectionsDavid Shah2020-02-021-1/+1
| * | | sv: Add lexing and parsing of .* (wildcard port conns)David Shah2020-02-022-1/+6
| * | | Merge pull request #1647 from YosysHQ/dave/sprintfDavid Shah2020-02-022-93/+110
| |\ \ \
| | * | | ast: Add support for $sformatf system functionDavid Shah2020-01-192-93/+110
| | | |/ | | |/|
* | | | Replaced strlen by GetSize into simplify.ccRodrigo Alejandro Melo2020-02-031-2/+2
* | | | Fixed a bug in the new feature of $readmem[hb] when an empty string is providedRodrigo Alejandro Melo2020-02-011-1/+1
* | | | Modified the new search for files of $readmem[hb] to be backward compatibleRodrigo Alejandro Melo2020-01-311-3/+7
* | | | $readmem[hb] file inclusion is now relative to the Verilog fileRodrigo Alejandro Melo2020-01-311-1/+2
|/ / /
* | | Merge pull request #1667 from YosysHQ/clifford/verificnandClaire Wolf2020-01-301-0/+8
|\ \ \ | |_|/ |/| |
| * | Add Verific support for OPER_REDUCE_NANDClaire Wolf2020-01-301-0/+8
* | | Merge pull request #1503 from YosysHQ/eddie/verific_helpClaire Wolf2020-01-301-8/+8
|\ \ \
| * \ \ Merge remote-tracking branch 'origin/master' into eddie/verific_helpEddie Hung2020-01-2711-229/+347
| |\ \ \ | | | |/ | | |/|
| * | | verific: no help() when no YOSYS_ENABLE_VERIFICEddie Hung2020-01-271-4/+1
| * | | OopsEddie Hung2019-11-191-1/+1
| * | | Print help message for verific passEddie Hung2019-11-191-9/+12
* | | | Merge pull request #1654 from YosysHQ/eddie/sby_fix69Claire Wolf2020-01-301-0/+6
|\ \ \ \ | |_|_|/ |/| | |
| * | | verific: also unflatten for 'hierarchy' flow as per @cliffordwolfEddie Hung2020-01-271-0/+3
| * | | verific: unflatten struct portsEddie Hung2020-01-241-0/+3
| | |/ | |/|
* | | Add and use SigSpec::reverse()Eddie Hung2020-01-281-3/+3
* | | xilinx/ice40/ecp5: undo permuting LUT masks in lut_mapEddie Hung2020-01-271-2/+4
* | | read_aiger: set abc9_box_seq attrEddie Hung2020-01-241-0/+1
* | | read_aiger: also parse abc9_mergeabilityEddie Hung2020-01-222-2/+6
* | | read_aiger: discard LUT inputs with nodeID == 0; not < 2Eddie Hung2020-01-211-1/+1
* | | read_aiger: ignore constant inputs on LUTsEddie Hung2020-01-211-3/+7
* | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-151-2/+2
|\| |
| * | read_aiger: $lut prefix in frontEddie Hung2020-01-151-2/+2
* | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-142-13/+17
|\| |
| * | read_aiger: also rename "$0"Eddie Hung2020-01-141-2/+2
| * | read_aiger: uniquify wires with $aiger<autoidx> prefixEddie Hung2020-01-132-9/+13
| * | read_aiger: make $and/$not/$lut the prefix not suffixEddie Hung2020-01-131-5/+5
* | | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-1/+3
* | | read_aiger: more accurate debug messageEddie Hung2020-01-091-2/+4
* | | read_aiger: do not double-count outputs for flopsEddie Hung2020-01-091-6/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-09 05:31:04 +0000