projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Blackboxes
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
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
2019-05-01
Clifford Wolf
Fix width detection of memory access with bit slice...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Add additional test cases for for-loops
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Silently resolve completely unused cell-vs-const driver...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-05-01
Clifford Wolf
Re-enable "final loop assignment" feature
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Fix segfault in wreduce
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Disabled "final loop assignment" feature
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Merge pull request #972 from YosysHQ/clifford/fix968
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Merge pull request #966 from YosysHQ/clifford/fix956
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Merge pull request #962 from YosysHQ/eddie/refactor_synth_xilinx
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Merge branch 'master' into eddie/refactor_synth_xilinx
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Merge pull request #973 from christian-krieg/feature...
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Include filename in "Executing Verilog-2005 frontend...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Fix performance bug in RTLIL::SigSpec::operator==(...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Add final loop variable assignment when unrolling for...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Add handling of init attributes in "opt_expr -undriven"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Add peepopt_muldiv, fixes #930
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
pmgen progress
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Run "peepopt" in generic "synth" pass and "synth_ice40"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmg
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-30
Clifford Wolf
Progress in shiftmul peepopt pattern
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-29
Clifford Wolf
Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef
commit
|
commitdiff
|
tree
2019-04-29
Clifford Wolf
Merge pull request #967 from olegendo/depfile_esc_spaces
commit
|
commitdiff
|
tree
2019-04-29
Clifford Wolf
Add "peepopt" skeleton
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-29
Clifford Wolf
Add pmgen support for multiple patterns in one matcher
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-29
Clifford Wolf
Support multiple pmg files (right now just concatenated...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-29
Clifford Wolf
Drive dangling wires with init attr with their init...
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Add specify support to README
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Improve $specrule interface
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Improve $specrule interface
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Add $specrule cells for $setup/$hold/$skew specify...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Preserve $specify[23] cells
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
next