aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-213-11/+129
|\
| * Merge pull request #991 from kristofferkoch/gcc9-warningsClifford Wolf2019-05-081-1/+2
| |\
| | * Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-1/+2
| * | Fix handling of partial init attributes in write_verilog, fixes #997Clifford Wolf2019-05-071-1/+2
| * | Add "real" keyword to ilang formatClifford Wolf2019-05-061-1/+4
| * | Improve write_verilog specify supportClifford Wolf2019-05-041-15/+71
| * | Merge remote-tracking branch 'origin/master' into clifford/specifyEddie Hung2019-05-031-25/+62
| |\|
| * | Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better match verilog std nom...Clifford Wolf2019-04-231-2/+2
| * | Add $specify2/$specify3 support to write_verilogClifford Wolf2019-04-231-0/+47
| * | Add support for $assert/$assume/$cover to write_verilogClifford Wolf2019-04-231-0/+10
* | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-021-25/+62
|\ \ \ | | |/ | |/|
| * | Re-indent firrtl.cc:struct memory - no functional change.Jim Lawson2019-05-011-25/+25
| * | Fix #938 - Crash occurs in case when use write_firrtl commandJim Lawson2019-05-011-4/+41
| |/
* | Remove topo sort no-loop assertion, with testEddie Hung2019-04-241-13/+0
* | Fix abc9 with (* keep *) wiresEddie Hung2019-04-231-6/+14
* | Temporarily remove 'r' extensionEddie Hung2019-04-221-77/+7
* | Allow POs to be PIs in XAIGEddie Hung2019-04-221-7/+4
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-221-0/+8
|\|
| * Add support for zero-width signals to Verilog back-end, fixes #948Clifford Wolf2019-04-221-0/+8
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-201-1/+1
|\|
| * Merge pull request #943 from YosysHQ/clifford/whiteboxClifford Wolf2019-04-208-12/+12
| |\
| | * Revert "write_json to not write contents (cells/wires) of whiteboxes"Eddie Hung2019-04-181-59/+56
| | * write_json to not write contents (cells/wires) of whiteboxesEddie Hung2019-04-181-56/+59
| * | Change "ne" to "neq" in btor2 outputClifford Wolf2019-04-191-1/+1
* | | Fixes for simple_abc9 testsEddie Hung2019-04-191-4/+8
* | | Do not assume inst_module is always presentEddie Hung2019-04-191-12/+9
* | | ignore_boxes -> holes_modeEddie Hung2019-04-191-6/+5
* | | Add flop support for write_xaigerEddie Hung2019-04-181-11/+83
* | | SpellingEddie Hung2019-04-181-1/+1
* | | Use new -wb flag for ABC flowEddie Hung2019-04-181-29/+31
* | | write_json to not write contents (cells/wires) of whiteboxesEddie Hung2019-04-181-56/+59
* | | Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-188-12/+12
|\ \ \ | | |/ | |/|
| * | Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-188-12/+12
| |/
* | Fix $anyseq warning and cleanupEddie Hung2019-04-171-16/+7
* | Cope with inout portsEddie Hung2019-04-171-1/+15
* | Stop topological sort at abc_flop_qEddie Hung2019-04-171-7/+13
* | Remove init* from xaiger, also topo-sort cells for box flowEddie Hung2019-04-171-95/+157
* | OptimiseEddie Hung2019-04-161-4/+3
* | CIs before PIs; also sort each cell's connections before iteratingEddie Hung2019-04-161-5/+7
* | Port from xc7mux branchEddie Hung2019-04-161-37/+109
* | Output __const0__ and __const1__ CIsEddie Hung2019-04-121-7/+10
* | ci_bits and co_bits now a list, order is important for ABCEddie Hung2019-04-121-24/+34
* | WIPEddie Hung2019-04-121-14/+68
* | Add non-input bits driven by unrecognised cells as ci_bitsEddie Hung2019-04-101-1/+1
* | Merge branch 'master' into xaigEddie Hung2019-04-089-62/+305
|\|
| * Refine memory support to deal with general Verilog memory definitions.Jim Lawson2019-04-011-30/+173
| * Add support for memory initialization to write_btorClifford Wolf2019-03-231-0/+53
| * Fix BTOR output tags syntax in writye_btorClifford Wolf2019-03-231-2/+1
| * Fix smtbmc.py handling of zero appended stepsClifford Wolf2019-03-141-5/+5
| * Fix a syntax bug in ilang backend related to process case statementsClifford Wolf2019-03-141-1/+1