iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Replace "ILANG" with "RTLIL" everywhere.	whitequark	2020-08-26	5	-34/+49
*	Ensure smt2 comments are associated with accessors	Noah Moroze	2020-08-20	1	-9/+20
*	Respect \A_SIGNED for $shift	Xiretza	2020-08-18	3	-17/+23
*	cxxrtl.h: Fix incorrect CarryOut in alu()	Andy Knowles	2020-08-12	1	-8/+3
*	cxxrtl.h: Fix incorrect CarryOut in alu when Bits % 32 != 0 && Invert == False	Andy Knowles	2020-08-12	1	-2/+8
*	verilog_backend: Add handling for all FF types.	Marcelina Kościelnicka	2020-07-30	1	-252/+134
*	smtio: Emit `mode: start` options before `set-logic` command and any other op...	Alberto Gonzalez	2020-07-20	1	-1/+8
*	smtio: Add support for parsing `yosys-smt2-solver-option` info statements.	Alberto Gonzalez	2020-07-20	1	-3/+10
*	smt2: Add `-solver-option` option.	Alberto Gonzalez	2020-07-20	1	-0/+13
*	Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc	Claire Wolf	2020-07-20	2	-4/+4
*	Merge pull request #2273 from whitequark/write-verilog-always-star-initial	clairexen	2020-07-16	1	-0/+5
\|\
\| *	verilog_backend: in non-SV mode, add a trigger for `always @*`.	whitequark	2020-07-16	1	-0/+5
* \|	Merge pull request #2272 from whitequark/write-verilog-sv	clairexen	2020-07-16	1	-11/+18
\|\\|
\| *	verilog_backend: add `-sv` option, make `-o <filename>.sv` work.	whitequark	2020-07-16	1	-11/+18
* \|	cxxrtl: fix typo. NFC.	whitequark	2020-07-14	1	-1/+1
\|/
*	cxxrtl: expose eval() and commit() via the C API.	whitequark	2020-07-12	2	-0/+20
*	cxxrtl: add missing extern "C".	whitequark	2020-07-09	1	-0/+1
*	cxxrtl: update help text.	whitequark	2020-06-26	1	-2/+2
*	Merge pull request #2168 from whitequark/assert-unused-exprs	clairexen	2020-06-25	1	-2/+0
\|\
\| *	Use (and ignore) the expression provided to log_assert in NDEBUG builds.	whitequark	2020-06-19	1	-2/+0
* \|	cxxrtl: Add support for the new FF types.	Marcelina Kościelnicka	2020-06-24	1	-5/+22
\|/
*	Merge pull request #2173 from whitequark/use-cxx11-final-override	whitequark	2020-06-19	17	-40/+40
\|\
\| *	Use C++11 final/override keywords.	whitequark	2020-06-18	17	-40/+40
* \|	cxxrtl: add .get() and .set() accessors on value<> and wire<>.	whitequark	2020-06-19	1	-6/+47
\|/
*	Merge pull request #2167 from whitequark/cxxrtl-fix-ndebug	whitequark	2020-06-18	1	-1/+2
\|\
\| *	cxxrtl: don't compute vital values in log_assert().	whitequark	2020-06-17	1	-1/+2
* \|	Merge pull request #2163 from jfng/cxxrtl-blackbox-debuginfo	whitequark	2020-06-17	1	-13/+17
\|\ \
\| * \|	cxxrtl: restrict the debug info of a blackbox to its ports.	Jean-François Nguyen	2020-06-16	1	-13/+17
\| \|/
* \|	Merge pull request #2160 from whitequark/cxxrtl-fix-warning	whitequark	2020-06-17	1	-21/+23
\|\ \ \| \|/ \|/\|
\| *	cxxrtl: avoid unused variable warning for transparent $memrd ports. NFC.	whitequark	2020-06-15	1	-21/+23
* \|	Merge pull request #2159 from MerryMage/cxxrtl-mul	whitequark	2020-06-15	1	-17/+22
\|\ \ \| \|/ \|/\|
\| *	cxxrtl: Implement chunk-wise multiplication	MerryMage	2020-06-15	1	-17/+22
* \|	Merge pull request #2158 from miek/sshr-sign-extension	whitequark	2020-06-15	1	-2/+4
\|\ \ \| \|/ \|/\|
\| *	cxxrtl: fix sshr sign-extension.	Mike Walters	2020-06-15	1	-2/+4
* \|	Merge pull request #2151 from whitequark/cxxrtl-fix-rzext	whitequark	2020-06-13	1	-2/+2
\|\ \ \| \|/ \|/\|
\| *	cxxrtl: fix rzext().	whitequark	2020-06-13	1	-2/+2
* \|	Merge pull request #2145 from whitequark/cxxrtl-splitnets	whitequark	2020-06-13	5	-67/+156
\|\ \
\| * \|	cxxrtl: handle multipart signals.	whitequark	2020-06-11	5	-27/+94
\| * \|	cxxrtl: expose RTLIL::{Wire,Memory}->start_offset in debug info.	whitequark	2020-06-11	3	-40/+62
* \| \|	cxxrtl: always inline internal cells and slice/concat operations.	whitequark	2020-06-13	1	-4/+108
\| \|/ \|/\|
* \|	cxxrtl: elide $pmux cells.	whitequark	2020-06-12	1	-30/+16
* \|	cxxrtl: annotate port direction as comments.	whitequark	2020-06-12	1	-1/+8
* \|	cxxrtl: unbuffer output wires of toplevel module.	whitequark	2020-06-12	1	-1/+1
* \|	cxxrtl: simplify unbuffering of input wires.	whitequark	2020-06-12	1	-20/+17
\|/
*	Merge pull request #2141 from whitequark/cxxrtl-cxx11	whitequark	2020-06-10	3	-8/+10
\|\
\| *	cxxrtl: restore C++11 compatibility.	whitequark	2020-06-10	1	-1/+2
\| *	cxxrtl: fix a few gcc warnings.	whitequark	2020-06-10	1	-5/+6
\| *	Fix formatting. NFC.	whitequark	2020-06-10	1	-2/+2
* \|	cxxrtl: disambiguate values/wires and their aliases in debug info.	whitequark	2020-06-10	4	-9/+50
\|/
*	cxxrtl: allow unbuffering without localizing.	whitequark	2020-06-09	1	-40/+74