iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #2372 from nakengelhardt/name_is_public	N. Engelhardt	2020-09-21	4	-8/+8
\|\
\| *	use the new isPublic() in a few places	N. Engelhardt	2020-09-14	4	-8/+8
* \|	Merge pull request #2369 from Xiretza/gitignores	Miodrag Milanović	2020-09-10	2	-0/+2
\|\ \ \| \|/ \|/\|
\| *	Add missing gitignores for test artifacts	Xiretza	2020-08-31	2	-0/+2
* \|	cxxrtl: expose driver kind in debug information.	whitequark	2020-09-02	3	-12/+112
* \|	cxxrtl: improve handling of FFs with async inputs (other than CLK).	whitequark	2020-09-02	1	-22/+23
* \|	cxxrtl: expose port direction in debug information.	whitequark	2020-09-02	3	-5/+51
* \|	cxxrtl: fix typo in comment. NFC.	whitequark	2020-09-02	1	-1/+1
* \|	cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation. NFC.	whitequark	2020-09-02	1	-1/+1
\|/
*	write_smt2: fix SMT-LIB tutorial URL	whitequark	2020-08-29	1	-1/+1
*	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
\| \|/ \|/\|