projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
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-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
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
2018-12-05
whitequark
opt_lut: always prefer to eliminate 1-LUTs.
commit
|
commitdiff
|
tree
2018-12-05
whitequark
opt_lut: collect and display statistics.
commit
|
commitdiff
|
tree
2018-12-05
whitequark
opt_lut: refactor to use a worker. NFC.
commit
|
commitdiff
|
tree
2018-12-05
whitequark
synth_ice40: add -relut option, to run ice40_unlut...
commit
|
commitdiff
|
tree
2018-12-05
whitequark
opt_lut: new pass, to combine LUTs for tighter packing.
commit
|
commitdiff
|
tree
2018-12-05
whitequark
Extract ice40_unlut pass from ice40_opt.
commit
|
commitdiff
|
tree
2018-12-05
Serge Bazanski
Merge pull request #719 from YosysHQ/q3k/flailing-aroun...
commit
|
commitdiff
|
tree
2018-12-05
Sergiusz Bazanski
travis/osx: fix, use clang instead of gcc
commit
|
commitdiff
|
tree
2018-12-04
Clifford Wolf
Fix typo
commit
|
commitdiff
|
tree
2018-12-04
Clifford Wolf
Merge pull request #702 from smunaut/min_ce_use
commit
|
commitdiff
|
tree
2018-12-04
Diego H
Changes in GoWin synth commands and ALU primitive support
commit
|
commitdiff
|
tree
2018-12-02
Miodrag Milanovic
Leave only real black box cells
commit
|
commitdiff
|
tree
2018-12-01
Miodrag Milanovic
Initial support for Anlogic FPGA
commit
|
commitdiff
|
tree
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
commit
|
commitdiff
|
tree
2018-11-29
Clifford Wolf
Improve ConstEval error handling for non-eval cell...
commit
|
commitdiff
|
tree
2018-11-27
Sylvain Munaut
ice40: Add option to only use CE if it'd be use by...
commit
|
commitdiff
|
tree
2018-11-27
Sylvain Munaut
dff2dffe: Add option for unmap to only remove DFFE...
commit
|
commitdiff
|
tree
2018-11-24
Sylvain Munaut
Make return value of $clog2 signed
commit
|
commitdiff
|
tree
2018-11-20
Clifford Wolf
Add iteration limit to "opt_muxtree"
commit
|
commitdiff
|
tree
2018-11-13
Clifford Wolf
Update ABC to git rev 2ddc57d
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Add "write_aiger -I -O -B"
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Merge pull request #697 from eddiehung/xilinx_ps7
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Merge pull request #695 from daveshah1/ecp5_bb
commit
|
commitdiff
|
tree
2018-11-11
Clifford Wolf
Update ABC to git rev 68da3cf
commit
|
commitdiff
|
tree
2018-11-10
Eddie Hung
Add support for Xilinx PS7 block
commit
|
commitdiff
|
tree
2018-11-09
Clifford Wolf
Set Verific flag vhdl_support_variable_slice=1
commit
|
commitdiff
|
tree
2018-11-09
David Shah
ecp5: Add 'fake' DCU parameters
commit
|
commitdiff
|
tree
2018-11-09
David Shah
ecp5: Add blackboxes for ancillary DCU cells
commit
|
commitdiff
|
tree
2018-11-09
Clifford Wolf
Merge pull request #696 from arjenroodselaar/verific_darwin
commit
|
commitdiff
|
tree
2018-11-08
Clifford Wolf
Fix "make ystests" to use correct Yosys binary
commit
|
commitdiff
|
tree
2018-11-08
Arjen Roodselaar
Use appropriate static libraries when building with...
commit
|
commitdiff
|
tree
2018-11-07
Clifford Wolf
Merge pull request #693 from YosysHQ/rlimit
commit
|
commitdiff
|
tree
2018-11-07
David Shah
ecp5: Adding some blackbox cells
commit
|
commitdiff
|
tree
2018-11-07
Clifford Wolf
Limit stack size to 16 MB on Darwin
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Merge pull request #694 from trcwm/dffmap_expr_fix
commit
|
commitdiff
|
tree
2018-11-06
Niels Moseley
DFFLIBMAP: changed 'missing pin' error into a warning...
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Run solver in non-incremental mode whem smtio.py is...
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Update ABC rev to 4d56acf
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Fix for improved smtio.py rlimit code
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Improve stack rlimit code in smtio.py
commit
|
commitdiff
|
tree
2018-11-05
Clifford Wolf
Allow square brackets in liberty identifiers
commit
|
commitdiff
|
tree
2018-11-05
Clifford Wolf
Merge pull request #691 from arjenroodselaar/stacksize
commit
|
commitdiff
|
tree
2018-11-05
Arjen Roodselaar
Use conservative stack size for SMT2 on MacOS
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Add warning for SV "restrict" without "property"
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Add proper error message for when smtbmc "append" fails
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Various indenting fixes in AST front-end (mostly space...
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Merge pull request #687 from trcwm/master
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Merge pull request #688 from ZipCPU/rosenfell
commit
|
commitdiff
|
tree
2018-11-03
ZipCPU
Make and dependent upon LSB only
commit
|
commitdiff
|
tree
2018-11-03
Niels Moseley
Liberty file newline handling is more relaxed. More...
commit
|
commitdiff
|
tree
2018-11-03
Niels Moseley
Report an error when a liberty file contains pin refere...
commit
|
commitdiff
|
tree
2018-11-01
Clifford Wolf
Do not generate "reg assigned in a continuous assignmen...
commit
|
commitdiff
|
tree
2018-11-01
Clifford Wolf
Add support for signed $shift/$shiftx in smt2 back-end
commit
|
commitdiff
|
tree
2018-10-31
Clifford Wolf
Merge branch 'igloo2'
commit
|
commitdiff
|
tree
2018-10-31
Clifford Wolf
Fix sf2 LUT interface
commit
|
commitdiff
|
tree
2018-10-31
Clifford Wolf
Basic SmartFusion2 and IGLOO2 synthesis support
commit
|
commitdiff
|
tree
2018-10-30
Clifford Wolf
Merge pull request #680 from jburgess777/fix-empty...
commit
|
commitdiff
|
tree
2018-10-28
Jon Burgess
Avoid assert when label is an empty string
commit
|
commitdiff
|
tree
2018-10-25
Clifford Wolf
Merge pull request #678 from whentze/master
commit
|
commitdiff
|
tree
2018-10-25
Clifford Wolf
Fix minor typo in error message
commit
|
commitdiff
|
tree
2018-10-25
Clifford Wolf
Merge pull request #679 from udif/pr_syntax_error
commit
|
commitdiff
|
tree
next