1030 commits

Author	SHA1	Message	Date
Clifford Wolf	45b4154b37	Added "make SMALL=1"	2014-07-24 19:03:57 +02:00
Clifford Wolf	34ea9e3f09	Now "make PRETTY=1" is the default setting	2014-07-24 17:55:55 +02:00
Clifford Wolf	38afbe62ef	Added percentage display to "make PRETTY=1"	2014-07-24 17:53:11 +02:00
Clifford Wolf	b17d6531c8	Added "make PRETTY=1"	2014-07-24 17:15:01 +02:00
Clifford Wolf	2f54345cff	Added "cover" command	2014-07-24 16:14:19 +02:00
Clifford Wolf	2267db5834	Added "make config-gcc-4.7"	2014-07-24 02:12:24 +02:00
Clifford Wolf	fa71ae89ac	Added "make vloghtb"	2014-07-24 02:11:12 +02:00
Clifford Wolf	dd23e9a9db	Activated tests/share in "make test"	2014-07-20 15:33:07 +02:00
Clifford Wolf	5d9127418b	added tests/memories	2014-07-18 13:25:19 +02:00
Clifford Wolf	a4ec19c25c	Added tests/realmath to "make test"	2014-06-15 09:31:03 +02:00
Clifford Wolf	9a6cd64fc2	Now we are in Yoys 0.3.0+ development	2014-06-08 15:31:27 +02:00
Clifford Wolf	ca125bf41b	Tagging Yosys 0.3.0	2014-06-08 15:28:36 +02:00
Clifford Wolf	94e9ee6bab	Updated ABC to 7600ffb9340c	2014-06-08 10:12:39 +02:00
Clifford Wolf	d5497f770b	Updated ABC to rev fa4404b395f0	2014-05-29 11:03:15 +02:00
Clifford Wolf	bfd62268cc	Updated ABC to 67c84cdd49e4	2014-05-09 18:23:21 +02:00
Anthony J. Bentley	b950197da1	Remove non-POSIX 'rm -v'.	2014-04-04 16:39:03 -06:00
Clifford Wolf	6a53bc7b27	Copy Verific vdbs files to Yosys "share" data directory	2014-03-13 17:34:31 +01:00
Clifford Wolf	fad8558eb5	Merged OSX fixes from Siesh1oo with some modifications	2014-03-13 12:48:10 +01:00
Clifford Wolf	3152863479	Fixed dependencies of "make test"	2014-03-12 10:46:27 +01:00
Clifford Wolf	94c1307c26	Added libs/minisat (copy of minisat git master)	2014-03-12 10:17:51 +01:00
Clifford Wolf	7aa2d746b7	Merged addition of SED makefile variable from github.com/Siesh1oo/yosys ... (see https://github.com/cliffordwolf/yosys/pull/28)	2014-03-11 14:42:58 +01:00
Clifford Wolf	8d06f9f2fe	Added "verific" command	2014-03-09 20:40:04 +01:00
Clifford Wolf	81b3f52519	Added tests/techmap/mem_simple_4x1	2014-02-21 12:06:40 +01:00
Clifford Wolf	b0ae19fa92	Now we are in Yoys 0.2.0+ development	2014-02-16 00:54:41 +01:00
Clifford Wolf	c05c3098f1	Tagging Yoys 0.2.0	2014-02-16 00:35:53 +01:00
Clifford Wolf	a123941618	Updated ABC	2014-02-13 18:56:36 +01:00
Clifford Wolf	7664f5d92b	Updated ABC and some related changes	2014-02-13 08:07:08 +01:00
Clifford Wolf	ab71bd0746	Updated ABC to rev e97a6e1d59b9	2014-02-12 08:35:42 +01:00
Clifford Wolf	d2fd45949d	More Makefile cleanups	2014-02-11 12:58:08 +01:00
Clifford Wolf	4bd2d47e45	Improved "make manual" and "make clean"	2014-02-11 12:55:58 +01:00
Clifford Wolf	669a6e462d	Added checking for ABC modifications to Makefile and made sure we do not have the word ERROR in regular make output	2014-02-08 12:27:38 +01:00
Clifford Wolf	a170d114a5	Updated ABC to rev 10cc13a2a0f1	2014-02-06 22:18:17 +01:00
Clifford Wolf	7a66b38c3e	Added test cases for sat command	2014-02-04 13:43:34 +01:00
Clifford Wolf	c46b23ab23	Updated ABC to hg rev e6b09e1	2014-01-29 10:50:15 +01:00
Clifford Wolf	fb4c3dff33	Added first presentation slides	2014-01-27 17:08:19 +01:00
Clifford Wolf	1cd975ef8d	Updated ABC to hg rev 57517e81666b	2013-12-31 14:39:02 +01:00
Clifford Wolf	bb20aceeb3	More ABC releated Makefile changes	2013-12-04 08:31:52 +01:00
Clifford Wolf	637a12b7e3	Minor improvements in ABc build	2013-12-03 16:50:14 +01:00
Clifford Wolf	6dfb66d262	Started writing appnote 011	2013-11-28 13:48:38 +01:00
Clifford Wolf	1268182f0b	Updated ABC to 9241719523f6	2013-11-28 00:43:17 +01:00
Clifford Wolf	18e52d81bf	Merge branch 'master' of github.com:cliffordwolf/yosys	2013-11-27 09:08:42 +01:00
Clifford Wolf	38e7fa6530	Tighter integration of ABC build	2013-11-27 09:08:35 +01:00
Clifford Wolf	0256105ac2	Set version number to 0.1.0+	2013-11-27 06:29:13 +01:00
Clifford Wolf	981677cf09	Fixed "make install" dependencies	2013-11-24 05:05:50 +01:00
Clifford Wolf	058ceda6a0	Added more performance measurement infrastructure	2013-11-22 14:08:10 +01:00
Clifford Wolf	7b01ba384f	Improved make rules for profiling and debugging	2013-11-22 04:05:30 +01:00
Clifford Wolf	1c4a6411af	Updated abc	2013-11-21 22:39:10 +01:00
Clifford Wolf	a1353ec61b	Added "make config-sudo"	2013-11-19 23:13:41 +01:00
Clifford Wolf	7ea7342c18	Large improvements in yosys-config	2013-11-19 23:04:27 +01:00
Clifford Wolf	2df5cd87b2	Renamed ABCHGPULL to ABCPULL in Makefile	2013-11-16 15:17:32 +01:00