projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-01-02
Clifford Wolf
Merge pull request #769 from whitequark/typos
commit
|
commitdiff
|
tree
2019-01-02
whitequark
Fix typographical and grammatical errors and inconsiste...
commit
|
commitdiff
|
tree
2019-01-01
Clifford Wolf
Merge pull request #768 from whitequark/opt_lut_elim
commit
|
commitdiff
|
tree
2018-12-31
whitequark
opt_lut: eliminate LUTs evaluating to constants or...
commit
|
commitdiff
|
tree
2018-12-31
Clifford Wolf
Fix handling of (* keep *) wires in wreduce
commit
|
commitdiff
|
tree
2018-12-31
Clifford Wolf
Merge pull request #766 from Icenowy/anlogic-latches
commit
|
commitdiff
|
tree
2018-12-29
Larry Doolittle
Fix 7 instances of add_share_file to add_gen_share_file
commit
|
commitdiff
|
tree
2018-12-29
Larry Doolittle
Squelch a little more trailing whitespace
commit
|
commitdiff
|
tree
2018-12-25
Icenowy Zheng
anlogic: add latch cells
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Merge pull request #761 from whitequark/proc_clean_partial
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Add "read_ilang -[no]overwrite"
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-12-23
whitequark
proc_clean: remove any empty cases if all cases use...
commit
|
commitdiff
|
tree
2018-12-22
Clifford Wolf
Merge pull request #757 from whitequark/manual_mem
commit
|
commitdiff
|
tree
2018-12-22
whitequark
proc_clean: remove any empty cases at the end of the...
commit
|
commitdiff
|
tree
2018-12-21
whitequark
manual: make description of $meminit ports match reality.
commit
|
commitdiff
|
tree
2018-12-21
Clifford Wolf
Merge pull request #758 from whitequark/tcl_script_args
commit
|
commitdiff
|
tree
2018-12-21
Clifford Wolf
Merge pull request #759 from whitequark/memory_collect_...
commit
|
commitdiff
|
tree
2018-12-21
whitequark
memory_collect: do not truncate 'x from \INIT.
commit
|
commitdiff
|
tree
2018-12-20
whitequark
manual: fix typos.
commit
|
commitdiff
|
tree
2018-12-20
whitequark
tcl: add support for passing arguments to scripts.
commit
|
commitdiff
|
tree
2018-12-20
whitequark
manual: document $meminit cell and memory_* passes.
commit
|
commitdiff
|
tree
2018-12-19
Clifford Wolf
Merge pull request #752 from Icenowy/anlogic-lut-cost
commit
|
commitdiff
|
tree
2018-12-19
Clifford Wolf
Merge pull request #753 from Icenowy/anlogic-makefile-fix
commit
|
commitdiff
|
tree
2018-12-19
Clifford Wolf
Merge pull request #749 from Icenowy/anlogic-dram-fix
commit
|
commitdiff
|
tree
2018-12-19
Icenowy Zheng
anlogic: fix Makefile.inc
commit
|
commitdiff
|
tree
2018-12-19
Icenowy Zheng
Anlogic: let LUT5/6 have more cost than LUT4-
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Minor style fixes
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Merge pull request #748 from makaimann/add-btor-ops
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Merge pull request #751 from daveshah1/fix_589
commit
|
commitdiff
|
tree
2018-12-18
David Shah
memory_dff: Fix typo when checking init value
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Fix segfault in AST simplify
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Improve src tagging (using names and attrs) of cells...
commit
|
commitdiff
|
tree
2018-12-18
Icenowy Zheng
anlogic: fix dbits of Anlogic Eagle DRAM16X4
commit
|
commitdiff
|
tree
2018-12-17
makaimann
Add btor ops for $mul, $div, $mod and $concat
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #746 from Icenowy/anlogic-dram
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #742 from whitequark/changelog
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #741 from whitequark/ilang_slice_sigspec
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #744 from whitequark/write_verilog_...
commit
|
commitdiff
|
tree
2018-12-17
Icenowy Zheng
anlogic: add support for Eagle Distributed RAM
commit
|
commitdiff
|
tree
2018-12-17
Icenowy Zheng
Revert "Leave only real black box cells"
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #745 from YosysHQ/revert-714-abc_pre...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Revert "Proof-of-concept: preserve naming through ABC...
commit
|
commitdiff
|
tree
2018-12-16
whitequark
write_verilog: handle the $shift cell.
commit
|
commitdiff
|
tree
2018-12-16
whitequark
Update CHANGELOG.
commit
|
commitdiff
|
tree
2018-12-16
whitequark
read_ilang: allow slicing sigspecs.
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
commit
|
commitdiff
|
tree
2018-12-16
whitequark
select: print selection if a -assert-* flag causes...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Rename "fine:" label to "map:" in "synth_ice40"
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
commit
|
commitdiff
|
tree
2018-12-16
whitequark
write_verilog: add a missing newline.
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #738 from smunaut/issue_737
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #735 from daveshah1/trifixes
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #739 from whitequark/patch-1
commit
|
commitdiff
|
tree
2018-12-16
whitequark
Add .editorconfig file.
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Fix equiv_opt indenting
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #734 from grahamedgecombe/fix-shuffl...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #730 from smunaut/ffssr_dont_touch
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #729 from whitequark/write_verilog_i...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #725 from olofk/ram4k-init
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #714 from daveshah1/abc_preserve_naming
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #723 from whitequark/synth_ice40_map...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #722 from whitequark/rename_src
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #720 from whitequark/master
commit
|
commitdiff
|
tree
2018-12-14
Sylvain Munaut
verilog_parser: Properly handle recursion when processi...
commit
|
commitdiff
|
tree
2018-12-12
David Shah
deminout: Consider $tribuf cells
commit
|
commitdiff
|
tree
2018-12-12
David Shah
deminout: Don't demote constant-driven inouts to inputs
commit
|
commitdiff
|
tree
2018-12-11
Graham Edgecombe
memory_bram: Fix initdata bit order after shuffling
commit
|
commitdiff
|
tree
2018-12-10
Clifford Wolf
Add yosys-smtbmc support for btor witness
commit
|
commitdiff
|
tree
2018-12-08
Sylvain Munaut
ice40: Honor the "dont_touch" attribute in FFSSR pass
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Add "yosys-smtbmc --btorwit" skeleton
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Fix btor init value handling
commit
|
commitdiff
|
tree
2018-12-07
whitequark
write_verilog: correctly map RTLIL `sync init`.
commit
|
commitdiff
|
tree
2018-12-07
whitequark
equiv_opt: pass -D EQUIV when techmapping.
commit
|
commitdiff
|
tree
2018-12-07
whitequark
equiv_opt: new command, for verifying optimization...
commit
|
commitdiff
|
tree
2018-12-07
David Shah
Merge pull request #727 from whitequark/opt_lut
commit
|
commitdiff
|
tree
2018-12-07
whitequark
opt_lut: leave intact LUTs with cascade feeding module...
commit
|
commitdiff
|
tree
2018-12-07
whitequark
opt_lut: show original truth table for both cells.
commit
|
commitdiff
|
tree
2018-12-07
whitequark
opt_lut: add -limit option, for debugging misoptimizations.
commit
|
commitdiff
|
tree
2018-12-06
Olof Kindgren
Only use non-blocking assignments of SB_RAM40_4K for...
commit
|
commitdiff
|
tree
2018-12-06
David Shah
abc: Preserve naming through ABC using 'dress' command
commit
|
commitdiff
|
tree
2018-12-06
whitequark
synth_ice40: split `map_gates` off `fine`.
commit
|
commitdiff
|
tree
2018-12-06
Clifford Wolf
Add missing .gitignore
commit
|
commitdiff
|
tree
2018-12-06
Clifford Wolf
Bugfix in opt_expr handling of a<0 and a>=0
commit
|
commitdiff
|
tree
2018-12-06
Clifford Wolf
Verific updates
commit
|
commitdiff
|
tree
2018-12-05
whitequark
rename: add -src, for inferring names from source locat...
commit
|
commitdiff
|
tree
2018-12-05
whitequark
lut2mux: handle 1-bit INIT constant in $lut cells.
commit
|
commitdiff
|
tree
2018-12-05
whitequark
opt_lut: simplify type conversion. NFC.
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #709 from smunaut/issue_708
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #718 from whitequark/gate2lut
commit
|
commitdiff
|
tree
2018-12-05
whitequark
synth_ice40: add -noabc option, to use built-in LUT...
commit
|
commitdiff
|
tree
2018-12-05
whitequark
gate2lut: new techlib, for converting Yosys gates to...
commit
|
commitdiff
|
tree
2018-12-05
whitequark
Fix typo.
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #713 from Diego-HR/master
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #712 from mmicko/anlogic-support
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Rename opt_lut.cpp to opt_lut.cc
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #717 from whitequark/opt_lut
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #716 from whitequark/ice40_unlut
commit
|
commitdiff
|
tree
2018-12-05
whitequark
opt_lut: add -dlogic, to avoid disturbing logic such...
commit
|
commitdiff
|
tree
next