2019-04-22 |
Clifford Wolf | Merge branch 'dh73-master'
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Merge branch 'master' of https://github.com/dh73/yosys_gowin...
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Re-added clean after techmap in synth_xilinx Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Merge pull request #916 from YosysHQ/map_cells_before_map_luts
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Merge pull request #911 from mmicko/gowin-nobram
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Merge pull request #909 from zachjs/master
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Merge pull request #944 from YosysHQ/clifford/pmux2shiftx
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Merge pull request #945 from YosysHQ/clifford/libwb
|
commit | commitdiff | tree |
2019-04-22 |
Clifford Wolf | Disable blackbox detection in techmap files Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-21 |
Clifford Wolf | Fix tests Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-21 |
Clifford Wolf | Add "noblackbox" attribute Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | New behavior for front-end handling of whiteboxes Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Merge pull request #943 from YosysHQ/clifford/whitebox
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Auto-initialize OnehotDatabase on-demand in pmux2shiftx.cc Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Add "onehot" pass, improve "pmux2shiftx" onehot handling Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Add "techmap -wb", use in formal flows Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Check blackbox attribute in techmap/simplemap Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Add "wbflip" command Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Merge pull request #942 from YosysHQ/clifford/fix931
|
commit | commitdiff | tree |
2019-04-20 |
Clifford Wolf | Improve "pmux2shiftx" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Fix some typos Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Improvements in "pmux2shiftx" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Improvements in pmux2shiftx Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Add test for pmux2shiftx Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Improve pmux2shift ctrl permutation finder Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Complete rewrite of pmux2shiftx Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Import initial pmux2shiftx from eddieh Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Improve "show" handling of 0/1/X/Z padding Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Change "ne" to "neq" in btor2 output Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-19 |
Clifford Wolf | Add tests/aiger/.gitignore Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-18 |
Clifford Wolf | Update to ABC 3709744 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-18 |
Clifford Wolf | Add "whitebox" attribute, add "read_verilog -wb" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-18 |
Clifford Wolf | Improve proc full_case detection and handling, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-17 |
Clifford Wolf | Update to ABC d1b6413 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-12 |
Clifford Wolf | Merge pull request #933 from dh73/master
|
commit | commitdiff | tree |
2019-04-12 |
Clifford Wolf | Merge pull request #932 from YosysHQ/eddie/fixdlatch
|
commit | commitdiff | tree |
2019-04-08 |
Clifford Wolf | Merge pull request #919 from YosysHQ/multiport_transp
|
commit | commitdiff | tree |
2019-04-05 |
Clifford Wolf | Add "read_ilang -lib" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-04 |
Clifford Wolf | Added missing argument checking to "mutate" command Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-03 |
Clifford Wolf | Merge pull request #912 from YosysHQ/bram_addr_en
|
commit | commitdiff | tree |
2019-04-03 |
Clifford Wolf | Merge pull request #910 from ucb-bar/memupdates
|
commit | commitdiff | tree |
2019-03-29 |
Clifford Wolf | Merge pull request #907 from YosysHQ/clifford/fix906
|
commit | commitdiff | tree |
2019-03-29 |
Clifford Wolf | Build Verilog parser with -DYYMAXDEPTH=100000, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-28 |
Clifford Wolf | Merge pull request #901 from trcwm/libertyfixes
|
commit | commitdiff | tree |
2019-03-28 |
Clifford Wolf | Merge pull request #903 from YosysHQ/bram_reset_transp
|
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Add "read -verific" and "read -noverific" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Add "rename -output" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Improve "rename" help message Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Add "cutpoint -undef" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Add "hdlname" attribute Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Fix "verific -extnets" for more complex situations Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-25 |
Clifford Wolf | Add "cutpoint" pass Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-25 |
Clifford Wolf | Merge pull request #896 from YosysHQ/transp_fixes
|
commit | commitdiff | tree |
2019-03-25 |
Clifford Wolf | Merge pull request #897 from trcwm/libertyfixes
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add "mutate -none -mode", "mutate -mode none" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add "mutate -s <filename>" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Merge pull request #893 from YosysHQ/clifford/btormeminit
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add support for memory initialization to write_btor Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Fix BTOR output tags syntax in writye_btor Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend_u0... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-22 |
Clifford Wolf | Merge pull request #889 from YosysHQ/clifford/fix888
|
commit | commitdiff | tree |
2019-03-22 |
Clifford Wolf | Merge pull request #890 from YosysHQ/clifford/fix887
|
commit | commitdiff | tree |
2019-03-22 |
Clifford Wolf | Trim init attributes when resizing FFs in "wreduce... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Fix mem2reg handling of memories with upto data ports... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Improve "read_verilog -dump_vlog[12]" handling of upto... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Improve read_verilog debug output capabilities Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-19 |
Clifford Wolf | Merge pull request #885 from YosysHQ/clifford/fix873
|
commit | commitdiff | tree |
2019-03-19 |
Clifford Wolf | Add Xilinx negedge FFs to synth_xilinx dffinit call... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-19 |
Clifford Wolf | Merge pull request #884 from zachjs/master
|
commit | commitdiff | tree |
2019-03-17 |
Clifford Wolf | Update issue template Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-17 |
Clifford Wolf | Update issue template Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-16 |
Clifford Wolf | Merge pull request #877 from FelixVi/master
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Improve mix of src/wire/wirebit coverage in "mutate... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Merge pull request #876 from YosysHQ/clifford/fmcombine
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Add "fmcombine -fwd -bwd -nop" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Add fmcombine pass Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Merge pull request #875 from YosysHQ/clifford/mutate
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Disable realmath tests Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improvements in "mutate" list-reduce algorithm Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate -cfg", improve pick_cover behavior Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add a strictly coverage-driven mutation selection strategy Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve "mutate" wire coverage metric Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add more mutation types, improve mutation src cover Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Fix smtbmc.py handling of zero appended steps Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate" command DB reduce functionality Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add hashlib "<container>::element(int n)" methods Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate -mode inv", various other mutate improvements Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add basic "mutate -list N" framework Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Merge pull request #874 from YosysHQ/clifford/andopt
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve handling of and-with-1 and or-with-0 in opt_expr... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Merge pull request #872 from YosysHQ/clifford/pmuxfix
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve handling of "full_case" attributes Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Fix a syntax bug in ilang backend related to process... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Merge pull request #869 from cr1901/win-shell
|
commit | commitdiff | tree |
2019-03-13 |
Clifford Wolf | Merge pull request #868 from YosysHQ/clifford/fixmem
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Fix a bug in handling quotes in multi-cmd lines in... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Merge pull request #866 from YosysHQ/clifford/idstuff
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Remove ice40/cells_sim.v hack to avoid warning for... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Improve handling of memories used in mem index expressions... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Remove outdated "blocking assignment to memory" warning Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
next |