aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Merge pull request #1199 from mmicko/extract_fa_fixClifford Wolf2019-07-161-2/+2
|\ \ \ \ | |/ / / |/| | | Fix check logic in extract_fa
| * | | Fix check logic in extract_faMiodrag Milanovic2019-07-161-2/+2
|/ / /
* | | Merge pull request #1196 from YosysHQ/eddie/fix1178Eddie Hung2019-07-151-5/+12
|\ \ \ | | | | | | | | Fix different synth results between with and without debug output "-g"
| * | | Revert "Add log_checkpoint function and use it in opt_muxtree"Eddie Hung2019-07-153-9/+0
| | | | | | | | | | | | | | | | This reverts commit 0e6c83027f24cdf7082606a5631468ad28f41574.
| * | | Revert "Fix first divergence in #1178"Eddie Hung2019-07-151-5/+1
| | | | | | | | | | | | | | | | This reverts commit 1122a2e0671ed00b7c03658f5012e34df12f26de.
| * | | Merge branch 'master' into eddie/fix1178Eddie Hung2019-07-1526-93/+1204
| |\ \ \
| * | | | Redesign log_id_cache so that it doesn't keep IdString instances referenced, ↵Clifford Wolf2019-07-151-6/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fixes #1178 Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Add log_checkpoint function and use it in opt_muxtreeClifford Wolf2019-07-153-0/+9
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Fix first divergence in #1178Eddie Hung2019-07-091-1/+5
| | | | |
* | | | | Merge pull request #1189 from YosysHQ/eddie/fix1151Clifford Wolf2019-07-151-0/+4
|\ \ \ \ \ | | | | | | | | | | | | Error out if enable > dbits in memory_bram file
| * | | | | Error out if enable > dbitsEddie Hung2019-07-131-0/+4
| | |_|_|/ | |/| | |
* | | | | Merge pull request #1190 from YosysHQ/eddie/fix_1099Clifford Wolf2019-07-151-4/+8
|\ \ \ \ \ | | | | | | | | | | | | extract_fa to return nothing more gracefully
| * | | | | If ConstEval fails do not log_abort() but return gracefullyEddie Hung2019-07-131-4/+8
| |/ / / /
* | | | | Merge pull request #1191 from whitequark/opt_lut-log_debugClifford Wolf2019-07-151-56/+38
|\ \ \ \ \ | | | | | | | | | | | | Make opt_lut less chatty
| * | | | | opt_lut: make less chatty.whitequark2019-07-131-56/+38
| |/ / / /
* | | | | Merge pull request #1195 from Roman-Parise/masterClifford Wolf2019-07-151-1/+1
|\ \ \ \ \ | | | | | | | | | | | | Updated FreeBSD dependencies in README.md
| * | | | | Updated FreeBSD dependencies in README.mdRoman-Parise2019-07-141-1/+1
| | |_|/ / | |/| | |
* | | | | Merge pull request #1197 from nakengelhardt/handle-setrlimit-failClifford Wolf2019-07-151-1/+5
|\ \ \ \ \ | |/ / / / |/| | | | smt: handle failure of setrlimit syscall
| * | | | smt: handle failure of setrlimit syscallN. Engelhardt2019-07-151-1/+5
|/ / / /
* | | | Merge pull request #1194 from cr1901/miss-semiEddie Hung2019-07-141-2/+2
|\ \ \ \ | |/ / / |/| | | Fix missing semicolon in Windows-specific code in aigerparse.cc.
| * | | Fix missing semicolon in Windows-specific code in aigerparse.cc.William D. Jones2019-07-141-2/+2
| | | | | | | | | | | | | | | | Signed-off-by: William D. Jones <thor0505@comcast.net>
* | | | Merge pull request #1183 from whitequark/ice40-always-relutClifford Wolf2019-07-121-11/+5
|\ \ \ \ | |_|_|/ |/| | | synth_ice40: switch -relut to be always on
| * | | synth_ice40: switch -relut to be always on.whitequark2019-07-111-10/+4
| | | |
| * | | synth_ice40: fix help text typo. NFC.whitequark2019-07-111-1/+1
| |/ /
* | | Merge pull request #1182 from koriakin/xc6s-bramEddie Hung2019-07-119-8/+598
|\ \ \ | | | | | | | | synth_xilinx: Initial Spartan 6 block RAM inference support.
| * | | synth_xilinx: Initial Spartan 6 block RAM inference support.Marcin Kościelnicki2019-07-119-8/+598
| |/ /
* | | Merge pull request #1185 from koriakin/xc-ff-init-valsEddie Hung2019-07-112-6/+6
|\ \ \ | | | | | | | | xilinx: Fix the default values for FDPE/FDSE INIT attributes to match ISE/Vivado.
| * | | xilinx: Fix the default values for FDPE/FDSE INIT attributes to match ↵Marcin Kościelnicki2019-07-112-6/+6
| |/ / | | | | | | | | | ISE/Vivado.
* / / Enable &mfs for abc9, even if it only currently works for ice40Eddie Hung2019-07-111-1/+1
|/ /
* | Merge pull request #1172 from whitequark/write_verilog-Sa-as-qmarkClifford Wolf2019-07-111-2/+8
|\ \ | | | | | | write_verilog: write RTLIL::Sa aka - as Verilog ?
| * | write_verilog: write RTLIL::Sa aka - as Verilog ?.whitequark2019-07-091-2/+8
| | | | | | | | | | | | | | | | | | | | | Currently, the only ways (determined by grepping for regex \bSa\b) to end up with RTLIL::Sa in a netlist is by reading a Verilog constant with ? in it as a part of case, or by running certain FSM passes. Both of these cases should be round-tripped back to ? in Verilog.
* | | Merge pull request #1179 from whitequark/attrmap-procClifford Wolf2019-07-111-0/+19
|\ \ \ | | | | | | | | attrmap: also consider process, switch and case attributes
| * | | attrmap: also consider process, switch and case attributes.whitequark2019-07-101-0/+19
| | |/ | |/|
* | | Merge pull request #1180 from YosysHQ/eddie/no_abc9_retimeEddie Hung2019-07-103-6/+15
|\ \ \ | | | | | | | | Error out if -abc9 and -retime specified
| * | | Error out if -abc9 and -retime specifiedEddie Hung2019-07-103-6/+15
| |/ /
* | | Merge pull request #1148 from YosysHQ/xc7muxEddie Hung2019-07-107-49/+415
|\ \ \ | | | | | | | | synth_xilinx to infer wide multiplexers using new '-widemux <min>' option
| * | | Add some spacingEddie Hung2019-07-101-9/+9
| | | |
| * | | Add some ASCII art explaining mux decompositionEddie Hung2019-07-101-0/+21
| | | |
| * | | Call muxpack and pmux2shiftx before cmp2lutEddie Hung2019-07-091-9/+12
| | | |
| * | | Restore opt_clean back to original placeEddie Hung2019-07-091-2/+1
| | | |
| * | | Restore missing techmap -map +/cmp2lut.v with LUT_WIDTH=6Eddie Hung2019-07-091-0/+2
| | | |
| * | | Extend using A[1] to preserve don't careEddie Hung2019-07-091-1/+9
| | | |
| * | | Merge remote-tracking branch 'origin/eddie/fix1173' into xc7muxEddie Hung2019-07-092-4/+9
| |\ \ \
| * | | | Extend during mux decomposition with 1'bxEddie Hung2019-07-091-24/+3
| | | | |
| * | | | Fix typo and commentsEddie Hung2019-07-091-4/+4
| | | | |
| * | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-07-0916-79/+348
| |\ \ \ \ | | | |_|/ | | |/| |
| * | | | synth_xilinx to call commands of synth -coarse directlyEddie Hung2019-07-091-3/+20
| | | | |
| * | | | Revert "synth_xilinx to call "synth -run coarse" with "-keepdc""Eddie Hung2019-07-091-2/+2
| | | | | | | | | | | | | | | | | | | | This reverts commit 7f964859ec99500e471853f5914b6e5b7c35a031.
| * | | | Fix spacingEddie Hung2019-07-091-1/+1
| | | | |
| * | | | Fix spacingEddie Hung2019-07-091-1/+1
| | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-15 07:37:37 +0000