274 commits

Author	SHA1	Message	Date
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
Clifford Wolf	f3345bd3b4	Improved building of yosys-abc	2013-11-13 15:49:42 +01:00
Clifford Wolf	2b5f4d1df3	Makefile DESTDIR default (/usr/local) without quotes	2013-11-04 21:30:57 +01:00
Martin Schmölzer	58cfce6c5a	Allow setting of installation destination via DESTDIR variable in Makefile ... This is useful when packaging yosys, as some Linux distributions do not allow the package management system to install files in /usr/local [1][2]. [1] https://wiki.archlinux.org/index.php/Arch_Packaging_Standards [2] http://fedoraproject.org/wiki/Packaging:Guidelines Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>	2013-11-04 11:40:07 +01:00
Clifford Wolf	73e68fe323	Added API and Makefile rules for share/ files	2013-10-27 09:33:26 +01:00
Clifford Wolf	02efafa7f1	Pinned ABC revision to 0f9e5488ced3	2013-10-03 16:03:30 +02:00
Clifford Wolf	288ba9618a	Moved common techlib files to techlibs/common	2013-09-15 11:52:57 +02:00