1430 commits

Author	SHA1	Message	Date
Clifford Wolf	3928482a3c	Add $cover cell type and SVA cover() support	2017-02-04 14:14:26 +01:00
Clifford Wolf	b54972c112	Fix RTLIL::Memory::start_offset initialization	2017-01-25 17:00:59 +01:00
Clifford Wolf	6b2c23c721	Bugfix in RTLIL::SigSpec::remove2()	2016-12-31 16:14:42 +01:00
Clifford Wolf	33a22f8768	Simplified log_spacer() code	2016-12-23 02:06:46 +01:00
Clifford Wolf	a0dff87a57	Added "yosys -W regex"	2016-12-22 23:41:44 +01:00
Clifford Wolf	f144adec58	Added AIGER back-end to automatic back-end detection	2016-12-21 10:16:47 +01:00
Clifford Wolf	00761de1b7	Bugfix in comment handling	2016-12-13 13:48:09 +01:00
Clifford Wolf	a926a6afc2	Remember global declarations and defines accross read_verilog calls	2016-11-15 12:42:43 +01:00
Clifford Wolf	fa535c0b00	Some minor build fixes for Visual C	2016-10-14 18:36:02 +02:00
Clifford Wolf	bdc316db50	Added $anyseq cell type	2016-10-14 15:24:03 +02:00
Clifford Wolf	53655d173b	Added $global_clock verilog syntax support for creating $ff cells	2016-10-14 12:33:56 +02:00
Clifford Wolf	8ebba8a35f	Added $ff and $_FF_ cell types	2016-10-12 01:18:39 +02:00
Clifford Wolf	59508c99b4	define PATH_MAX if not defined by limits.h	2016-10-11 12:12:09 +02:00
Clifford Wolf	cb7dbf4070	Improvements in assertpmux	2016-09-07 12:42:16 +02:00
Clifford Wolf	6f41e5277d	Removed $aconst cell type	2016-08-30 19:09:56 +02:00
Clifford Wolf	eae390ae17	Removed $predict again	2016-08-28 21:35:33 +02:00
Clifford Wolf	23afeadb5e	Fixed handling of transparent bram rd ports on ROMs	2016-08-27 17:06:22 +02:00
Clifford Wolf	f8a77abfac	Added glob support to all front-ends	2016-08-22 15:05:57 +02:00
William D. Jones	5299b17056	Add MSYS2-compatible build.	2016-08-16 14:41:59 -04:00
Clifford Wolf	5767e4bc4d	Use _Exit(0) on win32, always use _Exit(1) in log_error()	2016-08-16 09:38:54 +02:00
Clifford Wolf	39da8eddae	Added log_const() API	2016-08-09 19:56:10 +02:00
Yury Gribov	f7730d43bb	Use /proc/self/exe on Cygwin as well.	2016-08-08 12:00:27 +02:00
Clifford Wolf	8d88fcb270	Added SatGen support for $anyconst	2016-07-27 15:52:20 +02:00
Clifford Wolf	9540be1d45	Removed $predict support from SatGen	2016-07-27 15:44:11 +02:00
Clifford Wolf	4056312987	Added $anyconst and $aconst	2016-07-27 15:41:22 +02:00
Clifford Wolf	a7b0769623	Added "read_verilog -dump_rtlil"	2016-07-27 15:40:17 +02:00
Clifford Wolf	8537c4d206	Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()	2016-07-25 16:39:25 +02:00
Clifford Wolf	b1c432af56	Improvements in CellEdgesDatabase	2016-07-24 17:21:53 +02:00
Clifford Wolf	f162b858f2	Added CellEdgesDatabase API	2016-07-24 13:59:57 +02:00
Clifford Wolf	89deb412c6	Added satgen initstate support	2016-07-22 10:28:45 +02:00
Clifford Wolf	5c166e76e5	Added $initstate cell type and vlog function	2016-07-21 14:23:22 +02:00
Clifford Wolf	d7763634b6	After reading the SV spec, using non-standard predict() instead of expect()	2016-07-21 13:34:33 +02:00
Clifford Wolf	721f1f5ecf	Added basic support for $expect cells	2016-07-13 16:56:17 +02:00
Ruben Undheim	a8200a773f	A few modifications after pull request comments ... - Renamed Design::packages to Design::verilog_packages - No need to include ast.h in rtlil.h	2016-06-18 14:23:38 +02:00
Ruben Undheim	178ff3e7f6	Added support for SystemVerilog packages with localparam definitions	2016-06-18 10:53:55 +02:00
Clifford Wolf	ebece2b8d5	Added $sop SAT model	2016-06-17 17:47:30 +02:00
Clifford Wolf	95757efb25	Improved support for $sop cells	2016-06-17 16:31:16 +02:00
Clifford Wolf	52bb1b968d	Added $sop cell type and "abc -sop"	2016-06-17 13:50:09 +02:00
Clifford Wolf	864eeadcd9	Added missing "#define HASHLIB_H"	2016-05-14 11:43:20 +02:00
Clifford Wolf	570014800a	Include <cmath> in yosys.h	2016-05-08 10:50:39 +02:00
Clifford Wolf	f103bfb9ba	Fixes for MXE build	2016-05-07 10:53:18 +02:00
Clifford Wolf	9aa4b3309c	Added "yosys -D ALL"	2016-04-24 17:12:34 +02:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	a07f893a5f	Minor hashlib bugfix	2016-04-16 23:20:11 +02:00
Clifford Wolf	ace462237f	Hashlib indenting fix	2016-04-05 13:25:23 +02:00
Clifford Wolf	2553319081	Added ScriptPass helper class for script-like passes	2016-03-31 11:16:34 +02:00
Clifford Wolf	6f1b6dc322	Added log_dump() support for dict<> and pool<> containers	2016-03-31 09:57:44 +02:00
Clifford Wolf	0db53284fd	We have 2016 for a while now	2016-03-30 13:52:26 +02:00
Clifford Wolf	48dbc75bed	Added .vhd file extension support	2016-03-30 13:24:49 +02:00
Clifford Wolf	95784437ac	Merge pull request #137 from ravenexp/master ... Embed DATDIR make variable value into yosys binary.	2016-03-28 16:54:23 +02:00