2019-04-13 |
Diego | GoWin enablement: DRAM, initial BRAM, DRAM init, DRAM... |
commit | commitdiff | tree |
2019-04-12 |
Eddie Hung | Merge pull request #928 from litghost/add_xc7_sim_models |
commit | commitdiff | tree |
2019-04-12 |
Keith Rothman | Remove BUFGCTRL, BUFHCE and LUT6_2 from cells_xtra. |
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-12 |
Diego | Fixing issues in CycloneV cell sim |
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Add default entry to testcase |
commit | commitdiff | tree |
2019-04-11 |
Eddie Hung | Recognise default entry in case even if all cases cover... |
commit | commitdiff | tree |
2019-04-09 |
Keith Rothman | Fix LUT6_2 definition. |
commit | commitdiff | tree |
2019-04-09 |
Keith Rothman | Add additional cells sim models for core 7-series prima... |
commit | commitdiff | tree |
2019-04-08 |
Eddie Hung | Fix a few typos |
commit | commitdiff | tree |
2019-04-08 |
Clifford Wolf | Merge pull request #919 from YosysHQ/multiport_transp |
commit | commitdiff | tree |
2019-04-07 |
David Shah | memory_bram: Fix multiport make_transp |
commit | commitdiff | tree |
2019-04-05 |
Clifford Wolf | Add "read_ilang -lib" |
commit | commitdiff | tree |
2019-04-04 |
Clifford Wolf | Added missing argument checking to "mutate" command |
commit | commitdiff | tree |
2019-04-03 |
Eddie Hung | Merge pull request #913 from smunaut/fix_proc_mux |
commit | commitdiff | tree |
2019-04-03 |
Sylvain Munaut | proc_mux: Fix crash when trying to optimize non-existan... |
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-04-02 |
David Shah | memory_bram: Consider read enable for address expansion... |
commit | commitdiff | tree |
2019-04-02 |
Eddie Hung | Merge pull request #895 from YosysHQ/pmux2shiftx |
commit | commitdiff | tree |
2019-04-01 |
Jim Lawson | Refine memory support to deal with general Verilog... |
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... |
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 |
David Shah | memory_bram: Reset make_transp when growing read ports |
commit | commitdiff | tree |
2019-03-27 |
Niels Moseley | Liberty file parser now accepts superfluous ; |
commit | commitdiff | tree |
2019-03-27 |
Niels Moseley | Liberty file parser now accepts superfluous ; |
commit | commitdiff | tree |
2019-03-27 |
Niels Moseley | Liberty file parser now accepts superfluous ; |
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Add "read -verific" and "read -noverific" |
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Add "rename -output" |
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Improve "rename" help message |
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Add "cutpoint -undef" |
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Add "hdlname" attribute |
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Fix "verific -extnets" for more complex situations |
commit | commitdiff | tree |
2019-03-25 |
Clifford Wolf | Add "cutpoint" pass |
commit | commitdiff | tree |
2019-03-25 |
Eddie Hung | Create one $shiftx per bit in width |
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-25 |
Niels Moseley | spaces -> tabs |
commit | commitdiff | tree |
2019-03-25 |
Niels Moseley | EOL is now accepted as ';' replacement on lines that... |
commit | commitdiff | tree |
2019-03-24 |
Niels Moseley | Updated the liberty parser to accept [A:B] ranges ... |
commit | commitdiff | tree |
2019-03-24 |
David Shah | memory_bram: Fix multiclock make_transp |
commit | commitdiff | tree |
2019-03-23 |
Eddie Hung | Add a pmux-to-shiftx optimisation to proc_mux |
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add "mutate -none -mode", "mutate -mode none" |
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add "mutate -s <filename>" |
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 |
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Fix BTOR output tags syntax in writye_btor |
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend... |
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 |
David Shah | Merge pull request #891 from YosysHQ/xilinx_keep |
commit | commitdiff | tree |
2019-03-22 |
David Shah | xilinx: Add keep attribute where appropriate |
commit | commitdiff | tree |
2019-03-22 |
Clifford Wolf | Trim init attributes when resizing FFs in "wreduce... |
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Fix mem2reg handling of memories with upto data ports... |
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Improve "read_verilog -dump_vlog[12]" handling of upto... |
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Improve read_verilog debug output capabilities |
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... |
commit | commitdiff | tree |
2019-03-19 |
Eddie Hung | Merge pull request #808 from eddiehung/read_aiger |
commit | commitdiff | tree |
2019-03-19 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into read_aiger |
commit | commitdiff | tree |
2019-03-19 |
Eddie Hung | Add author name |
commit | commitdiff | tree |
2019-03-19 |
Clifford Wolf | Merge pull request #884 from zachjs/master |
commit | commitdiff | tree |
2019-03-19 |
Zachary Snow | fix local name resolution in prefix constructs |
commit | commitdiff | tree |
2019-03-17 |
Clifford Wolf | Update issue template |
commit | commitdiff | tree |
2019-03-17 |
Clifford Wolf | Update issue template |
commit | commitdiff | tree |
2019-03-16 |
Clifford Wolf | Merge pull request #877 from FelixVi/master |
commit | commitdiff | tree |
2019-03-16 |
Felix Vietmeyer | Add note about test requirements in README |
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Improve mix of src/wire/wirebit coverage in "mutate... |
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" |
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Add fmcombine pass |
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 |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improvements in "mutate" list-reduce algorithm |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate -cfg", improve pick_cover behavior |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add a strictly coverage-driven mutation selection strategy |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve "mutate" wire coverage metric |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add more mutation types, improve mutation src cover |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Fix smtbmc.py handling of zero appended steps |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate" command DB reduce functionality |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add hashlib "<container>::element(int n)" methods |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate -mode inv", various other mutate improvements |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add basic "mutate -list N" framework |
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_exp... |
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 |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Fix a syntax bug in ilang backend related to process... |
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Merge pull request #869 from cr1901/win-shell |
commit | commitdiff | tree |
2019-03-13 |
William D.... | Install launcher executable when running yosys-smtbmc... |
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... |
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... |
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Improve handling of memories used in mem index expressi... |
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Remove outdated "blocking assignment to memory" warning |
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for... |
commit | commitdiff | tree |
next |