projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7mux
2019-04-23 Clifford WolfMerge pull request #957 from YosysHQ/oai4fix
 commit | commitdiff | tree
2019-04-23 Clifford WolfRemove some left-over log_dump()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #952 from YosysHQ/clifford/fix370
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #951 from YosysHQ/clifford/logdebug
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #949 from YosysHQ/clifford/pmux2shimprove
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #953 from YosysHQ/clifford/fix948
 commit | commitdiff | tree
2019-04-22 Clifford WolfAdd support for zero-width signals to Verilog back...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfDetermine correct signedness and expression width in...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfAdd log_debug() framework
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #950 from whitequark/attrmap_remove_wildcard
 commit | commitdiff | tree
2019-04-22 Clifford WolfUpdaye pmux2shiftx test
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfAdd full_pmux feature to pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfSet ENABLE_LIBYOSYS=0 by default
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfSet ENABLE_PYOSYS=0 by default
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #905 from christian-krieg/feature...
commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #941 from Wren6991/sim_lib_io_clke
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge branch 'dh73-master'
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge branch 'master' of https://github.com/dh73/yosys_gowin...
commit | commitdiff | tree
2019-04-22 Clifford WolfRe-added clean after techmap in synth_xilinx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #916 from YosysHQ/map_cells_before_map_luts
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #911 from mmicko/gowin-nobram
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #909 from zachjs/master
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #944 from YosysHQ/clifford/pmux2shiftx
 commit | commitdiff | tree
2019-04-22 Clifford WolfMerge pull request #945 from YosysHQ/clifford/libwb
 commit | commitdiff | tree
2019-04-22 Clifford WolfDisable blackbox detection in techmap files
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-21 Clifford WolfFix tests
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-21 Clifford WolfAdd "noblackbox" attribute
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfNew behavior for front-end handling of whiteboxes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfMerge pull request #943 from YosysHQ/clifford/whitebox
 commit | commitdiff | tree
2019-04-20 Clifford WolfAuto-initialize OnehotDatabase on-demand in pmux2shiftx.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfAdd "onehot" pass, improve "pmux2shiftx" onehot handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfAdd "techmap -wb", use in formal flows
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfCheck blackbox attribute in techmap/simplemap
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfAdd "wbflip" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-20 Clifford WolfMerge pull request #942 from YosysHQ/clifford/fix931
 commit | commitdiff | tree
2019-04-20 Clifford WolfImprove "pmux2shiftx"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfFix some typos
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfImprovements in "pmux2shiftx"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfImprovements in pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfAdd test for pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfImprove pmux2shift ctrl permutation finder
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfComplete rewrite of pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfImport initial pmux2shiftx from eddieh
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfImprove "show" handling of 0/1/X/Z padding
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfChange "ne" to "neq" in btor2 output
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-19 Clifford WolfAdd tests/aiger/.gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-18 Clifford WolfUpdate to ABC 3709744
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-18 Clifford WolfAdd "whitebox" attribute, add "read_verilog -wb"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-18 Clifford WolfImprove proc full_case detection and handling, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-17 Clifford WolfUpdate to ABC d1b6413
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-12 Clifford WolfMerge pull request #933 from dh73/master
 commit | commitdiff | tree
2019-04-12 Clifford WolfMerge pull request #932 from YosysHQ/eddie/fixdlatch
 commit | commitdiff | tree
2019-04-08 Clifford WolfMerge pull request #919 from YosysHQ/multiport_transp
 commit | commitdiff | tree
2019-04-05 Clifford WolfAdd "read_ilang -lib"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-04 Clifford WolfAdded missing argument checking to "mutate" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-04-03 Clifford WolfMerge pull request #912 from YosysHQ/bram_addr_en
 commit | commitdiff | tree
2019-04-03 Clifford WolfMerge pull request #910 from ucb-bar/memupdates
 commit | commitdiff | tree
2019-03-29 Clifford WolfMerge pull request #907 from YosysHQ/clifford/fix906
 commit | commitdiff | tree
2019-03-29 Clifford WolfBuild Verilog parser with -DYYMAXDEPTH=100000, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-28 Clifford WolfMerge pull request #901 from trcwm/libertyfixes
 commit | commitdiff | tree
2019-03-28 Clifford WolfMerge pull request #903 from YosysHQ/bram_reset_transp
 commit | commitdiff | tree
2019-03-27 Clifford WolfAdd "read -verific" and "read -noverific"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-27 Clifford WolfAdd "rename -output"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-27 Clifford WolfImprove "rename" help message
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-26 Clifford WolfAdd "cutpoint -undef"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-26 Clifford WolfAdd "hdlname" attribute
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-26 Clifford WolfFix "verific -extnets" for more complex situations
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-25 Clifford WolfAdd "cutpoint" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-25 Clifford WolfMerge pull request #896 from YosysHQ/transp_fixes
 commit | commitdiff | tree
2019-03-25 Clifford WolfMerge pull request #897 from trcwm/libertyfixes
 commit | commitdiff | tree
2019-03-23 Clifford WolfAdd "mutate -none -mode", "mutate -mode none"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-23 Clifford WolfAdd "mutate -s <filename>"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-23 Clifford WolfMerge pull request #893 from YosysHQ/clifford/btormeminit
 commit | commitdiff | tree
2019-03-23 Clifford WolfAdd support for memory initialization to write_btor
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-23 Clifford WolfFix BTOR output tags syntax in writye_btor
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-23 Clifford WolfAdd RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend_u0...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-22 Clifford WolfMerge pull request #889 from YosysHQ/clifford/fix888
 commit | commitdiff | tree
2019-03-22 Clifford WolfMerge pull request #890 from YosysHQ/clifford/fix887
 commit | commitdiff | tree
2019-03-22 Clifford WolfTrim init attributes when resizing FFs in "wreduce...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-21 Clifford WolfFix mem2reg handling of memories with upto data ports...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-21 Clifford WolfImprove "read_verilog -dump_vlog[12]" handling of upto...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-21 Clifford WolfImprove read_verilog debug output capabilities
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-19 Clifford WolfMerge pull request #885 from YosysHQ/clifford/fix873
 commit | commitdiff | tree
2019-03-19 Clifford WolfAdd Xilinx negedge FFs to synth_xilinx dffinit call...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-19 Clifford WolfMerge pull request #884 from zachjs/master
 commit | commitdiff | tree
2019-03-17 Clifford WolfUpdate issue template
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-17 Clifford WolfUpdate issue template
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-16 Clifford WolfMerge pull request #877 from FelixVi/master
 commit | commitdiff | tree
2019-03-15 Clifford WolfImprove mix of src/wire/wirebit coverage in "mutate...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-15 Clifford WolfMerge pull request #876 from YosysHQ/clifford/fmcombine
 commit | commitdiff | tree
2019-03-15 Clifford WolfAdd "fmcombine -fwd -bwd -nop"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-15 Clifford WolfAdd fmcombine pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfMerge pull request #875 from YosysHQ/clifford/mutate
 commit | commitdiff | tree
2019-03-14 Clifford WolfDisable realmath tests
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfImprovements in "mutate" list-reduce algorithm
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfAdd "mutate -cfg", improve pick_cover behavior
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfAdd a strictly coverage-driven mutation selection strategy
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfImprove "mutate" wire coverage metric
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfAdd more mutation types, improve mutation src cover
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfFix smtbmc.py handling of zero appended steps
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
next