projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-04-19
Clifford Wolf
Import initial pmux2shiftx from eddieh
commit
|
commitdiff
|
tree
2019-04-19
Clifford Wolf
Improve "show" handling of 0/1/X/Z padding
commit
|
commitdiff
|
tree
2019-04-19
Clifford Wolf
Change "ne" to "neq" in btor2 output
commit
|
commitdiff
|
tree
2019-04-19
Clifford Wolf
Add tests/aiger/.gitignore
commit
|
commitdiff
|
tree
2019-04-19
Eddie Hung
Spelling fixes
commit
|
commitdiff
|
tree
2019-04-18
Clifford Wolf
Update to ABC 3709744
commit
|
commitdiff
|
tree
2019-04-18
Eddie Hung
Merge pull request #917 from YosysHQ/eddie/fix_retime
commit
|
commitdiff
|
tree
2019-04-18
Eddie Hung
Fix abc's remap_name to not ignore [^0-9] when extracti...
commit
|
commitdiff
|
tree
2019-04-18
Eddie Hung
ABC to call retime all the time
commit
|
commitdiff
|
tree
2019-04-18
Eddie Hung
Revert "synth_* with -retime option now calls abc with...
commit
|
commitdiff
|
tree
2019-04-18
Eddie Hung
Merge branch 'master' into eddie/fix_retime
commit
|
commitdiff
|
tree
2019-04-17
Clifford Wolf
Update to ABC d1b6413
commit
|
commitdiff
|
tree
2019-04-16
Eddie Hung
Merge pull request #939 from YosysHQ/revert895
commit
|
commitdiff
|
tree
2019-04-16
Eddie Hung
Revert #895
commit
|
commitdiff
|
tree
2019-04-16
Eddie Hung
Merge pull request #937 from YosysHQ/revert-932-eddie...
commit
|
commitdiff
|
tree
2019-04-16
Eddie Hung
Revert "Recognise default entry in case even if all...
commit
|
commitdiff
|
tree
2019-04-15
Eddie Hung
Merge pull request #936 from YosysHQ/README-fix-quotes
commit
|
commitdiff
|
tree
2019-04-15
whitequark
README: fix some incorrect quoting.
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-10
Eddie Hung
synth_* with -retime option now calls abc with -D 1...
commit
|
commitdiff
|
tree
2019-04-10
Eddie Hung
Revert "abc -dff now implies "-D 0" otherwise retiming...
commit
|
commitdiff
|
tree
2019-04-10
Eddie Hung
Revert ""&nf -D 0" fails => use "-D 1" instead"
commit
|
commitdiff
|
tree
2019-04-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
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
Eddie Hung
Add retime test
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
Fix S0 -> S1
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
Move techamp t:$_DFF_?N? to before abc call
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
Retry
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
"&nf -D 0" fails => use "-D 1" instead
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
Resolve @daveshah1 comment, update synth_xilinx help
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
synth_xilinx to techmap FFs after abc call, otherwise...
commit
|
commitdiff
|
tree
2019-04-05
Eddie Hung
abc -dff now implies "-D 0" otherwise retiming doesn...
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
next