github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-05 07:35:21 +00:00
Code Issues Releases Wiki Activity
9,381 Commits 137 Branches 66 Tags
f88378ae616b331d43ccc99797e239785bab7644
Commit Graph

9381 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alberto Gonzalez
64a5936bd7 Clean up passes/cmds/connect.cc. 2020-04-08 22:11:06 +00:00
Sahand Kashani
ac388859e3 Remove dependency on ilang backend since we no longer use it 2020-04-08 23:59:22 +02:00
Sahand Kashani
9edf8869c1 Merge branch 'master' of github.com:YosysHQ/yosys into firrtl_backend_fileinfo 2020-04-08 23:50:37 +02:00
Sahand Kashani
820e3d1dad Remove unnecessary pruning of double-quoting 
In the past I was calling the ILANG_BACKEND::dump_const() to dump
values to an output stream. When these values were strings, the
function used to add quotes around them. The firrtl compiler, in turn,
escaped these quotes and the result was double-quoted strings which
were hard to read.

However I'm now calling design_entity->get_src_attribute() directly
and there is no additional quote being put around it, so we can
safely remove the unnecessary call to str.erase() here.
 2020-04-08 23:20:56 +02:00
Xiretza
5f649fc19d Add constids.inc to final install 
If this is not present in the install, #include-ing most yosys
headers will fail in rtlil.h:380.
 2020-04-08 21:36:33 +02:00
Eddie Hung
5d18fdadfe Merge pull request #1881 from hzeller/only-define-stdc-format-macros-if-not-already 
aigerparse: only define __STDC_FORMAT_MACROS it not already before.
 2020-04-07 13:56:40 -07:00
