git.libre-soc.org Git - yosys.git/shortlog

2019-04-03	Eddie Hung	Disable shregmap in synth_xilinx if -retime	commit \| commitdiff \| tree
2019-04-03	Eddie Hung	Add changelog entry	commit \| commitdiff \| tree
2019-04-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	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	Eddie Hung	synth_xilinx to use shregmap with -minlen 3	commit \| commitdiff \| tree
2019-03-25	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	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	Eddie Hung	Cope with SHREG not having E port; Revert $pmux fine...	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-23	Eddie Hung	Add support for SHREGMAP+$mux, also fine tune $pmux	commit \| commitdiff \| tree
2019-03-23	Eddie Hung	Leftover printf	commit \| commitdiff \| tree
2019-03-23	Eddie Hung	Fixes for multibit	commit \| commitdiff \| tree
2019-03-23	Eddie Hung	Working for 1 bit	commit \| commitdiff \| tree
2019-03-22	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	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	Eddie Hung	Add '-nosrl' option to synth_xilinx	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-21	Eddie Hung	Opt	commit \| commitdiff \| tree
2019-03-20	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2019-03-20	Eddie Hung	Fine tune cells_map.v	commit \| commitdiff \| tree
2019-03-20	Eddie Hung	Revert $__SHREG_ to orig; use $__XILINX_SHREG for varia...	commit \| commitdiff \| tree
2019-03-20	Eddie Hung	Add support for variable length Xilinx SRL > 128	commit \| commitdiff \| tree
2019-03-19	Eddie Hung	Restore original synth_xilinx commands	commit \| commitdiff \| tree
2019-03-19	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2019-03-19	Eddie Hung	shregmap -tech xilinx to delete $shiftx for var length SRL	commit \| commitdiff \| tree
2019-03-19	Eddie Hung	Fix INIT for variable length SRs that have been bumped...	commit \| commitdiff \| tree
2019-03-19	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	commit \| commitdiff \| tree
2019-03-19	Eddie Hung	Make output port a non chain user	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-18	Eddie Hung	Fix shregmap to correctly recognise non chain users...	commit \| commitdiff \| tree
2019-03-18	Eddie Hung	shiftx NULL pointer check	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	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2019-03-16	Eddie Hung	Only accept <128 for variable length, only if $shiftx...	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-16	Eddie Hung	Cleanup synth_xilinx	commit \| commitdiff \| tree
2019-03-16	Eddie Hung	Working	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
next

RSS Atom