aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-1823-42/+81
|\
| * Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-1823-42/+81
* | Skip if abc_box_id earlierEddie Hung2019-04-171-3/+3
* | Remove use of abc_box_id in statEddie Hung2019-04-171-3/+0
* | Fix $anyseq warning and cleanupEddie Hung2019-04-171-16/+7
* | Update Makefile.inc tooEddie Hung2019-04-171-4/+6
* | Reduce to three devices: hx, lp, uEddie Hung2019-04-177-4/+23
* | Do not print slack histogramEddie Hung2019-04-171-1/+1
* | Add up5k timingsEddie Hung2019-04-172-0/+19
* | Fix grammarEddie Hung2019-04-171-2/+2
* | Update error messageEddie Hung2019-04-171-1/+1
* | Add "-device" argument to synth_ice40Eddie Hung2019-04-174-7/+20
* | Missing abc_flop_q attribute on SPRAMEddie Hung2019-04-171-1/+1
* | Cope with inout portsEddie Hung2019-04-171-1/+15
* | Map to SB_LUT4 from fastest input firstEddie Hung2019-04-171-7/+11
* | Working ABC9 scriptEddie Hung2019-04-171-2/+2
* | Stop topological sort at abc_flop_qEddie Hung2019-04-171-7/+13
* | Mark seq output ports with "abc_flop_q" attrEddie Hung2019-04-171-24/+24
* | Also update Makefile.incEddie Hung2019-04-171-3/+3
* | synth_ice40 to use renamed filesEddie Hung2019-04-171-2/+2
* | Rename to abc.*Eddie Hung2019-04-173-0/+0
* | Revert "Try using an ICE40_CARRY_LUT primitive to avoid ABC issues"Eddie Hung2019-04-177-102/+35
* | Try using an ICE40_CARRY_LUT primitive to avoid ABC issuesEddie Hung2019-04-177-35/+102
* | Remove init* from xaiger, also topo-sort cells for box flowEddie Hung2019-04-171-95/+157
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-171-1/+1
|\|
| * Update to ABC d1b6413Clifford Wolf2019-04-171-1/+1
* | Ignore a/i/o/h XAIGER extensionsEddie Hung2019-04-171-0/+7
* | Fix spacingEddie Hung2019-04-171-5/+5
* | OptimiseEddie Hung2019-04-161-4/+3
* | Add SB_LUT4 to box libraryEddie Hung2019-04-163-0/+16
* | Add ice40 box filesEddie Hung2019-04-166-1/+27
* | abc9 to output some more infoEddie Hung2019-04-161-1/+2
* | CIs before PIs; also sort each cell's connections before iteratingEddie Hung2019-04-161-5/+7
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-161-28/+0
|\|
| * Merge pull request #939 from YosysHQ/revert895Eddie Hung2019-04-161-28/+0
| |\
| | * Revert #895Eddie Hung2019-04-161-28/+0
| |/
* | Port from xc7mux branchEddie Hung2019-04-163-54/+167
* | Re-enable partsel.v testEddie Hung2019-04-161-1/+0
* | abc9 to call "setundef -zero" behaving as for abcEddie Hung2019-04-161-0/+3
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-153-6/+5
|\|
| * Merge pull request #937 from YosysHQ/revert-932-eddie/fixdlatchEddie Hung2019-04-152-4/+3
| |\
| | * Revert "Recognise default entry in case even if all cases covered (fix for #9...Eddie Hung2019-04-152-4/+3
| |/
| * Merge pull request #936 from YosysHQ/README-fix-quotesEddie Hung2019-04-151-2/+2
| |\
| | * README: fix some incorrect quoting.whitequark2019-04-151-2/+2
| |/
* | Forgot backslashesEddie Hung2019-04-121-1/+1
* | Handle __dummy_o__ and __const[01]__ in read_aiger not abcEddie Hung2019-04-122-18/+8
* | abc to ignore __dummy_o__ and __const[01]__ when re-integratingEddie Hung2019-04-121-6/+20
* | Output __const0__ and __const1__ CIsEddie Hung2019-04-121-7/+10
* | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaigEddie Hung2019-04-121-12/+32
|\ \
| * | Fix inout handling for -map optionEddie Hung2019-04-121-10/+30