4438 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Andrei Errapart	744a5333f5	Microsoft Visual C++ fix for log.h.	2015-09-01 12:40:12 +02:00
Clifford Wolf	24e7cf89bc	Fixed iopadmap help message	2015-08-31 16:49:42 +02:00
Clifford Wolf	ee8f6f31f4	Added SigMap::allbits()	2015-08-31 16:42:19 +02:00
Clifford Wolf	92dce21f6e	Using dict<> and pool<> in alumacc pass	2015-08-31 16:26:01 +02:00
Clifford Wolf	09b51cb375	Added "yosys-smt2-wire" tag support to smt2 back-end	2015-08-31 02:05:58 +02:00
Clifford Wolf	eb38722e98	Fixed handling of memory read without address	2015-08-22 14:46:42 +02:00
Clifford Wolf	c475deec6c	Switched to Python 3	2015-08-22 09:59:33 +02:00
Clifford Wolf	f40d1b78b6	Added sat -show-regs, -show-public, -show-all	2015-08-18 17:14:30 +02:00
Clifford Wolf	246e362717	Bugfix in fsm_detect for complex muxtrees	2015-08-18 14:17:50 +02:00
Clifford Wolf	f43815054e	Properly clean up unused "init" attributes	2015-08-18 13:50:15 +02:00
Clifford Wolf	a7ab9172f9	Small corrections to const2ast warning messages	2015-08-17 16:22:53 +02:00
Florian Zeitz	0491042849	Check base-n literals only contain valid digits	2015-08-17 15:37:33 +02:00
Florian Zeitz	64ccbf8510	Warn on literals exceeding the specified bit width	2015-08-17 15:27:35 +02:00
Clifford Wolf	b7cb5e281f	Merge pull request #72 from cseed/master ... Added .travis.yml.	2015-08-17 08:33:46 +02:00
Cotton Seed	8eebb67049	Added .travis.yml.	2015-08-17 00:35:43 -04:00
Clifford Wolf	9596fe74de	Another bugfix for ice40 and xilinx brams_init make rules	2015-08-16 21:39:34 +02:00
Clifford Wolf	aedcfd6fd3	Fixed Makefile rules for generated share files	2015-08-16 21:15:07 +02:00
Clifford Wolf	d5b1a90b33	Added $tribuf and $_TBUF_ sim models	2015-08-16 13:05:32 +02:00
Clifford Wolf	9c33172ece	Added tribuf command	2015-08-16 12:55:25 +02:00
Clifford Wolf	ff50bc2ac3	Added $tribuf and $_TBUF_ cell types	2015-08-16 12:54:52 +02:00
Clifford Wolf	ae09c89f62	Fixed opt_clean handling of inout ports	2015-08-16 09:50:17 +02:00
Clifford Wolf	b659ffb457	Fixed generation of smt2 concat statements	2015-08-15 11:45:44 +02:00
Larry Doolittle	1e67b29919	Fix version strings for out-of-tree builds ... Still assumes source tree is a git repository	2015-08-14 23:27:19 +02:00
Larry Doolittle	6c00704a5e	Another block of spelling fixes ... Smaller this time	2015-08-14 23:27:05 +02:00
Larry Doolittle	022f570563	Keep gcc from complaining about uninitialized variables	2015-08-14 23:26:49 +02:00
Clifford Wolf	0350074819	Re-created command-reference-manual.tex, copied some doc fixes to online help	2015-08-14 11:27:19 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	80910d13a6	Merge branch 'master' of github.com:cliffordwolf/yosys	2015-08-13 09:52:06 +02:00
Clifford Wolf	c699d7c614	More ASCII encoding fixes	2015-08-13 09:42:24 +02:00
Clifford Wolf	ad8efeb13f	Fixed CRLF line endings	2015-08-13 09:35:00 +02:00
Clifford Wolf	08ad5409a2	Some ASCII encoding fixes (comments and docs) by Larry Doolittle	2015-08-13 09:30:20 +02:00
Clifford Wolf	698357dd9a	Added "write_smt2 -regs"	2015-08-12 17:13:54 +02:00
Clifford Wolf	fc20b1c3d2	Fixed "make clean" for out-of-tree builds	2015-08-12 16:54:30 +02:00
Clifford Wolf	e4ef000b70	Adjust makefiles to work with out-of-tree builds ... This is based on work done by Larry Doolittle	2015-08-12 15:04:44 +02:00
Clifford Wolf	c43f38c81b	Improved handling of "keep" attributes in hierarchical designs in opt_clean	2015-08-12 14:10:14 +02:00
Clifford Wolf	bc468cb6f2	Fixed hashlib for 64 bit int keys	2015-08-12 13:37:09 +02:00
Clifford Wolf	f81bf9bdea	Added SMV back-end 'test_cells.sh' script	2015-08-12 12:56:20 +02:00
Clifford Wolf	667b015018	Merge pull request #70 from gaomy3832/bugfix ... Remove unused blackbox modules in opt_clean.	2015-08-12 08:45:04 +02:00
Mingyu Gao	cbda56d178	Remove unused blackbox modules in opt_clean.	2015-08-11 09:51:08 -07:00
Mingyu Gao	8c4c62f3e1	Bugfix for cell hash cache option in opt_share.	2015-08-11 11:40:23 +02:00
Clifford Wolf	45ee2ba3b8	Fixed handling of [a-fxz?] in decimal constants	2015-08-11 11:32:37 +02:00
Clifford Wolf	2185125760	Added missing ct_all setup to opt_clean	2015-08-11 07:54:32 +02:00
Mingyu Gao	021b4a2436	Bugfix for cell hash cache option in opt_share.	2015-08-10 13:01:44 -07:00
Clifford Wolf	883e09d8ed	Use MEMID as name for $mem cell	2015-08-09 13:35:44 +02:00
Clifford Wolf	3565e89a8b	Merge pull request #69 from zeldin/master ... Added iCE40 WARMBOOT cell	2015-08-07 00:03:39 +02:00
Marcus Comstedt	c9e56bc428	Added iCE40 WARMBOOT cell	2015-08-06 22:58:17 +02:00
Clifford Wolf	6834461f65	Remove some very strange whitespace in btor.cc (by Larry Doolittle)	2015-08-05 22:11:26 +02:00
Clifford Wolf	5dc23975eb	Bugfix in SMV back-end for partially unassigned wires	2015-08-05 11:36:26 +02:00
Clifford Wolf	4e4b156e13	Added ENABLE_LIBYOSYS Makefile option	2015-08-04 20:25:26 +02:00
Clifford Wolf	c7fd3fbb68	Added $assert support to SMV back-end	2015-08-04 20:05:37 +02:00