iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	backends/blif: Remove unused vector of strings (#2420)	William Woodruff	2020-11-16	1	-57/+53
*	cxxrtl: run `hierarchy -auto-top` if no top module is present.	whitequark	2020-11-02	1	-7/+26
*	cxxrtl: don't assert on non-constant $meminit inputs.	whitequark	2020-11-01	1	-2/+4
*	cxxrtl: don't assert on wires with multiple drivers.	whitequark	2020-11-01	1	-0/+2
*	btor: Use Mem helper.	Marcelina Kościelnicka	2020-10-21	1	-93/+102
*	smt2: Use Mem helper.	Marcelina Kościelnicka	2020-10-21	1	-186/+244
*	verilog_backend: Use Mem helper.	Marcelina Kościelnicka	2020-10-21	1	-274/+251
*	smtbmc: escape identifiers in verilog testbench	Jakob Wenzel	2020-10-06	1	-11/+29
*	write_verilog: emit intermediate wire for constant values in sensitivity list	N. Engelhardt	2020-09-28	1	-7/+53
*	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
\|\ \ \| \|/ \|/\|