projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add test case from #997
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
2019-04-23
Clifford Wolf
Add support for $assert/$assume/$cover to write_verilog
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Add CellTypes support for $specify2 and $specify3
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Add InternalCellChecker support for $specify2 and ...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Checking and fixing specify cells in genRTLIL
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Un-break default specify parser
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Add specify parser
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Add $specify2 and $specify3 cells to simlib
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Merge pull request #957 from YosysHQ/oai4fix
commit
|
commitdiff
|
tree
2019-04-23
Clifford Wolf
Remove some left-over log_dump()
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #952 from YosysHQ/clifford/fix370
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #951 from YosysHQ/clifford/logdebug
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #949 from YosysHQ/clifford/pmux2shimprove
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #953 from YosysHQ/clifford/fix948
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Add support for zero-width signals to Verilog back...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Determine correct signedness and expression width in...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Add log_debug() framework
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #950 from whitequark/attrmap_remove_wildcard
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Updaye pmux2shiftx test
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Add full_pmux feature to pmux2shiftx
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Set ENABLE_LIBYOSYS=0 by default
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Set ENABLE_PYOSYS=0 by default
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #905 from christian-krieg/feature...
commit
|
commitdiff
|
tree
2019-04-22
Clifford Wolf
Merge pull request #941 from Wren6991/sim_lib_io_clke
commit
|
commitdiff
|
tree
next