projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove abc_flop attributes for now
2019-06-06
Clifford Wolf
Merge pull request #1060 from antmicro/parsing_attr_on_port_conn
commit
|
commitdiff
|
tree
2019-06-06
Clifford Wolf
Merge pull request #1071 from YosysHQ/eddie/fix_1070
commit
|
commitdiff
|
tree
2019-06-06
Clifford Wolf
Merge pull request #1072 from YosysHQ/eddie/fix_1069
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Merge pull request #1066 from YosysHQ/clifford/fix1056
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Major rewrite of wire selection in setundef -init
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Indent fix
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Merge pull request #999 from jakobwenzel/setundefInitFix
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Fix typo in fmcombine log message, fixes #1063
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Suppress driver-driver conflict warning for unknown...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Remove yosys_banner() from python wrapper init, fixes...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-06-04
Clifford Wolf
Merge pull request #1062 from tux3/patch-1
commit
|
commitdiff
|
tree
2019-06-02
Clifford Wolf
Only support Symbiotic EDA flavored Verific
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-31
Clifford Wolf
Fix "tee" handling of log_streams
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-30
Clifford Wolf
Enable Verific flag veri_elaborate_top_level_modules_having_...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-30
Clifford Wolf
Merge pull request #1057 from mmicko/fix_478
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1049 from YosysHQ/clifford/fix1047
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1050 from YosysHQ/clifford/wandwor
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Do not use shiftmul peepopt pattern when mul result...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1048 from mmicko/fix_enable_pyosys
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Refactor hierarchy wand/wor handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Add actual wandwor test that is part of "make test"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge branch 'wandwor' of https://github.com/thasti...
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1045 from mmicko/afl-gcc-target
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1044 from mmicko/invalid_width_range
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1043 from mmicko/unsized_constant
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1026 from YosysHQ/clifford/fix1023
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1030 from Kmanfi/makefile_osx
commit
|
commitdiff
|
tree
2019-05-26
Clifford Wolf
Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
commit
|
commitdiff
|
tree
2019-05-26
Clifford Wolf
Merge pull request #1042 from mmicko/git_ignore_python
commit
|
commitdiff
|
tree
2019-05-25
Clifford Wolf
Merge pull request #1041 from YosysHQ/clifford/fix1040
commit
|
commitdiff
|
tree
2019-05-25
Clifford Wolf
Fix handling of offset and upto module ports in write_blif...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-24
Clifford Wolf
Add proper error message for btor recursion_guard
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-23
Clifford Wolf
Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
commit
|
commitdiff
|
tree
2019-05-22
Clifford Wolf
Keep zero-width wires in opt_clean if and only if they...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-22
Clifford Wolf
Fix handling of warning and error messages within log_make_d...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-22
Clifford Wolf
Merge pull request #1019 from YosysHQ/clifford/fix1016
commit
|
commitdiff
|
tree
2019-05-22
Clifford Wolf
Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg
commit
|
commitdiff
|
tree
2019-05-20
Clifford Wolf
Add "wreduce -keepdc", fixes #1016
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-18
Clifford Wolf
Merge pull request #1017 from Kmanfi/bigger_verilog_files
commit
|
commitdiff
|
tree
2019-05-16
Clifford Wolf
Merge pull request #1013 from antmicro/parameter_attributes
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1012 from YosysHQ/clifford/sigspecrw
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Improvements in opt_clean
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Add rewrite_sigspecs2, Improve remove() wires
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Do not leak file descriptors in cover.cc
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1011 from hzeller/fix-constructing...
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1010 from hzeller/yacc-self-contained
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1008 from thasti/fix_libyosys_build
commit
|
commitdiff
|
tree
2019-05-12
Clifford Wolf
Merge pull request #1004 from YosysHQ/clifford/fix1002
commit
|
commitdiff
|
tree
2019-05-12
Clifford Wolf
Fix handling of glob_abort_cnt in opt_muxtree, fixes...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-11
Clifford Wolf
Merge pull request #1003 from makaimann/zinit-all
commit
|
commitdiff
|
tree
2019-05-11
Clifford Wolf
Add "fmcombine -initeq -anyeq"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-11
Clifford Wolf
Add "stat -tech xilinx"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-09
Clifford Wolf
Merge pull request #1000 from bwidawsk/synth-format
commit
|
commitdiff
|
tree
2019-05-09
Clifford Wolf
Add $stop to documentation
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-08
Clifford Wolf
Remove added newline (by re-running minisat 00_UPDATE.sh)
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-08
Clifford Wolf
Merge pull request #991 from kristofferkoch/gcc9-warnings
commit
|
commitdiff
|
tree
2019-05-08
Clifford Wolf
Merge pull request #998 from mdaiter/get_bool_attribute_opts
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Add test case from #997
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Fix handling of partial init attributes in write_verilog...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Merge pull request #996 from mdaiter/ceil_log2_opts
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Add "synth_xilinx -arch"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
More opt_clean cleanups
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #946 from YosysHQ/clifford/specify
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #975 from YosysHQ/clifford/fix968
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #871 from YosysHQ/verific_import
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Add tests/various/chparam.sh
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Fix the other bison warning in ilang_parser.y
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Bugfix in peepopt_shiftmul.pmg
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #992 from bwidawsk/bison-fix
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #989 from YosysHQ/dave/abc_name_improve
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Fix bug in "expose -input"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Cleanups in opt_clean
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Improve tests/various/specify.ys
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Add "real" keyword to ilang format
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Merge pull request #988 from YosysHQ/clifford/fix987
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Improve opt_clean handling of unused wires
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Add support for SVA "final" keyword
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Improve write_verilog specify support
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Update README
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Add approximate support for SV "var" keyword, fixes...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Add "hierarchy -chparam" support for non-verific top...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #984 from YosysHQ/eddie/fix_982
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #976 from YosysHQ/clifford/fix974
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #985 from YosysHQ/clifford/fix981
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Fix typo in tests/svinterfaces/runone.sh
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #979 from jakobwenzel/svinterfacesTestcase
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Improve opt_expr and opt_clean handling of (partially...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Further improve unused-detection for opt_clean driver...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Improve unused-detection for opt_clean driver-driver...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Update pmgen documentation
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Fix typo
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-02
Clifford Wolf
Merge pull request #963 from YosysHQ/eddie/synth_xilinx_fine
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Merge branch 'clifford/fix883'
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Add missing enable_undef to "sat -tempinduct-def",...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Merge pull request #977 from ucb-bar/fixfirrtlmem
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Fix floating point exception in qwp, fixes #923
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Add splitcmplxassign test case and silence splitcmplxassign...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
next