Clifford Wolf [Wed, 23 Sep 2015 05:10:56 +0000 (07:10 +0200)]
Fixed support for $write system task
Clifford Wolf [Tue, 22 Sep 2015 19:34:21 +0000 (21:34 +0200)]
Fixed detection of "task foo(bar);" syntax error
Clifford Wolf [Tue, 22 Sep 2015 18:52:02 +0000 (20:52 +0200)]
Fixed multi-level prefix resolving
Clifford Wolf [Tue, 22 Sep 2015 06:13:09 +0000 (08:13 +0200)]
Fixed segfault on invalid verilog constant 1'b_
Clifford Wolf [Mon, 21 Sep 2015 10:33:36 +0000 (12:33 +0200)]
Fixed emcc build
Clifford Wolf [Mon, 21 Sep 2015 09:52:40 +0000 (11:52 +0200)]
Do not detect fsm state registers with init attribute
Clifford Wolf [Mon, 21 Sep 2015 08:27:18 +0000 (10:27 +0200)]
Bugfix in "qwp" pass
Clifford Wolf [Sun, 20 Sep 2015 23:05:13 +0000 (01:05 +0200)]
Improvements and fixes in "qwp" pass
Clifford Wolf [Sun, 20 Sep 2015 20:36:35 +0000 (22:36 +0200)]
Added "qwp -dump"
Clifford Wolf [Sun, 20 Sep 2015 16:28:46 +0000 (18:28 +0200)]
Added "qwp" command
Andrew Zonenberg [Sat, 19 Sep 2015 00:00:00 +0000 (00:00 +0000)]
Improvements to $display system task
Clifford Wolf [Fri, 18 Sep 2015 19:57:34 +0000 (21:57 +0200)]
Added nlutmap
Clifford Wolf [Fri, 18 Sep 2015 19:55:48 +0000 (21:55 +0200)]
Added lut2mux pass
Clifford Wolf [Fri, 18 Sep 2015 19:55:12 +0000 (21:55 +0200)]
Cosmetic fix in Module::addLut()
Clifford Wolf [Fri, 18 Sep 2015 18:12:56 +0000 (20:12 +0200)]
Added buffer detection to "abc -lut"
Clifford Wolf [Fri, 18 Sep 2015 10:00:37 +0000 (12:00 +0200)]
Renamed GreenPAK4 cells, improved GP4 DFF mapping
Clifford Wolf [Fri, 18 Sep 2015 09:55:57 +0000 (11:55 +0200)]
Added support for "dfflibmap -liberty +/..."
Clifford Wolf [Fri, 18 Sep 2015 09:55:31 +0000 (11:55 +0200)]
Added detection of "mux inverter" chains in opt_const
Clifford Wolf [Fri, 18 Sep 2015 08:46:50 +0000 (10:46 +0200)]
Added $logic_not handling to fsm_detect
Clifford Wolf [Fri, 18 Sep 2015 08:01:08 +0000 (10:01 +0200)]
Added $finish and $display to README
Clifford Wolf [Fri, 18 Sep 2015 07:54:49 +0000 (09:54 +0200)]
Merge branch 'feat-finish-disp'
Clifford Wolf [Fri, 18 Sep 2015 07:50:53 +0000 (09:50 +0200)]
Added AST_INITIAL checks for $finish and $display
Andrew Zonenberg [Fri, 18 Sep 2015 03:34:56 +0000 (20:34 -0700)]
Initial implementation of $display()
Andrew Zonenberg [Fri, 18 Sep 2015 03:34:56 +0000 (20:34 -0700)]
Initial implementation of $finish()
Clifford Wolf [Wed, 16 Sep 2015 07:39:31 +0000 (09:39 +0200)]
Fixed copy&paste typo in synth_greenpak4
Clifford Wolf [Wed, 16 Sep 2015 07:28:37 +0000 (09:28 +0200)]
Added GreenPAK4 skeleton
Clifford Wolf [Sat, 12 Sep 2015 14:01:20 +0000 (16:01 +0200)]
Fixed sharing of $memrd cells
Clifford Wolf [Thu, 10 Sep 2015 15:35:19 +0000 (17:35 +0200)]
Fixed ice40 handling of negclk RAM40
Clifford Wolf [Tue, 1 Sep 2015 11:10:36 +0000 (13:10 +0200)]
Fixed port ordering in "splitnets" cmd
Clifford Wolf [Tue, 1 Sep 2015 10:51:23 +0000 (12:51 +0200)]
gcc-4.6 build fixes
Andrei Errapart [Mon, 24 Aug 2015 20:44:56 +0000 (22:44 +0200)]
Removed unnecessary cast.
Andrei Errapart [Mon, 24 Aug 2015 20:49:23 +0000 (22:49 +0200)]
Microsoft Visual C++ fixes in hashlib; template specializations on int32_t and int64_t.
Andrei Errapart [Mon, 24 Aug 2015 20:52:27 +0000 (22:52 +0200)]
Microsoft Visual C++ fix for log.h.
Clifford Wolf [Mon, 31 Aug 2015 14:49:42 +0000 (16:49 +0200)]
Fixed iopadmap help message
Clifford Wolf [Mon, 31 Aug 2015 14:42:19 +0000 (16:42 +0200)]
Added SigMap::allbits()
Clifford Wolf [Mon, 31 Aug 2015 14:26:01 +0000 (16:26 +0200)]
Using dict<> and pool<> in alumacc pass
Clifford Wolf [Mon, 31 Aug 2015 00:05:58 +0000 (02:05 +0200)]
Added "yosys-smt2-wire" tag support to smt2 back-end
Clifford Wolf [Sat, 22 Aug 2015 12:46:42 +0000 (14:46 +0200)]
Fixed handling of memory read without address
Clifford Wolf [Sat, 22 Aug 2015 07:59:25 +0000 (09:59 +0200)]
Switched to Python 3
Clifford Wolf [Tue, 18 Aug 2015 15:14:30 +0000 (17:14 +0200)]
Added sat -show-regs, -show-public, -show-all
Clifford Wolf [Tue, 18 Aug 2015 12:17:50 +0000 (14:17 +0200)]
Bugfix in fsm_detect for complex muxtrees
Clifford Wolf [Tue, 18 Aug 2015 11:50:15 +0000 (13:50 +0200)]
Properly clean up unused "init" attributes
Clifford Wolf [Mon, 17 Aug 2015 14:22:53 +0000 (16:22 +0200)]
Small corrections to const2ast warning messages
Florian Zeitz [Mon, 17 Aug 2015 13:37:33 +0000 (15:37 +0200)]
Check base-n literals only contain valid digits
Florian Zeitz [Mon, 17 Aug 2015 13:27:35 +0000 (15:27 +0200)]
Warn on literals exceeding the specified bit width
Clifford Wolf [Mon, 17 Aug 2015 06:33:46 +0000 (08:33 +0200)]
Merge pull request #72 from cseed/master
Added .travis.yml.
Cotton Seed [Sun, 16 Aug 2015 21:15:07 +0000 (17:15 -0400)]
Added .travis.yml.
Clifford Wolf [Sun, 16 Aug 2015 19:39:34 +0000 (21:39 +0200)]
Another bugfix for ice40 and xilinx brams_init make rules
Clifford Wolf [Sun, 16 Aug 2015 19:15:07 +0000 (21:15 +0200)]
Fixed Makefile rules for generated share files
Clifford Wolf [Sun, 16 Aug 2015 11:05:32 +0000 (13:05 +0200)]
Added $tribuf and $_TBUF_ sim models
Clifford Wolf [Sun, 16 Aug 2015 10:55:25 +0000 (12:55 +0200)]
Added tribuf command
Clifford Wolf [Sun, 16 Aug 2015 10:54:52 +0000 (12:54 +0200)]
Added $tribuf and $_TBUF_ cell types
Clifford Wolf [Sun, 16 Aug 2015 07:50:17 +0000 (09:50 +0200)]
Fixed opt_clean handling of inout ports
Clifford Wolf [Sat, 15 Aug 2015 09:45:44 +0000 (11:45 +0200)]
Fixed generation of smt2 concat statements
Larry Doolittle [Fri, 14 Aug 2015 20:46:22 +0000 (13:46 -0700)]
Fix version strings for out-of-tree builds
Still assumes source tree is a git repository
Larry Doolittle [Fri, 14 Aug 2015 20:23:01 +0000 (13:23 -0700)]
Another block of spelling fixes
Smaller this time
Larry Doolittle [Fri, 14 Aug 2015 20:22:17 +0000 (13:22 -0700)]
Keep gcc from complaining about uninitialized variables
Clifford Wolf [Fri, 14 Aug 2015 09:27:19 +0000 (11:27 +0200)]
Re-created command-reference-manual.tex, copied some doc fixes to online help
Clifford Wolf [Fri, 14 Aug 2015 08:56:05 +0000 (10:56 +0200)]
Spell check (by Larry Doolittle)
Clifford Wolf [Thu, 13 Aug 2015 07:52:06 +0000 (09:52 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 13 Aug 2015 07:42:24 +0000 (09:42 +0200)]
More ASCII encoding fixes
Clifford Wolf [Thu, 13 Aug 2015 07:35:00 +0000 (09:35 +0200)]
Fixed CRLF line endings
Clifford Wolf [Thu, 13 Aug 2015 07:30:20 +0000 (09:30 +0200)]
Some ASCII encoding fixes (comments and docs) by Larry Doolittle
Clifford Wolf [Wed, 12 Aug 2015 15:13:54 +0000 (17:13 +0200)]
Added "write_smt2 -regs"
Clifford Wolf [Wed, 12 Aug 2015 14:54:30 +0000 (16:54 +0200)]
Fixed "make clean" for out-of-tree builds
Clifford Wolf [Wed, 12 Aug 2015 13:04:44 +0000 (15:04 +0200)]
Adjust makefiles to work with out-of-tree builds
This is based on work done by Larry Doolittle
Clifford Wolf [Wed, 12 Aug 2015 12:10:14 +0000 (14:10 +0200)]
Improved handling of "keep" attributes in hierarchical designs in opt_clean
Clifford Wolf [Wed, 12 Aug 2015 11:37:09 +0000 (13:37 +0200)]
Fixed hashlib for 64 bit int keys
Clifford Wolf [Wed, 12 Aug 2015 10:56:20 +0000 (12:56 +0200)]
Added SMV back-end 'test_cells.sh' script
Clifford Wolf [Wed, 12 Aug 2015 06:45:04 +0000 (08:45 +0200)]
Merge pull request #70 from gaomy3832/bugfix
Remove unused blackbox modules in opt_clean.
Mingyu Gao [Mon, 10 Aug 2015 20:14:21 +0000 (13:14 -0700)]
Remove unused blackbox modules in opt_clean.
Mingyu Gao [Mon, 10 Aug 2015 20:01:44 +0000 (13:01 -0700)]
Bugfix for cell hash cache option in opt_share.
Clifford Wolf [Tue, 11 Aug 2015 09:32:37 +0000 (11:32 +0200)]
Fixed handling of [a-fxz?] in decimal constants
Clifford Wolf [Tue, 11 Aug 2015 05:54:32 +0000 (07:54 +0200)]
Added missing ct_all setup to opt_clean
Mingyu Gao [Mon, 10 Aug 2015 20:01:44 +0000 (13:01 -0700)]
Bugfix for cell hash cache option in opt_share.
Clifford Wolf [Sun, 9 Aug 2015 11:35:44 +0000 (13:35 +0200)]
Use MEMID as name for $mem cell
Clifford Wolf [Thu, 6 Aug 2015 22:03:39 +0000 (00:03 +0200)]
Merge pull request #69 from zeldin/master
Added iCE40 WARMBOOT cell
Marcus Comstedt [Thu, 6 Aug 2015 20:58:17 +0000 (22:58 +0200)]
Added iCE40 WARMBOOT cell
Clifford Wolf [Wed, 5 Aug 2015 20:11:10 +0000 (22:11 +0200)]
Remove some very strange whitespace in btor.cc (by Larry Doolittle)
Clifford Wolf [Wed, 5 Aug 2015 09:36:26 +0000 (11:36 +0200)]
Bugfix in SMV back-end for partially unassigned wires
Clifford Wolf [Tue, 4 Aug 2015 18:25:26 +0000 (20:25 +0200)]
Added ENABLE_LIBYOSYS Makefile option
Clifford Wolf [Tue, 4 Aug 2015 18:05:37 +0000 (20:05 +0200)]
Added $assert support to SMV back-end
Clifford Wolf [Tue, 4 Aug 2015 11:22:49 +0000 (13:22 +0200)]
Added libyosys.so build
Clifford Wolf [Sat, 1 Aug 2015 10:52:10 +0000 (12:52 +0200)]
Merge pull request #68 from zeldin/master
Add -noautowire option to verilog frontend
Marcus Comstedt [Sat, 1 Aug 2015 10:16:54 +0000 (12:16 +0200)]
Add -noautowire option to verilog frontend
Clifford Wolf [Fri, 31 Jul 2015 08:40:09 +0000 (10:40 +0200)]
Added WORDS parameter to $meminit
Clifford Wolf [Thu, 30 Jul 2015 19:43:41 +0000 (21:43 +0200)]
Fixed flatten $meminit handling
Clifford Wolf [Wed, 29 Jul 2015 15:06:19 +0000 (17:06 +0200)]
Improvements in BLIF back-end
Clifford Wolf [Wed, 29 Jul 2015 14:37:08 +0000 (16:37 +0200)]
Fixed nested mem2reg
Clifford Wolf [Mon, 27 Jul 2015 20:44:01 +0000 (22:44 +0200)]
Don't write a 17th memory bit in ice40/cells_sim (by Larry Doolittle)
Clifford Wolf [Mon, 27 Jul 2015 07:54:58 +0000 (09:54 +0200)]
Fixed "check" command for inout ports
Clifford Wolf [Sat, 25 Jul 2015 10:01:25 +0000 (12:01 +0200)]
Some cleanups in opt_rmdff
Clifford Wolf [Sat, 25 Jul 2015 09:23:45 +0000 (11:23 +0200)]
Added "miter -assert"
Clifford Wolf [Sat, 25 Jul 2015 08:31:52 +0000 (10:31 +0200)]
Keep modules with $assume (like $assert)
Clifford Wolf [Fri, 24 Jul 2015 12:12:50 +0000 (14:12 +0200)]
Improved $adff simplification
Clifford Wolf [Mon, 20 Jul 2015 11:05:18 +0000 (13:05 +0200)]
iCE40 DFF sim models: init Q regs to 0
Clifford Wolf [Sat, 18 Jul 2015 10:16:27 +0000 (12:16 +0200)]
Fixed techmap processes error msg
Clifford Wolf [Sat, 18 Jul 2015 09:59:04 +0000 (11:59 +0200)]
Avoid tristate warning for blackbox ice40/cells_sim.v
Clifford Wolf [Thu, 16 Jul 2015 20:10:26 +0000 (22:10 +0200)]
Some fixes in "select" command
Clifford Wolf [Fri, 10 Jul 2015 11:20:57 +0000 (13:20 +0200)]
Fixed YosysJS.create_worker() usage of this.url_prefix