aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
...
| * Fix build error with clangRuben Undheim2018-10-121-1/+1
| * Support for 'modports' for System Verilog interfacesRuben Undheim2018-10-124-8/+89
| * Synthesis support for SystemVerilog interfacesRuben Undheim2018-10-126-14/+243
* | Merge pull request #664 from tklam/ignore-verilog-protectClifford Wolf2018-10-181-0/+3
|\ \
| * | ignore protect endprotectargama2018-10-161-0/+3
| |/
* | Minor code cleanups in liberty front-endClifford Wolf2018-10-171-16/+5
* | Merge pull request #660 from tklam/parse-liberty-detect-ff-latchClifford Wolf2018-10-171-0/+17
|\ \
| * | detect ff/latch before processing other nodesargama2018-10-141-0/+17
| |/
* | Merge pull request #638 from udif/pr_reg_wire_errorClifford Wolf2018-10-171-0/+12
|\ \ | |/ |/|
| * Fixed issue #630 by fixing a minor typo in the previous commitUdi Finkelstein2018-09-251-2/+2
| * Merge branch 'master' into pr_reg_wire_errorUdi Finkelstein2018-09-1821-479/+1448
| |\
| * | Fixed remaining cases where we check fo wire reg/wire incorrect assignmentsUdi Finkelstein2018-09-181-0/+12
* | | Improve Verific importer blackbox handlingClifford Wolf2018-10-071-2/+14
* | | Fix compiler warning in verific.ccClifford Wolf2018-10-051-0/+2
* | | Fix for issue 594.Tom Verbeure2018-10-021-1/+2
* | | Add read_verilog $changed supportDan Gisselquist2018-10-011-1/+4
* | | Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosysClifford Wolf2018-09-301-1/+1
|\ \ \
| * | | Fix handling of $past 2nd argument in read_verilogClifford Wolf2018-09-301-1/+1
| | |/ | |/|
* | | Add "read_verilog -noassert -noassume -assert-assumes"Clifford Wolf2018-09-243-6/+49
* | | Added support for ommited "parameter" in Verilog-2001 style parameter decl in...Clifford Wolf2018-09-231-3/+9
|/ /
* | Add "verific -L <int>" optionClifford Wolf2018-09-043-2/+16
* | Add "make coverage"Clifford Wolf2018-08-276-12/+10
* | Merge pull request #610 from udif/udif_specify_round2Clifford Wolf2018-08-231-16/+39
|\ \
| * | Fixed all known specify/endspecify issues, without breaking 'make test'.Udi Finkelstein2018-08-201-12/+12
| * | Yosys can now parse https://github.com/verilog-to-routing/vtr-verilog-to-rout...Udi Finkelstein2018-08-201-10/+22
| * | A few minor enhancements to specify block parsing.Udi Finkelstein2018-08-151-2/+13
* | | Added -no_dump_ptr flag for AST dump options in 'read_verilog'Udi Finkelstein2018-08-233-9/+20
* | | Add "verific -work" help messageClifford Wolf2018-08-221-0/+7
* | | Add Verific -work parameterClifford Wolf2018-08-221-8/+18
* | | Add "verific -set-<severity> <msg_id>.."Clifford Wolf2018-08-161-14/+52
* | | Verific workaround for VIPER ticket 13851Clifford Wolf2018-08-161-0/+3
|/ /
* | Merge pull request #591 from hzeller/virtual-overrideClifford Wolf2018-08-157-23/+23
|\ \
| * | Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-207-23/+23
* | | Merge pull request #590 from hzeller/remaining-file-errorClifford Wolf2018-08-151-15/+15
|\ \ \
| * | | Fix remaining log_file_error(); emit dependent file references in new line.Henner Zeller2018-07-201-15/+15
| |/ /
* | | Merge pull request #513 from udif/pr_reg_wire_errorClifford Wolf2018-08-155-4/+57
|\ \ \ | | |/ | |/|
| * | Modified errors into warningsUdi Finkelstein2018-06-054-7/+41
| * | This PR should be the base for discussion, do not merge it yet!Udi Finkelstein2018-03-115-4/+23
* | | Merge pull request #562 from udif/pr_fix_illegal_port_declClifford Wolf2018-08-151-3/+6
|\ \ \
| * | | Detect illegal port declaration, e.g input/output/inout keyword must be the f...Udi Finkelstein2018-06-061-3/+6
* | | | Fixed use of char array for string in blifparse error handlingClifford Wolf2018-08-081-5/+5
* | | | Report error reason on same line as syntax error.litghost2018-08-081-6/+9
* | | | Use log_warning which does not immediately terminate.litghost2018-08-031-3/+3
* | | | Add BLIF parsing support for .conn and .cnamelitghost2018-08-021-3/+30
* | | | Verific: Produce errors for instantiating unknown moduleClifford Wolf2018-07-221-0/+3
| |_|/ |/| |
* | | Convert more log_error() to log_file_error() where possible.Henner Zeller2018-07-204-137/+131
* | | Use log_file_warning(), log_file_error() functions.Henner Zeller2018-07-203-82/+79
* | | Provide source-location logging.Henner Zeller2018-07-191-3/+2
* | | Fix handling of eventually properties in verific importerClifford Wolf2018-07-171-2/+4
* | | Fix verific -vlog-incdir and -vlog-libdir handlingClifford Wolf2018-07-161-2/+13
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-11 21:53:16 +0000