Clifford Wolf [Wed, 5 Jun 2019 07:14:12 +0000 (09:14 +0200)]
Suppress driver-driver conflict warning for unknown cell types, fixes #1065
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 5 Jun 2019 06:57:33 +0000 (08:57 +0200)]
Remove yosys_banner() from python wrapper init, fixes #1056
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 4 Jun 2019 12:37:10 +0000 (14:37 +0200)]
Merge pull request #1062 from tux3/patch-1
README.md: Missing formatting for <tag>
Tux3 [Tue, 4 Jun 2019 08:45:41 +0000 (10:45 +0200)]
README.md: Missing formatting for <tag>
Maciej Kurc [Tue, 4 Jun 2019 08:42:42 +0000 (10:42 +0200)]
Moved tests that fail with Icarus Verilog to /tests/various. Those tests are just for parsing Verilog.
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
Eddie Hung [Tue, 4 Jun 2019 03:23:37 +0000 (20:23 -0700)]
Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
Execute techmap and arith_map simultaneously
Eddie Hung [Tue, 4 Jun 2019 03:04:47 +0000 (20:04 -0700)]
Remove extra newline
Eddie Hung [Tue, 4 Jun 2019 02:36:09 +0000 (19:36 -0700)]
Execute techmap and arith_map simultaneously
Maciej Kurc [Mon, 3 Jun 2019 07:12:51 +0000 (09:12 +0200)]
Added tests for attributes
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
Clifford Wolf [Sun, 2 Jun 2019 08:14:50 +0000 (10:14 +0200)]
Only support Symbiotic EDA flavored Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Maciej Kurc [Fri, 31 May 2019 10:24:12 +0000 (12:24 +0200)]
Added support for parsing attributes on port connections.
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
Clifford Wolf [Fri, 31 May 2019 07:28:51 +0000 (09:28 +0200)]
Fix "tee" handling of log_streams
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 30 May 2019 08:03:54 +0000 (10:03 +0200)]
Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 30 May 2019 07:58:51 +0000 (09:58 +0200)]
Merge pull request #1057 from mmicko/fix_478
Aded one more load of .conf to support change of prefix
Miodrag Milanovic [Wed, 29 May 2019 16:57:03 +0000 (18:57 +0200)]
Aded one more load of .conf to support change of prefix
Clifford Wolf [Tue, 28 May 2019 17:02:26 +0000 (19:02 +0200)]
Merge pull request #1049 from YosysHQ/clifford/fix1047
Do not use shiftmul peepopt pattern when mul result is truncated
Clifford Wolf [Tue, 28 May 2019 15:42:16 +0000 (17:42 +0200)]
Merge pull request #1050 from YosysHQ/clifford/wandwor
Refactored wand/wor support
Clifford Wolf [Tue, 28 May 2019 13:33:47 +0000 (15:33 +0200)]
Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 28 May 2019 14:52:40 +0000 (16:52 +0200)]
Merge pull request #1048 from mmicko/fix_enable_pyosys
Moved pyosys block in Makefile
Clifford Wolf [Tue, 28 May 2019 14:43:25 +0000 (16:43 +0200)]
Refactor hierarchy wand/wor handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 28 May 2019 14:42:50 +0000 (16:42 +0200)]
Add actual wandwor test that is part of "make test"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 28 May 2019 13:45:15 +0000 (15:45 +0200)]
Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor
Miodrag Milanovic [Tue, 28 May 2019 13:43:27 +0000 (15:43 +0200)]
Remove info line in 2nd load of conf file
Miodrag Milanovic [Tue, 28 May 2019 12:53:07 +0000 (14:53 +0200)]
Moved pyosys block in Makefile
Clifford Wolf [Tue, 28 May 2019 12:00:28 +0000 (14:00 +0200)]
Merge pull request #1045 from mmicko/afl-gcc-target
afl-fuzzer compile config
Miodrag Milanovic [Mon, 27 May 2019 18:43:10 +0000 (20:43 +0200)]
make config-afl-gcc to help creating conf file
Miodrag Milanovic [Mon, 27 May 2019 18:38:44 +0000 (20:38 +0200)]
Added afl-gcc as target for fuzzer
Stefan Biereigel [Mon, 27 May 2019 17:07:46 +0000 (19:07 +0200)]
Merge branch 'master' into wandwor
Stefan Biereigel [Mon, 27 May 2019 16:45:54 +0000 (18:45 +0200)]
reformat wand/wor test
Stefan Biereigel [Mon, 27 May 2019 16:10:39 +0000 (18:10 +0200)]
remove port direction workaround from test case
Stefan Biereigel [Mon, 27 May 2019 16:07:12 +0000 (18:07 +0200)]
update README.md with wand/wor information
Stefan Biereigel [Mon, 27 May 2019 16:01:44 +0000 (18:01 +0200)]
remove leftovers from ast data structures
Stefan Biereigel [Mon, 27 May 2019 16:00:22 +0000 (18:00 +0200)]
move wand/wor resolution into hierarchy pass
Clifford Wolf [Mon, 27 May 2019 11:26:12 +0000 (13:26 +0200)]
Merge pull request #1044 from mmicko/invalid_width_range
Give error instead of asserting for invalid range, fixes #947
Clifford Wolf [Mon, 27 May 2019 11:25:52 +0000 (13:25 +0200)]
Merge pull request #1043 from mmicko/unsized_constant
Added support for unsized constants, fixes #1022
Clifford Wolf [Mon, 27 May 2019 11:24:19 +0000 (13:24 +0200)]
Merge pull request #1026 from YosysHQ/clifford/fix1023
Keep zero-width wires in opt_clean if and only if they are ports
Clifford Wolf [Mon, 27 May 2019 11:22:51 +0000 (13:22 +0200)]
Merge pull request #1030 from Kmanfi/makefile_osx
OS X related Makefile fixes.
Miodrag Milanovic [Mon, 27 May 2019 10:25:18 +0000 (12:25 +0200)]
Give error instead of asserting for invalid range, fixes #947
Miodrag Milanovic [Mon, 27 May 2019 09:42:10 +0000 (11:42 +0200)]
Added support for unsized constants, fixes #1022
Includes work from @sumit0190 and @AaronKel
Kaj Tuomi [Mon, 27 May 2019 08:31:50 +0000 (11:31 +0300)]
Guard all Python-api related items.
Clifford Wolf [Sun, 26 May 2019 09:44:31 +0000 (11:44 +0200)]
Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
opt_rmdff to work on $dffe and $_DFFE_*
Clifford Wolf [Sun, 26 May 2019 08:40:40 +0000 (10:40 +0200)]
Merge pull request #1042 from mmicko/git_ignore_python
Add files to ignore for python build
Miodrag Milanovic [Sun, 26 May 2019 07:31:43 +0000 (09:31 +0200)]
Add files to ignore for python build
Eddie Hung [Sat, 25 May 2019 19:55:57 +0000 (12:55 -0700)]
Revert enable check
Clifford Wolf [Sat, 25 May 2019 17:17:05 +0000 (19:17 +0200)]
Merge pull request #1041 from YosysHQ/clifford/fix1040
Fix handling of offset and upto module ports in write_blif
Clifford Wolf [Sat, 25 May 2019 15:45:14 +0000 (17:45 +0200)]
Fix handling of offset and upto module ports in write_blif, fixes #1040
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Eddie Hung [Sat, 25 May 2019 01:43:26 +0000 (18:43 -0700)]
Fix init
Eddie Hung [Sat, 25 May 2019 01:34:27 +0000 (18:34 -0700)]
Fix typos
Eddie Hung [Sat, 25 May 2019 01:33:18 +0000 (18:33 -0700)]
Add more tests
Eddie Hung [Sat, 25 May 2019 01:32:02 +0000 (18:32 -0700)]
Call proc
Eddie Hung [Sat, 25 May 2019 01:30:51 +0000 (18:30 -0700)]
opt_rmdff to optimise even in presence of enable signal, even removing
Eddie Hung [Sat, 25 May 2019 00:44:57 +0000 (17:44 -0700)]
Fix duplicate driver
Eddie Hung [Fri, 24 May 2019 23:33:10 +0000 (16:33 -0700)]
Add comments
Eddie Hung [Fri, 24 May 2019 23:15:22 +0000 (16:15 -0700)]
Resolve @cliffordwolf review, set even if !has_init
Clifford Wolf [Fri, 24 May 2019 14:22:34 +0000 (16:22 +0200)]
Add proper error message for btor recursion_guard
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Eddie Hung [Thu, 23 May 2019 20:13:10 +0000 (13:13 -0700)]
Merge pull request #1036 from YosysHQ/eddie/xilinx_dram
Add "min bits" and "min wports" to xilinx dram rules
Eddie Hung [Thu, 23 May 2019 19:58:30 +0000 (12:58 -0700)]
Fix spacing
Eddie Hung [Thu, 23 May 2019 18:32:28 +0000 (11:32 -0700)]
Add "min bits" and "min wports" to xilinx dram rules
Eddie Hung [Thu, 23 May 2019 18:26:38 +0000 (11:26 -0700)]
Add opt_rmdff tests
Eddie Hung [Thu, 23 May 2019 18:26:18 +0000 (11:26 -0700)]
opt_rmdff to work on $dffe and $_DFFE_*
Stefan Biereigel [Thu, 23 May 2019 15:55:56 +0000 (17:55 +0200)]
fix assignment of non-wires
Stefan Biereigel [Thu, 23 May 2019 11:42:42 +0000 (13:42 +0200)]
add simple test case for wand/wor
Stefan Biereigel [Thu, 23 May 2019 11:42:30 +0000 (13:42 +0200)]
fix indentation across files
Stefan Biereigel [Thu, 23 May 2019 08:16:41 +0000 (10:16 +0200)]
implementation for assignments working
Stefan Biereigel [Wed, 22 May 2019 12:22:42 +0000 (14:22 +0200)]
make lexer/parser aware of wand/wor net types
Clifford Wolf [Thu, 23 May 2019 11:52:48 +0000 (13:52 +0200)]
Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
Optimize numberOfPermutations
Matthew Daiter [Wed, 22 May 2019 21:14:13 +0000 (17:14 -0400)]
Optimize numberOfPermutations
Kaj Tuomi [Wed, 22 May 2019 19:58:12 +0000 (22:58 +0300)]
OS X related fixes.
Clifford Wolf [Wed, 22 May 2019 11:56:56 +0000 (13:56 +0200)]
Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 22 May 2019 11:46:38 +0000 (13:46 +0200)]
Fix handling of warning and error messages within log_make_debug-blocks
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 22 May 2019 11:29:04 +0000 (13:29 +0200)]
Merge pull request #1019 from YosysHQ/clifford/fix1016
Add "wreduce -keepdc"
Clifford Wolf [Wed, 22 May 2019 10:01:19 +0000 (12:01 +0200)]
Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg
Fix static shift operands, neg result type, minor formatting
Eddie Hung [Wed, 22 May 2019 01:20:58 +0000 (18:20 -0700)]
Merge pull request #1024 from YosysHQ/eddie/fix_Wmissing_braces
Eddie Hung [Wed, 22 May 2019 01:20:31 +0000 (18:20 -0700)]
Rename label
Eddie Hung [Wed, 22 May 2019 00:20:19 +0000 (17:20 -0700)]
Try again
Eddie Hung [Tue, 21 May 2019 23:26:20 +0000 (16:26 -0700)]
Fix warning
Jim Lawson [Tue, 21 May 2019 20:04:56 +0000 (13:04 -0700)]
Fix static shift operands, neg result type, minor formatting
Static shift operands must be constants.
The result of FIRRTL's neg operator is signed.
Fix poor indentation for gen_read().
Jim Lawson [Tue, 21 May 2019 19:47:55 +0000 (12:47 -0700)]
Merge remote-tracking branch 'upstream/master'
Clifford Wolf [Mon, 20 May 2019 13:36:13 +0000 (15:36 +0200)]
Add "wreduce -keepdc", fixes #1016
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 18 May 2019 14:54:47 +0000 (16:54 +0200)]
Merge pull request #1017 from Kmanfi/bigger_verilog_files
Read bigger Verilog files.
Kaj Tuomi [Sat, 18 May 2019 11:20:30 +0000 (14:20 +0300)]
Read bigger Verilog files.
Hit parser limit with 3M gate design. This commit fix it.
Clifford Wolf [Thu, 16 May 2019 12:21:18 +0000 (14:21 +0200)]
Merge pull request #1013 from antmicro/parameter_attributes
Support for attributes on parameters and localparams for Verilog frontend
Maciej Kurc [Thu, 16 May 2019 10:53:43 +0000 (12:53 +0200)]
Added tests for Verilog frontent for attributes on parameters and localparams
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
Maciej Kurc [Thu, 16 May 2019 10:44:16 +0000 (12:44 +0200)]
Added support for parsing attributes on parameters in Verilog frontent. Content of those attributes is ignored.
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
Clifford Wolf [Wed, 15 May 2019 19:00:56 +0000 (21:00 +0200)]
Merge pull request #1012 from YosysHQ/clifford/sigspecrw
Another rounds of opt_clean improvements
Clifford Wolf [Wed, 15 May 2019 14:01:28 +0000 (16:01 +0200)]
Improvements in opt_clean
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 15 May 2019 14:01:00 +0000 (16:01 +0200)]
Add rewrite_sigspecs2, Improve remove() wires
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 15 May 2019 11:51:02 +0000 (13:51 +0200)]
Do not leak file descriptors in cover.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 15 May 2019 11:35:52 +0000 (13:35 +0200)]
Merge pull request #1011 from hzeller/fix-constructing-string-from-int
Fix two instances of integer-assignment to string.
Clifford Wolf [Wed, 15 May 2019 11:29:55 +0000 (13:29 +0200)]
Merge pull request #1010 from hzeller/yacc-self-contained
Make the generated *.tab.hh include all the headers needed
Clifford Wolf [Wed, 15 May 2019 11:28:52 +0000 (13:28 +0200)]
Merge pull request #1008 from thasti/fix_libyosys_build
Create $(LIBDIR) to fix broken build in isolated environments
David Shah [Wed, 15 May 2019 07:20:50 +0000 (08:20 +0100)]
Merge pull request #1005 from smunaut/ice40_hfosc_trim
ice40/cells_sim.v: Add support for TRIM input to SB_HFOSC
Henner Zeller [Wed, 15 May 2019 05:01:15 +0000 (22:01 -0700)]
Fix two instances of integer-assignment to string.
o In cover.cc, the int-result of mkstemps() was assigned to a string
and silently interpreted as a single-character filename with a funny
value. Fix with the intent: assign the filename.
o in libparse.cc, an int was assigned to a string, but depending on
visible constructors, this is ambiguous. Explicitly cast this to
a char.
Henner Zeller [Wed, 15 May 2019 04:07:26 +0000 (21:07 -0700)]
Make the generated *.tab.hh include all the headers needed to define the union.
Stefan Biereigel [Tue, 14 May 2019 13:28:03 +0000 (15:28 +0200)]
extract python prefix to allow overriding
Stefan Biereigel [Tue, 14 May 2019 12:49:40 +0000 (14:49 +0200)]
remove ldconfig call
Stefan Biereigel [Tue, 14 May 2019 12:36:31 +0000 (14:36 +0200)]
add mkdir for libyosys target, explicitly copy to target folder
whitequark [Mon, 13 May 2019 16:55:15 +0000 (16:55 +0000)]
bugpoint: check for -script option.
Fixes #925.
Sylvain Munaut [Mon, 13 May 2019 10:51:06 +0000 (12:51 +0200)]
ice40/cells_sim.v: Add support for TRIM input to SB_HFOSC
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
Clifford Wolf [Sun, 12 May 2019 13:33:53 +0000 (15:33 +0200)]
Merge pull request #1004 from YosysHQ/clifford/fix1002
Fix handling of glob_abort_cnt in opt_muxtree