Henner Zeller
c15040c218 aigerparse: only define __STDC_FORMAT_MACROS it not already before. 2020-04-07 12:50:31 -07:00
Claire Wolf
40223eaee1 Merge pull request #1814 from YosysHQ/mmicko/pyosys_makefile 
Enable ENABLE_LIBYOSYS when ENABLE_PYOSYS is set (closes #1813)
 2020-04-07 17:06:47 +02:00
Jeff Wang
dbfd6b7530 duplicated enum item names should result in an error 2020-04-07 02:30:11 -04:00
Jeff Wang
249876b614 support using previously declared types/localparams/params in package 
(parameters in systemverilog packages can't actually be overridden, so
allowing parameters in addition to localparams doesn't actually add any
new functionality, but it's useful to be able to use the parameter
keyword also)
 2020-04-07 00:38:15 -04:00
Alberto Gonzalez
194354e128 Remove $anyconst cells before specialization to eliminate warnings and the need to run opt_clean. 2020-04-07 03:29:54 +00:00
whitequark
b350398c04 Merge pull request #1874 from boqwxp/cleanup_show 
Clean up `passes/cmds/show.cc`.
 2020-04-06 18:32:20 +00:00
whitequark
8ca12e0c42 Merge pull request #1861 from boqwxp/cleanup_hierarchy_submod 
Clean up `passes/hierarchy/submod.cc`.
 2020-04-06 18:32:10 +00:00
whitequark
b494d4c656 read_ilang: improve style. NFC. 
Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
 2020-04-06 18:31:15 +00:00
Alberto Gonzalez
f4346a0400 Use more descriptive variable name. 
Co-Authored-By: whitequark <whitequark@whitequark.org>
 2020-04-06 14:48:27 +00:00
Alberto Gonzalez
d6de14a0d6 Use more descriptive variable name. 
Co-Authored-By: whitequark <whitequark@whitequark.org>
 2020-04-06 14:37:07 +00:00
whitequark
ebf23cd62e Merge pull request #1870 from boqwxp/cleanup_setattr 
Clean up `passes/cmds/setattr.cc`.
 2020-04-06 11:04:49 +00:00
whitequark
df95dc7d4a Merge pull request #1872 from boqwxp/cleanup_copy 
Clean up private member usage in `passes/cmds/copy.cc`.
 2020-04-06 11:03:46 +00:00
whitequark
41f0c38478 Merge pull request #1871 from boqwxp/cleanup_splice 
Clean up `passes/cmds/splice.cc`.
 2020-04-06 11:03:34 +00:00
whitequark
db66371915 Merge pull request #1869 from boqwxp/cleanup_connwrappers 
Clean up `passes/cmds/connwrappers.cc`.
 2020-04-06 11:01:44 +00:00
whitequark
30934e425d Merge pull request #1868 from boqwxp/cleanup_delete 
Clean up `passes/cmds/delete.cc`.
 2020-04-06 10:58:38 +00:00
whitequark
d3615ee445 Merge pull request #1867 from boqwxp/cleanup_stat 
Clean up `passes/cmds/stat.cc`.
 2020-04-06 10:58:02 +00:00
whitequark
75d39c6fdf Merge pull request #1866 from boqwxp/cleanup_test_autotb 
Clean up `passes/tests/test_autotb.cc`.
 2020-04-06 10:56:45 +00:00
whitequark
79c6149069 Merge pull request #1865 from boqwxp/cleanup_dfflibmap 
Clean up `passes/techmap/dfflibmap.cc`.
 2020-04-06 10:56:22 +00:00
whitequark
8340660518 Merge pull request #1863 from boqwxp/cleanup_techmap_extract 
Clean up `passes/techmap/extract.cc`.
 2020-04-06 10:55:50 +00:00
whitequark
0d69d532e0 Merge pull request #1859 from boqwxp/design_duplicate 
Add `-push-copy` option to the `design` command.
 2020-04-06 10:39:26 +00:00
whitequark
d22888ce74 read_ilang: improve error message for overly long wires. 
Fixes #1838.
 2020-04-06 10:33:02 +00:00
whitequark
ca70a1049f read_ilang: detect overflow of integer literals. 2020-04-06 10:32:02 +00:00
whitequark
df69febb1e Merge pull request #1873 from boqwxp/cleanup_bugpoint 
Clean up private member usage in `passes/cmds/bugpoint.cc`.
 2020-04-06 10:13:06 +00:00
Alberto Gonzalez
57f48f94c2 Clean up passes/cmds/show.cc. 2020-04-06 08:51:25 +00:00
Alberto Gonzalez
fdeeb48e62 Clean up private member usage in passes/cmds/bugpoint.cc. 2020-04-06 08:35:09 +00:00
Alberto Gonzalez
2dd09ab611 Clean up private member usage in passes/cmds/copy.cc. 2020-04-06 08:26:10 +00:00
Alberto Gonzalez
5e9c88501e Clean up passes/cmds/splice.cc. 2020-04-06 07:42:46 +00:00
Alberto Gonzalez
2e27ddd511 Clean up passes/cmds/setattr.cc. 2020-04-06 06:52:18 +00:00
Alberto Gonzalez
968230261f Clean up passes/cmds/connwrappers.cc. 2020-04-06 06:11:25 +00:00
Alberto Gonzalez
1226d41c61 Clean up passes/cmds/delete.cc. 2020-04-06 05:09:43 +00:00
Alberto Gonzalez
b39a0d77ab Clean up passes/cmds/stat.cc. 2020-04-06 04:39:18 +00:00
Alberto Gonzalez
438d2e0025 Clean up passes/tests/test_autotb.cc. 2020-04-06 04:25:21 +00:00
Alberto Gonzalez
f3e282a97c Clean up passes/techmap/dfflibmap.cc. 2020-04-06 03:02:40 +00:00
Alberto Gonzalez
9168701881 Clean up pseudo-private member usage and simplify passes/techmap/abc.cc. 2020-04-05 21:31:18 +00:00
Alberto Gonzalez
64a32ead38 Clean up passes/techmap/extract.cc. 2020-04-05 19:36:23 +00:00
Alberto Gonzalez
5431ce694c Clean up passes/hierarchy/submod.cc. 2020-04-05 04:39:54 +00:00
Alberto Gonzalez
5fedd0931c Use newly-renamed -push-copy option. 2020-04-04 22:22:54 +00:00
Alberto Gonzalez
0ca3a8e94f Improve style in passes/sat/qbfsat.cc. 2020-04-04 22:13:27 +00:00
Alberto Gonzalez
1db73e8dd2 Gracefully report error when module has nothing to prove. 2020-04-04 22:13:27 +00:00
Alberto Gonzalez
8f0f13cad2 Suppress yosys-smtbmc output unless the new -show-smtbmc option is provided. 2020-04-04 22:13:27 +00:00
Alberto Gonzalez
ce033a8e36 Fix handling of -sat and -unsat options when the solver returns unknown. 2020-04-04 22:13:26 +00:00
Alberto Gonzalez
6af8b767b4 Use log_push() and log_pop() and show the satisfiable model when -specialize is not specified. 
Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
 2020-04-04 22:13:26 +00:00
Alberto Gonzalez
d311a80222 Clean up qbfsat command and fix AND-reduction of miter outputs. 2020-04-04 22:13:26 +00:00
Alberto Gonzalez
125a583c57 Use the -duplicate option rather than -save and -load with an explicit name. 
Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
 2020-04-04 22:13:26 +00:00