iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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	2	-3/+3
\|\
\| *	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
\| *	Use State::S{0,1}	Eddie Hung	2019-08-06	1	-1/+1
* \|	Automatically prune init attributes in verific front-end, fixes #1237	Clifford Wolf	2019-08-07	2	-7/+60
\|/
*	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	2	-8/+12
*	WIP -chparam support for hierarchy when verific	Eddie Hung	2019-05-03	2	-12/+17
*	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
*	Merge pull request #858 from YosysHQ/clifford/svalabels	Clifford Wolf	2019-03-09	1	-1/+14
\|\
\| *	Add hack for handling SVA labels via Verific	Clifford Wolf	2019-03-07	1	-1/+14
* \|	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
* \|	Fix spelling	Eddie Hung	2019-03-09	1	-1/+1
\|/
*	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
*	Remove -m32 Verific eval lib build instructions	Clifford Wolf	2019-01-04	1	-29/+0
*	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
*	Fix typographical and grammatical errors and inconsistencies.	whitequark	2019-01-02	1	-4/+4
*	Improve src tagging (using names and attrs) of cells and wires in verific fro...	Clifford Wolf	2018-12-18	2	-99/+160
*	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	3	-2/+16
*	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
* \|	Verific: Produce errors for instantiating unknown module	Clifford Wolf	2018-07-22	1	-0/+3
\|/
*	Fix handling of eventually properties in verific importer	Clifford Wolf	2018-07-17	1	-2/+4
*	Fix verific -vlog-incdir and -vlog-libdir handling	Clifford Wolf	2018-07-16	1	-2/+13
*	Fix "read -incdir"	Clifford Wolf	2018-07-16	1	-1/+1
*	Add "read -incdir"	Clifford Wolf	2018-07-16	1	-0/+19
*	Fix verific eventually handling	Clifford Wolf	2018-06-29	1	-6/+5
*	Add verific support for eventually properties	Clifford Wolf	2018-06-29	1	-5/+105
*	Add "verific -formal" and "read -formal"	Clifford Wolf	2018-06-29	1	-7/+15
*	Add "read -sv -D" support	Clifford Wolf	2018-06-28	1	-2/+25
*	Add "read -undef"	Clifford Wolf	2018-06-28	1	-0/+32