projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' 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... 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 David Shahmemory_bram: Reset make_transp when growing read ports commit | commitdiff | tree
2019-03-27 Niels MoseleyLiberty file parser now accepts superfluous ; commit | commitdiff | tree
2019-03-27 Niels MoseleyLiberty file parser now accepts superfluous ; commit | commitdiff | tree
2019-03-27 Niels MoseleyLiberty file parser now accepts superfluous ; commit | commitdiff | tree
2019-03-27 Clifford WolfAdd "read -verific" and "read -noverific" commit | commitdiff | tree
2019-03-27 Clifford WolfAdd "rename -output" commit | commitdiff | tree
2019-03-27 Clifford WolfImprove "rename" help message commit | commitdiff | tree
2019-03-26 Clifford WolfAdd "cutpoint -undef" commit | commitdiff | tree
2019-03-26 Clifford WolfAdd "hdlname" attribute commit | commitdiff | tree
2019-03-26 Clifford WolfFix "verific -extnets" for more complex situations commit | commitdiff | tree
2019-03-25 Clifford WolfAdd "cutpoint" pass 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-25 Niels Moseleyspaces -> tabs commit | commitdiff | tree
2019-03-25 Niels MoseleyEOL is now accepted as ';' replacement on lines that... commit | commitdiff | tree
2019-03-24 Niels MoseleyUpdated the liberty parser to accept [A:B] ranges ... commit | commitdiff | tree
2019-03-24 David Shahmemory_bram: Fix multiclock make_transp commit | commitdiff | tree
2019-03-23 Clifford WolfAdd "mutate -none -mode", "mutate -mode none" commit | commitdiff | tree
2019-03-23 Clifford WolfAdd "mutate -s <filename>" 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 commit | commitdiff | tree
2019-03-23 Clifford WolfFix BTOR output tags syntax in writye_btor commit | commitdiff | tree
2019-03-23 Clifford WolfAdd RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend... 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 David ShahMerge pull request #891 from YosysHQ/xilinx_keep commit | commitdiff | tree
2019-03-22 David Shahxilinx: Add keep attribute where appropriate commit | commitdiff | tree
2019-03-22 Clifford WolfTrim init attributes when resizing FFs in "wreduce... commit | commitdiff | tree
2019-03-21 Clifford WolfFix mem2reg handling of memories with upto data ports... commit | commitdiff | tree
2019-03-21 Clifford WolfImprove "read_verilog -dump_vlog[12]" handling of upto... commit | commitdiff | tree
2019-03-21 Clifford WolfImprove read_verilog debug output capabilities 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... commit | commitdiff | tree
2019-03-19 Eddie HungMerge pull request #808 from eddiehung/read_aiger commit | commitdiff | tree
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger commit | commitdiff | tree
2019-03-19 Eddie HungAdd author name commit | commitdiff | tree
2019-03-19 Clifford WolfMerge pull request #884 from zachjs/master commit | commitdiff | tree
2019-03-19 Zachary Snowfix local name resolution in prefix constructs commit | commitdiff | tree
2019-03-17 Clifford WolfUpdate issue template commit | commitdiff | tree
2019-03-17 Clifford WolfUpdate issue template commit | commitdiff | tree
2019-03-16 Clifford WolfMerge pull request #877 from FelixVi/master commit | commitdiff | tree
2019-03-16 Felix VietmeyerAdd note about test requirements in README commit | commitdiff | tree
2019-03-15 Clifford WolfImprove mix of src/wire/wirebit coverage in "mutate... 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" commit | commitdiff | tree
2019-03-15 Clifford WolfAdd fmcombine pass 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 commit | commitdiff | tree
2019-03-14 Clifford WolfImprovements in "mutate" list-reduce algorithm commit | commitdiff | tree
2019-03-14 Clifford WolfAdd "mutate -cfg", improve pick_cover behavior commit | commitdiff | tree
2019-03-14 Clifford WolfAdd a strictly coverage-driven mutation selection strategy commit | commitdiff | tree
2019-03-14 Clifford WolfImprove "mutate" wire coverage metric commit | commitdiff | tree
2019-03-14 Clifford WolfAdd more mutation types, improve mutation src cover commit | commitdiff | tree
2019-03-14 Clifford WolfFix smtbmc.py handling of zero appended steps commit | commitdiff | tree
2019-03-14 Clifford WolfAdd "mutate" command DB reduce functionality commit | commitdiff | tree
2019-03-14 Clifford WolfAdd hashlib "<container>::element(int n)" methods commit | commitdiff | tree
2019-03-14 Clifford WolfAdd "mutate -mode inv", various other mutate improvements commit | commitdiff | tree
2019-03-14 Clifford WolfAdd basic "mutate -list N" framework commit | commitdiff | tree
2019-03-14 Clifford WolfMerge pull request #874 from YosysHQ/clifford/andopt commit | commitdiff | tree
2019-03-14 Clifford WolfImprove handling of and-with-1 and or-with-0 in opt_exp... commit | commitdiff | tree
2019-03-14 Clifford WolfMerge pull request #872 from YosysHQ/clifford/pmuxfix commit | commitdiff | tree
2019-03-14 Clifford WolfImprove handling of "full_case" attributes commit | commitdiff | tree
2019-03-14 Clifford WolfFix a syntax bug in ilang backend related to process... commit | commitdiff | tree
2019-03-14 Clifford WolfMerge 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 WolfMerge pull request #868 from YosysHQ/clifford/fixmem commit | commitdiff | tree
2019-03-12 Clifford WolfFix a bug in handling quotes in multi-cmd lines in... commit | commitdiff | tree
2019-03-12 Clifford WolfMerge pull request #866 from YosysHQ/clifford/idstuff commit | commitdiff | tree
2019-03-12 Clifford WolfRemove ice40/cells_sim.v hack to avoid warning for... commit | commitdiff | tree
2019-03-12 Clifford WolfImprove handling of memories used in mem index expressi... commit | commitdiff | tree
2019-03-12 Clifford WolfRemove outdated "blocking assignment to memory" warning commit | commitdiff | tree
2019-03-12 Clifford WolfOnly set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for... commit | commitdiff | tree
2019-03-11 Clifford WolfImprove determinism of IdString DB for similar scripts commit | commitdiff | tree
2019-03-11 Eddie HungMerge pull request #864 from YosysHQ/svalabelfix commit | commitdiff | tree
2019-03-11 Clifford WolfAdd ENABLE_GLOB Makefile switch commit | commitdiff | tree
2019-03-10 Clifford WolfFix handling of cases that look like sva labels, fixes... commit | commitdiff | tree
2019-03-09 Clifford WolfFix typo in ice40_braminit help msg commit | commitdiff | tree
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit commit | commitdiff | tree
2019-03-09 Clifford WolfFix signed $shift/$shiftx handling in write_smt2 commit | commitdiff | tree
2019-03-09 Clifford WolfAdd $dffsr support to async2sync commit | commitdiff | tree
2019-03-09 Clifford WolfMerge pull request #858 from YosysHQ/clifford/svalabels commit | commitdiff | tree
2019-03-09 Clifford WolfMerge pull request #861 from YosysHQ/verific_chparam commit | commitdiff | tree
2019-03-09 Clifford WolfAlso add support for labels on sva module items, fixes... commit | commitdiff | tree
2019-03-09 Eddie HungUpdate help message for -chparam commit | commitdiff | tree
2019-03-09 Eddie HungAdd -chparam option to verific command commit | commitdiff | tree
2019-03-09 Eddie HungFix spelling commit | commitdiff | tree
2019-03-08 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys commit | commitdiff | tree
2019-03-08 Clifford WolfFix handling of task output ports in clocked always... commit | commitdiff | tree
2019-03-07 Sylvain Munautice40: Run ice40_braminit pass by default commit | commitdiff | tree
2019-03-07 Sylvain Munautice40: Add ice40_braminit pass to allow initialization... commit | commitdiff | tree
2019-03-07 Clifford WolfMerge pull request #856 from kprasadvnsi/master commit | commitdiff | tree
2019-03-07 Clifford WolfUse SVA label in smt export if available commit | commitdiff | tree
2019-03-07 Clifford WolfAdd support for SVA labels in read_verilog commit | commitdiff | tree
2019-03-07 Clifford WolfAdd hack for handling SVA labels via Verific commit | commitdiff | tree
2019-03-07 Clifford WolfAdd link to SF2 / igloo2 macro library guide commit | commitdiff | tree
next