5654 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	b66d50e62d	Fix minor typo in "prep" help message	2017-12-19 21:44:05 +01:00
Clifford Wolf	292984896b	Simple fix BTOR memory encoding	2017-12-17 18:57:54 +01:00
Clifford Wolf	bbdcc1f9d4	Improve BTOR memory encoding	2017-12-17 18:55:17 +01:00
Clifford Wolf	8e22e8118a	Merge branch 'btor-ng'	2017-12-15 02:21:56 +01:00
Clifford Wolf	30f23281ed	Add array support to btor back-end	2017-12-15 02:19:06 +01:00
Clifford Wolf	ad901671c5	Add $anyconst/$anyseq support to btor back-end	2017-12-15 00:40:24 +01:00
Clifford Wolf	162c29bd6b	Merge branch 'master' into btor-ng	2017-12-14 03:13:47 +01:00
Clifford Wolf	9419de3e37	Add yosys-smtbmc VCD writer support for memories with async writes	2017-12-14 03:06:00 +01:00
Clifford Wolf	6132e6e72a	Fix a bug in clk2fflogic memory handling	2017-12-14 03:05:55 +01:00
Clifford Wolf	a48ec49017	Merge branch 'master' into btor-ng	2017-12-14 02:17:01 +01:00
Clifford Wolf	590e6961cb	Add clk2fflogic memory support	2017-12-14 02:07:31 +01:00
Clifford Wolf	2625da6440	Add smt2 back-end support for async write memories	2017-12-14 02:07:10 +01:00
Clifford Wolf	76afff7ef6	Add RTLIL::Const::is_fully_ones()	2017-12-14 02:06:39 +01:00
Clifford Wolf	96ad688849	Add SigSpec::is_fully_ones()	2017-12-14 01:29:09 +01:00
Clifford Wolf	1dad2ff682	Merge pull request #469 from kkiningh/master ... Use quote includes for yosys.h	2017-12-14 00:03:26 +01:00
Kevin Kiningham	7350f7692a	Use quote includes for yosys.h	2017-12-13 13:27:52 -08:00
Clifford Wolf	88182e46d7	Check for memories in clk2fflogic	2017-12-13 19:14:34 +01:00
Clifford Wolf	07bfe8ba40	Merge pull request #468 from grahamedgecombe/fix-sb-io-od ... Fix SB_IO_OD module	2017-12-13 16:55:39 +01:00
Clifford Wolf	546de7fa4f	Add "write_btor -s" mode	2017-12-13 00:15:44 +01:00
Clifford Wolf	0881bbf2e7	Add state initval handling to btor back-end	2017-12-12 23:44:08 +01:00
Clifford Wolf	f697282246	Add btor back-end support for 'x' constants	2017-12-12 21:48:55 +01:00
Clifford Wolf	2b6307547f	Add SigSpec::is_fully_ones()	2017-12-12 21:48:31 +01:00
Clifford Wolf	ca2adc30c9	Add warnings for driver-driver conflicts between FFs (and other cells) and constants	2017-12-12 17:13:27 +01:00
Clifford Wolf	82d1fd77de	Add btor $shift/$shiftx support	2017-12-11 14:24:19 +01:00
Graham Edgecombe	f93e6637aa	Fix port names in SB_IO_OD	2017-12-10 15:33:38 +00:00
Graham Edgecombe	52ace35a73	Remove trailing comma from SB_IO_OD port list ... This isn't compatible with Icarus Verilog.	2017-12-10 15:33:38 +00:00
Clifford Wolf	cc119b5232	Fix btor back-end shift handling	2017-12-10 08:40:11 +01:00
Clifford Wolf	133a0f4978	Add support for $pmux in btor back-end	2017-12-10 08:11:08 +01:00
Clifford Wolf	83cf736309	Add support for more cell types to btor back-end	2017-12-10 07:16:47 +01:00
Clifford Wolf	8069118e6e	Merge branch 'master' into btor-ng	2017-12-10 01:27:41 +01:00
Clifford Wolf	ba90e08398	Add support for Verific PRIM_SVA_NOT properties	2017-12-10 01:10:03 +01:00
Clifford Wolf	e4a4c0e10c	Add Verific OPER_SVA_STABLE support	2017-12-10 00:59:44 +01:00
Clifford Wolf	27916105a9	Refactoring Verific SVA rewriter	2017-12-10 00:26:26 +01:00
Clifford Wolf	63343aeaaa	Fix btor concat	2017-12-09 05:58:14 +01:00
Clifford Wolf	fd83e3442d	Merge branch 'master' into btor-ng	2017-12-09 05:26:02 +01:00
Clifford Wolf	50da3bdbcc	Merge pull request #467 from mithro/patch-1 ... Fix spelling in -vpr help for synth_ice40	2017-12-09 03:46:32 +01:00
Tim Ansell	3cc31f197c	Fix spelling in -vpr help for synth_ice40	2017-12-08 18:44:45 -08:00
Clifford Wolf	8f2638ae2f	Use "hg ... --insecure" for cloning/pulling ABC	2017-12-03 06:11:11 +01:00
Clifford Wolf	d5e6a73c8a	Update ABC to hg rev 31fc97b0aeed	2017-12-02 21:24:12 +01:00
Clifford Wolf	8364f509e3	Fix error handling for nested always/initial	2017-12-02 18:52:05 +01:00
Clifford Wolf	68c6675130	Merge branch 'master' into btor-ng	2017-12-01 23:51:58 +01:00
Clifford Wolf	1f6e8f86c5	Merge pull request #462 from daveshah1/up5k ... Add remaining UltraPlus cells to ice40 techlib	2017-11-28 15:53:53 +01:00
David Shah	5e8d1922a4	Add remaining UltraPlus cells to ice40 techlib	2017-11-28 11:07:49 +00:00
Clifford Wolf	10cb5172a3	Merge branch 'master' into btor-ng	2017-11-27 19:45:15 +01:00
Clifford Wolf	da91b31bb2	Fixed "yosys-smtbmc -g" handling of no solution	2017-11-27 19:43:36 +01:00
Clifford Wolf	b981e5aa69	Fixed "yosys-smtbmc -g" handling of no solution	2017-11-27 17:42:32 +01:00
Clifford Wolf	c22d0e1f53	Merge pull request #460 from mithro/g3-fixes ... Bunch of small fixes	2017-11-26 07:16:06 +01:00
Clifford Wolf	8dd59bd72e	Merge pull request #461 from mithro/travis-rework ... travis: Print branches before fetching, try both locations.	2017-11-26 07:14:58 +01:00
Tim 'mithro' Ansell	b24b600287	travis: Print branches before fetching, try both locations.	2017-11-25 20:55:39 -08:00
Tim 'mithro' Ansell	1b231b442c	minisat: Make update script executable.	2017-11-25 19:48:26 -08:00