projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Update CHANGLELOG
[yosys.git]
/
backends
/
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-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
2018-03-08
Clifford Wolf
Remove debug prints from yosys-smtbmc VCD writer
tree
|
commitdiff
2018-03-07
Clifford Wolf
Check results of (check-sat) in yosys-smtbmc
tree
|
commitdiff
2018-03-05
Clifford Wolf
Imporove yosys-smtbmc error handling, Improve VCD output
tree
|
commitdiff
2018-03-04
Clifford Wolf
Improve SMT2 encoding of $reduce_{and,or,bool}
tree
|
commitdiff
2018-03-04
Clifford Wolf
Fix a hangup in yosys-smtbmc error handling
tree
|
commitdiff
2018-03-03
Clifford Wolf
Improved error handling in yosys-smtbmc
tree
|
commitdiff
2018-03-03
Clifford Wolf
Terminate running SMT solver when smtbmc is terminated
tree
|
commitdiff
2018-03-03
Clifford Wolf
Fix smtbmc smtc/aiw parser for wire names containing []
tree
|
commitdiff
2018-03-01
Clifford Wolf
Mangle names with square brackets in VCD files to work...
tree
|
commitdiff
2018-02-26
Clifford Wolf
Small fixes and improvements in $allconst/$allseq handling
tree
|
commitdiff
2018-02-23
Clifford Wolf
Merge branch 'forall'
tree
|
commitdiff
2018-02-23
Clifford Wolf
Add smtbmc support for exist-forall problems
tree
|
commitdiff
2018-02-20
Clifford Wolf
Add support for mockup clock signals in yosys-smtbmc...
tree
|
commitdiff
2018-02-08
Clifford Wolf
Fix handling of zero-length cell connections in SMT2...
tree
|
commitdiff
2018-02-03
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2018-02-03
Clifford Wolf
Merge pull request #488 from azonenberg/for_clifford
tree
|
commitdiff
2018-02-03
Clifford Wolf
Fixed gcc 7.2 "statement will never be executed" warning
tree
|
commitdiff
2018-01-29
Clifford Wolf
Fix smtio.py for large SMT2 S-expressions
tree
|
commitdiff
2018-01-18
Clifford Wolf
Move user-provided smt2 info stmts to the top of the...
tree
|
commitdiff
2017-12-24
Clifford Wolf
Add "no driver for signal bit" error msg to btor back-end
tree
|
commitdiff
2017-12-17
Clifford Wolf
Simple fix BTOR memory encoding
tree
|
commitdiff
2017-12-17
Clifford Wolf
Improve BTOR memory encoding
tree
|
commitdiff
2017-12-15
Clifford Wolf
Merge branch 'btor-ng'
tree
|
commitdiff
2017-12-15
Clifford Wolf
Add array support to btor back-end
tree
|
commitdiff
2017-12-14
Clifford Wolf
Add $anyconst/$anyseq support to btor back-end
tree
|
commitdiff
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-12-14
Clifford Wolf
Add yosys-smtbmc VCD writer support for memories with...
tree
|
commitdiff
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-12-14
Clifford Wolf
Add smt2 back-end support for async write memories
tree
|
commitdiff
2017-12-12
Clifford Wolf
Add "write_btor -s" mode
tree
|
commitdiff
2017-12-12
Clifford Wolf
Add state initval handling to btor back-end
tree
|
commitdiff
2017-12-12
Clifford Wolf
Add btor back-end support for 'x' constants
tree
|
commitdiff
2017-12-11
Clifford Wolf
Add btor $shift/$shiftx support
tree
|
commitdiff
2017-12-10
Clifford Wolf
Fix btor back-end shift handling
tree
|
commitdiff
2017-12-10
Clifford Wolf
Add support for $pmux in btor back-end
tree
|
commitdiff
2017-12-10
Clifford Wolf
Add support for more cell types to btor back-end
tree
|
commitdiff
2017-12-10
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-12-09
Clifford Wolf
Fix btor concat
tree
|
commitdiff
2017-12-09
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-12-01
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-11-28
Clifford Wolf
Merge pull request #462 from daveshah1/up5k
tree
|
commitdiff
2017-11-27
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
tree
|
commitdiff
2017-11-27
Clifford Wolf
Fixed "yosys-smtbmc -g" handling of no solution
tree
|
commitdiff
2017-11-24
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-11-24
Clifford Wolf
Bugfixes in new BTOR back-end
tree
|
commitdiff
2017-11-24
Clifford Wolf
Merge pull request #446 from mithro/travis-rework
tree
|
commitdiff
2017-11-23
Clifford Wolf
Progress in new BTOR back-end
tree
|
commitdiff
2017-11-23
Clifford Wolf
Progress in new BTOR back-end
tree
|
commitdiff
2017-11-23
Clifford Wolf
Progress in new BTOR back-end
tree
|
commitdiff
2017-11-23
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-11-23
Clifford Wolf
Progress with new BTOR backend
tree
|
commitdiff
2017-11-23
Clifford Wolf
Add skeleton for new BTOR back-end
tree
|
commitdiff
2017-11-23
Clifford Wolf
Remove old BTOR back-end
tree
|
commitdiff
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-10-29
Clifford Wolf
Fix SMT2 handling of initstate in sub-modules
tree
|
commitdiff
2017-10-25
Clifford Wolf
Improve smtio performance by using reader thread, not...
tree
|
commitdiff
next