iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #1667 from YosysHQ/clifford/verificnand	Claire Wolf	2020-01-30	1	-0/+8
\|\
\| *	Add Verific support for OPER_REDUCE_NAND	Claire Wolf	2020-01-30	1	-0/+8
* \|	Merge pull request #1503 from YosysHQ/eddie/verific_help	Claire Wolf	2020-01-30	1	-8/+8
\|\ \
\| * \|	Merge remote-tracking branch 'origin/master' into eddie/verific_help	Eddie Hung	2020-01-27	1	-10/+30
\| \|\\|
\| * \|	verific: no help() when no YOSYS_ENABLE_VERIFIC	Eddie Hung	2020-01-27	1	-4/+1
\| * \|	Oops	Eddie Hung	2019-11-19	1	-1/+1
\| * \|	Print help message for verific pass	Eddie Hung	2019-11-19	1	-9/+12
* \| \|	verific: also unflatten for 'hierarchy' flow as per @cliffordwolf	Eddie Hung	2020-01-27	1	-0/+3
* \| \|	verific: unflatten struct ports	Eddie Hung	2020-01-24	1	-0/+3
\| \|/ \|/\|
* \|	Send people to symbioticeda.com instead of verific.com	Clifford Wolf	2019-12-18	1	-3/+20
* \|	Improve handling of verific primitives in "verific -import -V" mode	Clifford Wolf	2019-11-22	1	-2/+2
* \|	Correctly treat empty modules as blackboxes in Verific	Clifford Wolf	2019-11-20	1	-1/+1
* \|	Do not rename VHDL entities to "entity(impl)" when they are top modules	Clifford Wolf	2019-11-20	1	-4/+7
\|/
*	Improve naming scheme for (VHDL) modules imported from Verific	Clifford Wolf	2019-10-24	1	-3/+26
*	Add "verific -L"	Clifford Wolf	2019-10-24	1	-1/+12
*	Fix handling of "restrict" in Verific front-end	Clifford Wolf	2019-10-21	1	-1/+1
*	Fix erroneous ifndef-NDEBUG in verific.cc	Clifford Wolf	2019-08-17	1	-3/+1
*	Fix various NDEBUG compiler warnings, closes #1255	Clifford Wolf	2019-08-13	1	-0/+2
*	Merge pull request #1258 from YosysHQ/eddie/cleanup	Clifford Wolf	2019-08-10	1	-2/+2
\|\
\| *	substr() -> compare()	Eddie Hung	2019-08-07	1	-2/+2
\| *	stoi -> atoi	Eddie Hung	2019-08-07	1	-1/+1
\| *	Use std::stoi instead of atoi(<str>.c_str())	Eddie Hung	2019-08-06	1	-1/+1
* \|	Automatically prune init attributes in verific front-end, fixes #1237	Clifford Wolf	2019-08-07	1	-5/+58
\|/
*	Call "read_verilog" with -defer from "read"	Clifford Wolf	2019-07-29	1	-1/+2
*	Only support Symbiotic EDA flavored Verific	Clifford Wolf	2019-06-02	1	-0/+8
*	Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, ...	Clifford Wolf	2019-05-30	1	-0/+3
*	For hier_tree::Elaborate() also include SV root modules (bind)	Eddie Hung	2019-05-03	1	-23/+36
*	Fix verific_parameters construction, use attribute to mark top netlists	Eddie Hung	2019-05-03	1	-7/+11
*	WIP -chparam support for hierarchy when verific	Eddie Hung	2019-05-03	1	-10/+15
*	verific_import() changes to avoid ElaborateAll()	Eddie Hung	2019-05-03	1	-15/+38
*	Add "read -verific" and "read -noverific"	Clifford Wolf	2019-03-27	1	-6/+28
*	Fix "verific -extnets" for more complex situations	Clifford Wolf	2019-03-26	1	-15/+71
*	Update help message for -chparam	Eddie Hung	2019-03-09	1	-1/+2
*	Add -chparam option to verific command	Eddie Hung	2019-03-09	1	-2/+18
*	Improve "read" error msg	Clifford Wolf	2019-02-28	1	-1/+1
*	Check if Verific was built with DB_PRESERVE_INITIAL_VALUE	Clifford Wolf	2019-02-24	1	-0/+4
*	Improve VerificImporter support for writes to asymmetric memories	Clifford Wolf	2019-01-02	1	-22/+35
*	Fix VerificImporter asymmetric memories error message	Clifford Wolf	2019-01-02	1	-1/+1
*	Improve src tagging (using names and attrs) of cells and wires in verific fro...	Clifford Wolf	2018-12-18	1	-99/+159
*	Verific updates	Clifford Wolf	2018-12-06	1	-53/+0
*	Set Verific flag vhdl_support_variable_slice=1	Clifford Wolf	2018-11-09	1	-0/+1
*	Improve Verific importer blackbox handling	Clifford Wolf	2018-10-07	1	-2/+14
*	Fix compiler warning in verific.cc	Clifford Wolf	2018-10-05	1	-0/+2
*	Add "verific -L <int>" option	Clifford Wolf	2018-09-04	1	-0/+11
*	Add "verific -work" help message	Clifford Wolf	2018-08-22	1	-0/+7
*	Add Verific -work parameter	Clifford Wolf	2018-08-22	1	-8/+18
*	Add "verific -set-<severity> <msg_id>.."	Clifford Wolf	2018-08-16	1	-14/+52
*	Verific workaround for VIPER ticket 13851	Clifford Wolf	2018-08-16	1	-0/+3
*	Merge pull request #591 from hzeller/virtual-override	Clifford Wolf	2018-08-15	1	-5/+5
\|\
\| *	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-5/+5