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 |
2019-04-23 |
Clifford Wolf | Allow $specify[23] cells in blackbox modules Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-23 |
Clifford Wolf | Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-23 |
Clifford Wolf | Add $specify2/$specify3 support to write_verilog Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
next |