1187 commits

Author	SHA1	Message	Date
Clifford Wolf	bc468cb6f2	Fixed hashlib for 64 bit int keys	2015-08-12 13:37:09 +02:00
Clifford Wolf	45ee2ba3b8	Fixed handling of [a-fxz?] in decimal constants	2015-08-11 11:32:37 +02:00
Clifford Wolf	8d6d5c30d9	Added WORDS parameter to $meminit	2015-07-31 10:40:09 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	caa274ada6	Added design->rename(module, new_name)	2015-06-30 01:37:59 +02:00
Clifford Wolf	99100f367d	Added "rename -top new_name"	2015-06-17 09:38:56 +02:00
Clifford Wolf	ea23bb8aa4	Added "write_smv" skeleton	2015-06-15 00:46:27 +02:00
Clifford Wolf	4c733301e6	Fixed cstr_buf for std::string with small string optimization	2015-06-11 13:39:49 +02:00
Clifford Wolf	3a6abc9bf6	Improvements in cellaigs.cc and "json -aig"	2015-06-11 10:48:16 +02:00
Clifford Wolf	1ae360cf72	AigMaker refactoring	2015-06-10 23:00:12 +02:00
Clifford Wolf	e534881794	Added "json -aig"	2015-06-10 08:13:56 +02:00
Clifford Wolf	85287295b2	Fixed cellaigs port extending	2015-06-10 07:16:30 +02:00
Clifford Wolf	66f9ee412a	Added "aig" pass	2015-06-09 22:33:26 +02:00
Clifford Wolf	e49e2662aa	Added cellaigs API	2015-06-09 09:54:22 +02:00
Clifford Wolf	de4f4dad3c	Fixed "avail_parameters" handling in module clone/copy	2015-06-08 14:49:34 +02:00
Clifford Wolf	98650a0609	Added log_dump() support for IdStrings	2015-06-08 14:49:02 +02:00
Clifford Wolf	2cc4e75914	Added read_blif command	2015-05-17 15:25:03 +02:00
Clifford Wolf	61512b6f41	Verific build fixes	2015-05-17 08:19:52 +02:00
Clifford Wolf	f483dce7c2	Added $eq/$neq -> $logic_not/$reduce_bool optimization	2015-04-29 07:28:15 +02:00
Clifford Wolf	49859393bb	Improved attributes API and handling of "src" attributes	2015-04-24 22:04:05 +02:00
Clifford Wolf	cfdc9fc50e	A "#" does start a comment, not a label.	2015-04-16 18:13:41 +02:00
Clifford Wolf	44519d4399	Added back-end auto-detect for .edif and .json	2015-04-09 15:37:54 +02:00
Clifford Wolf	25781e329b	Fixed const2big performance bug	2015-04-09 13:20:19 +02:00
Clifford Wolf	21a1cc1b60	Added support for "file names with blanks"	2015-04-08 12:14:34 +02:00
Clifford Wolf	aae5f2ca08	Added hashlib support for std::tuple<>	2015-04-07 17:23:30 +02:00
Clifford Wolf	b31e77fd06	Added pool<K>::pop()	2015-04-07 15:07:01 +02:00
Clifford Wolf	169d1c4711	Added support for initialized brams	2015-04-06 17:06:15 +02:00
Clifford Wolf	a1c62b79d5	Avoid parameter values with size 0 ($mem cells)	2015-04-05 18:04:19 +02:00
Clifford Wolf	706631225e	Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types	2015-04-05 09:45:14 +02:00
Clifford Wolf	c52a4cdeed	Added "dffinit", Support for initialized Xilinx DFF	2015-04-04 19:00:15 +02:00
Clifford Wolf	68bbb15214	Fixed detection of absolute paths in ABC for win32	2015-03-22 11:03:56 +01:00
Clifford Wolf	b005eedf36	Added $assume cell type	2015-02-26 18:04:10 +01:00
Clifford Wolf	9ae21263f0	Some cleanups in "clean"	2015-02-24 22:31:30 +01:00
Clifford Wolf	4e6ca7760f	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
Clifford Wolf	e0e6d130cd	YosysJS stuff	2015-02-19 13:36:54 +01:00
Clifford Wolf	f41378af8c	Fixed clang (svn trunk) warnings	2015-02-18 14:54:22 +01:00
Clifford Wolf	3e5e9a3889	More YosysJS stuff	2015-02-16 13:23:54 +01:00
Clifford Wolf	33e80b96c7	Added YosysJS wrapper	2015-02-16 12:41:48 +01:00
Clifford Wolf	8d45f81046	More emcc stuff	2015-02-15 17:15:29 +01:00
Clifford Wolf	3216f9420e	More emscripten stuff, Added example app	2015-02-15 12:09:30 +01:00
Clifford Wolf	dcf2e24240	Added $meminit support to "memory" command	2015-02-14 12:55:03 +01:00
Clifford Wolf	910556560f	Added $meminit cell type	2015-02-14 10:23:03 +01:00
Clifford Wolf	adf4ecbc1f	Some hashlib improvements	2015-02-09 20:11:51 +01:00
Clifford Wolf	a779a09771	Fixed creation of command reference in manual	2015-02-09 13:24:29 +01:00
Clifford Wolf	bcd8a2fc56	Fixed eval_select_op() api	2015-02-08 19:06:16 +01:00
Clifford Wolf	09ee65a050	Added eval_select_args() and eval_select_op()	2015-02-08 18:56:06 +01:00
Clifford Wolf	6d2f31c04a	Various ModIndex improvements	2015-02-08 14:23:12 +01:00
Clifford Wolf	05d4223fb6	Added SigSpec::has_const()	2015-02-08 00:01:51 +01:00
Clifford Wolf	dce1fae777	Added cell->known(), cell->input(portname), cell->output(portname)	2015-02-07 11:40:19 +01:00
Clifford Wolf	5b41470e15	Skip blackbox modules in design->selected_modules()	2015-02-03 23:12:23 +01:00