projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #746 from Icenowy/anlogic-dram
[yosys.git]
/
backends
/
2018-12-17
Clifford Wolf
Merge pull request #746 from Icenowy/anlogic-dram
tree
|
commitdiff
2018-12-17
Clifford Wolf
Merge pull request #742 from whitequark/changelog
tree
|
commitdiff
2018-12-17
Clifford Wolf
Merge pull request #741 from whitequark/ilang_slice_sigspec
tree
|
commitdiff
2018-12-17
Clifford Wolf
Merge pull request #744 from whitequark/write_verilog_...
tree
|
commitdiff
2018-12-16
whitequark
write_verilog: handle the $shift cell.
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
tree
|
commitdiff
2018-12-16
whitequark
write_verilog: add a missing newline.
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #738 from smunaut/issue_737
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #735 from daveshah1/trifixes
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #734 from grahamedgecombe/fix-shuffl...
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #730 from smunaut/ffssr_dont_touch
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #729 from whitequark/write_verilog_i...
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #725 from olofk/ram4k-init
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #714 from daveshah1/abc_preserve_naming
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #723 from whitequark/synth_ice40_map...
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #722 from whitequark/rename_src
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #720 from whitequark/master
tree
|
commitdiff
2018-12-10
Clifford Wolf
Add yosys-smtbmc support for btor witness
tree
|
commitdiff
2018-12-08
Clifford Wolf
Add "yosys-smtbmc --btorwit" skeleton
tree
|
commitdiff
2018-12-08
Clifford Wolf
Fix btor init value handling
tree
|
commitdiff
2018-12-07
whitequark
write_verilog: correctly map RTLIL `sync init`.
tree
|
commitdiff
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
tree
|
commitdiff
2018-11-12
Clifford Wolf
Add "write_aiger -I -O -B"
tree
|
commitdiff
2018-11-12
Clifford Wolf
Merge pull request #695 from daveshah1/ecp5_bb
tree
|
commitdiff
2018-11-07
Clifford Wolf
Merge pull request #693 from YosysHQ/rlimit
tree
|
commitdiff
2018-11-07
Clifford Wolf
Limit stack size to 16 MB on Darwin
tree
|
commitdiff
2018-11-06
Clifford Wolf
Run solver in non-incremental mode whem smtio.py is...
tree
|
commitdiff
2018-11-06
Clifford Wolf
Fix for improved smtio.py rlimit code
tree
|
commitdiff
2018-11-06
Clifford Wolf
Improve stack rlimit code in smtio.py
tree
|
commitdiff
2018-11-05
Clifford Wolf
Merge pull request #691 from arjenroodselaar/stacksize
tree
|
commitdiff
2018-11-05
Arjen Roodselaar
Use conservative stack size for SMT2 on MacOS
tree
|
commitdiff
2018-11-04
Clifford Wolf
Add proper error message for when smtbmc "append" fails
tree
|
commitdiff
2018-11-01
Clifford Wolf
Add support for signed $shift/$shiftx in smt2 back-end
tree
|
commitdiff
2018-10-19
Clifford Wolf
Merge pull request #672 from daveshah1/fix_bram
tree
|
commitdiff
2018-10-19
Clifford Wolf
Merge pull request #671 from rafaeltp/master
tree
|
commitdiff
2018-10-18
rafaeltp
adding offset info to memories
tree
|
commitdiff
2018-10-18
rafaeltp
adding offset info to memories
tree
|
commitdiff
2018-10-18
Clifford Wolf
Merge pull request #659 from rubund/sv_interfaces
tree
|
commitdiff
2018-10-18
Clifford Wolf
Merge pull request #657 from mithro/xilinx-vpr
tree
|
commitdiff
2018-10-18
Clifford Wolf
Merge pull request #664 from tklam/ignore-verilog-protect
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #660 from tklam/parse-liberty-detect...
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #663 from aman-goel/master
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #658 from daveshah1/ecp5_bram
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #638 from udif/pr_reg_wire_error
tree
|
commitdiff
2018-10-16
Clifford Wolf
Merge branch 'yosys-0.8-rc'
tree
|
commitdiff
2018-10-15
Aman Goel
Minor update
tree
|
commitdiff
2018-10-13
tklam
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2018-10-05
Clifford Wolf
Merge pull request #651 from ARandomOWL/stdcells_fix
tree
|
commitdiff
2018-10-05
Clifford Wolf
Add "write_edif -attrprop"
tree
|
commitdiff
2018-10-02
Clifford Wolf
Merge pull request #645 from daveshah1/ecp5_dram_fix
tree
|
commitdiff
2018-10-01
Aman Goel
Update to .smv backend
tree
|
commitdiff
2018-10-01
Aman Goel
Merge pull request #4 from YosysHQ/master
tree
|
commitdiff
2018-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/mmicko...
tree
|
commitdiff
2018-09-21
Miodrag Milanovic
added prefix to FDirection constants, fixing windows...
tree
|
commitdiff
2018-09-19
Clifford Wolf
Merge pull request #633 from mmicko/master
tree
|
commitdiff
2018-09-19
Clifford Wolf
Merge pull request #631 from acw1251/master
tree
|
commitdiff
2018-09-18
acw1251
Fixed typo in "verilog_write" help message
tree
|
commitdiff
2018-09-17
Udi Finkelstein
Merge branch 'master' into pr_reg_wire_error
tree
|
commitdiff
2018-09-14
Clifford Wolf
Merge pull request #625 from aman-goel/master
tree
|
commitdiff
2018-09-05
Clifford Wolf
Add $lut support to Verilog back-end
tree
|
commitdiff
2018-08-28
Clifford Wolf
Merge pull request #618 from ucb-bar/firrtl+modules...
tree
|
commitdiff
2018-08-27
Jim Lawson
Merge branch 'master' into firrtl+modules+shiftfixes
tree
|
commitdiff
2018-08-27
Jim Lawson
Remove unused functions.
tree
|
commitdiff
2018-08-23
Jim Lawson
Add support for module instances.
tree
|
commitdiff
2018-08-22
Jim Lawson
Merge pull request #1 from YosysHQ/master
tree
|
commitdiff
2018-08-18
Aman Goel
Merge pull request #3 from YosysHQ/master
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #573 from cr1901/msys-64
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #591 from hzeller/virtual-override
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #590 from hzeller/remaining-file...
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #576 from cr1901/no-resource
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #592 from japm48/master
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #513 from udif/pr_reg_wire_error
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #562 from udif/pr_fix_illegal_port_decl
tree
|
commitdiff
2018-08-14
Clifford Wolf
Fix use of signed integers in JSON back-end
tree
|
commitdiff
2018-08-14
Clifford Wolf
Merge pull request #602 from litghost/add_eblif_extension
tree
|
commitdiff
2018-08-08
Clifford Wolf
Merge pull request #596 from litghost/extend_blif_parser
tree
|
commitdiff
2018-08-06
Clifford Wolf
Merge pull request #600 from jpathy/patch-1
tree
|
commitdiff
2018-08-06
jpathy
Use `realpath`
tree
|
commitdiff
2018-07-21
Henner Zeller
Consistent use of 'override' for virtual methods in...
tree
|
commitdiff
2018-07-06
William D. Jones
Gate POSIX-only signals and resource module to only...
tree
|
commitdiff
2018-07-04
Aman Goel
Merge branch 'YosysHQ-master'
tree
|
commitdiff
2018-07-04
Aman Goel
Merging with official repo
tree
|
commitdiff
2018-06-20
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2018-06-20
Clifford Wolf
Merge pull request #572 from q3k/q3k/fix-protobuf-build
tree
|
commitdiff
2018-06-20
Sergiusz Bazanski
Fix protobuf build
tree
|
commitdiff
2018-06-19
Clifford Wolf
Merge pull request #571 from q3k/q3k/protobuf-backend
tree
|
commitdiff
2018-06-19
Serge Bazanski
Add Protobuf backend
tree
|
commitdiff
2018-05-04
Clifford Wolf
Merge pull request #537 from mithro/yosys-vpr
tree
|
commitdiff
2018-04-22
Clifford Wolf
Add $dlatch support to write_verilog
tree
|
commitdiff
2018-04-15
Clifford Wolf
Add "write_blif -inames -iattr"
tree
|
commitdiff
2018-04-04
Clifford Wolf
Add smtio.py support for parsing SMT2 (_ bvX n) syntax...
tree
|
commitdiff
2018-04-04
Clifford Wolf
Fixed -stbv handling in SMT2 back-end
tree
|
commitdiff
2018-03-29
Clifford Wolf
Add smtio status msgs when --progress is inactive
tree
|
commitdiff
2018-03-29
Clifford Wolf
Bugfix in smtio.py VCD file generator
tree
|
commitdiff
2018-03-27
Clifford Wolf
Merge pull request #515 from edcote/patch-1
tree
|
commitdiff
2018-03-27
Clifford Wolf
Add $mem support to SMT2 clock tagging
tree
|
commitdiff
2018-03-17
Clifford Wolf
Improve yosys-smtbmc log output and error handling
tree
|
commitdiff
2018-03-17
Clifford Wolf
Improve handling of invalid check-sat result in smtio.py
tree
|
commitdiff
next