1543 commits

Author	SHA1	Message	Date
Clifford Wolf	0b8b8d41eb	Fixed build with gcc-4.6	2014-08-07 22:37:01 +02:00
Clifford Wolf	62c8a71525	Various cleanups in Makefile, Renamed default configurations	2014-07-31 23:14:17 +02:00
Clifford Wolf	069fe0db42	Added compiler + compiler version + compiler flags to version string	2014-07-31 23:07:00 +02:00
Clifford Wolf	7d98645fe8	Added "make -j{N}" support to "make test"	2014-07-30 19:23:26 +02:00
Clifford Wolf	a7c6b37abf	Added "kernel/yosys.h" and "kernel/yosys.cc"	2014-07-30 14:10:15 +02:00
Clifford Wolf	d7916a49af	New message for completion of build	2014-07-26 21:35:16 +02:00
Clifford Wolf	b21ebe1859	Added tests/various/submod_extract.ys	2014-07-26 17:22:18 +02:00
Clifford Wolf	b90f443338	Added "passed" message to make test targets	2014-07-26 14:08:20 +02:00
Clifford Wolf	665759fcee	Cosmetic fixes for "make abc"	2014-07-26 11:55:58 +02:00
Clifford Wolf	1834af5e53	Added "make vgtest"	2014-07-25 13:24:26 +02:00
Clifford Wolf	cd69925437	Added "make clean-abc"	2014-07-25 03:41:53 +02:00
Clifford Wolf	01dbf12ac9	Further improved "make" prettiness	2014-07-25 03:41:53 +02:00
Clifford Wolf	7a608437c6	Updated ABC to hg id "b1e63d18768d"	2014-07-24 20:57:21 +02:00
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