projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge https://github.com/YosysHQ/yosys into read_aiger
[yosys.git]
/
backends
/
smt2
/
smt2.cc
2019-03-19
Eddie Hung
Merge https://github.com/YosysHQ/yosys into read_aiger
blob
|
commitdiff
|
raw
2019-03-09
Clifford Wolf
Merge pull request #859 from smunaut/ice40_braminit
blob
|
commitdiff
|
raw
2019-03-09
Clifford Wolf
Fix signed $shift/$shiftx handling in write_smt2
blob
|
commitdiff
|
raw
2019-03-09
Clifford Wolf
Merge pull request #858 from YosysHQ/clifford/svalabels
blob
|
commitdiff
|
raw
|
diff to current
2019-03-07
Clifford Wolf
Use SVA label in smt export if available
blob
|
commitdiff
|
raw
|
diff to current
2019-02-28
Clifford Wolf
Merge pull request #794 from daveshah1/ecp5improve
blob
|
commitdiff
|
raw
|
diff to current
2019-02-28
Clifford Wolf
Merge pull request #827 from ucb-bar/firrtlfixes
blob
|
commitdiff
|
raw
|
diff to current
2019-02-28
Clifford Wolf
Merge pull request #833 from YosysHQ/clifford/fix831
blob
|
commitdiff
|
raw
|
diff to current
2019-02-28
Clifford Wolf
Fix smt2 code generation for partially initialized...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
blob
|
commitdiff
|
raw
|
diff to current
2018-11-12
Clifford Wolf
Merge pull request #695 from daveshah1/ecp5_bb
blob
|
commitdiff
|
raw
|
diff to current
2018-11-01
Clifford Wolf
Add support for signed $shift/$shiftx in smt2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2018-09-17
Udi Finkelstein
Merge branch 'master' into pr_reg_wire_error
blob
|
commitdiff
|
raw
|
diff to current
2018-08-22
Jim Lawson
Merge pull request #1 from YosysHQ/master
blob
|
commitdiff
|
raw
|
diff to current
2018-08-18
Aman Goel
Merge pull request #3 from YosysHQ/master
blob
|
commitdiff
|
raw
|
diff to current
2018-08-15
Clifford Wolf
Merge pull request #573 from cr1901/msys-64
blob
|
commitdiff
|
raw
|
diff to current
2018-08-15
Clifford Wolf
Merge pull request #591 from hzeller/virtual-override
blob
|
commitdiff
|
raw
|
diff to current
2018-08-15
Clifford Wolf
Merge pull request #513 from udif/pr_reg_wire_error
blob
|
commitdiff
|
raw
|
diff to current
2018-07-21
Henner Zeller
Consistent use of 'override' for virtual methods in...
blob
|
commitdiff
|
raw
|
diff to current
2018-04-04
Clifford Wolf
Fixed -stbv handling in SMT2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2018-03-27
Clifford Wolf
Merge pull request #515 from edcote/patch-1
blob
|
commitdiff
|
raw
|
diff to current
2018-03-27
Clifford Wolf
Add $mem support to SMT2 clock tagging
blob
|
commitdiff
|
raw
|
diff to current
2018-03-04
Clifford Wolf
Improve SMT2 encoding of $reduce_{and,or,bool}
blob
|
commitdiff
|
raw
|
diff to current
2018-02-23
Clifford Wolf
Merge branch 'forall'
blob
|
commitdiff
|
raw
|
diff to current
2018-02-23
Clifford Wolf
Add smtbmc support for exist-forall problems
blob
|
commitdiff
|
raw
|
diff to current
2018-02-20
Clifford Wolf
Add support for mockup clock signals in yosys-smtbmc...
blob
|
commitdiff
|
raw
|
diff to current
2018-02-08
Clifford Wolf
Fix handling of zero-length cell connections in SMT2...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Add yosys-smtbmc VCD writer support for memories with...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Merge branch 'master' into btor-ng
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Clifford Wolf
Add smt2 back-end support for async write memories
blob
|
commitdiff
|
raw
|
diff to current
2017-11-24
Clifford Wolf
Merge pull request #446 from mithro/travis-rework
blob
|
commitdiff
|
raw
|
diff to current
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-10-29
Clifford Wolf
Fix SMT2 handling of initstate in sub-modules
blob
|
commitdiff
|
raw
|
diff to current
2017-08-25
Clifford Wolf
Merge branch 'extract_fa'
blob
|
commitdiff
|
raw
|
diff to current
2017-08-25
Clifford Wolf
Fix bug in write_smt2 (export logic driving hierarchica...
blob
|
commitdiff
|
raw
|
diff to current
2017-06-07
Clifford Wolf
Fix generation of vlogtb output in yosys-smtbmc for...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-17
Clifford Wolf
Add $_ANDNOT_ and $_ORNOT_ gates
blob
|
commitdiff
|
raw
|
diff to current
2017-03-20
Clifford Wolf
Add "write_smt2 -stdt" mode
blob
|
commitdiff
|
raw
|
diff to current
2017-03-04
Clifford Wolf
Improve smt2 encodings of assert/assume/cover, better...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Fix extra newline bug in write_smt2
blob
|
commitdiff
|
raw
|
diff to current
2017-02-26
Clifford Wolf
Improve (and fix for stbv mode) SMT2 memory API
blob
|
commitdiff
|
raw
|
diff to current
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Merge pull request #322 from azonenberg/master
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Add "write_smt2 -stbv"
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-02-24
Clifford Wolf
Add SMT2 statebv mode (inactive for now)
blob
|
commitdiff
|
raw
|
diff to current
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2017-02-04
Clifford Wolf
Partially implement cover() support in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2017-02-04
Clifford Wolf
Further improve cover() support
blob
|
commitdiff
|
raw
|
diff to current
2016-12-01
Clifford Wolf
Added support for partially initialized regs to smt2...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-28
Clifford Wolf
Bugfix in smt2 back-end for pure checker modules
blob
|
commitdiff
|
raw
|
diff to current
2016-10-16
Clifford Wolf
cleanup in write_smt2 log messages (-bv and -mem are...
blob
|
commitdiff
|
raw
|
diff to current
2016-10-14
Clifford Wolf
Added $anyseq cell type
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Clifford Wolf
Added $ff and $_FF_ cell types
blob
|
commitdiff
|
raw
|
diff to current
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-18
Clifford Wolf
Improved handling of SMT2 logics in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-09-10
Clifford Wolf
fixed write_smt2 for (non-combinatorial) loops through...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-08
Clifford Wolf
smt2 mem init bugfix
blob
|
commitdiff
|
raw
|
diff to current
2016-09-08
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-09-08
Clifford Wolf
yosys-smtbmc meminit support
blob
|
commitdiff
|
raw
|
diff to current
2016-09-04
Clifford Wolf
Minor bugfix in write_smt2
blob
|
commitdiff
|
raw
|
diff to current
2016-09-03
Clifford Wolf
Added boolector support to yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Clifford Wolf
Added $anyconst support to yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Clifford Wolf
Fixed memory bug in write_smt2
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Clifford Wolf
Made "write_smt2 -bv -mem" default, added "write_smt2...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-30
Clifford Wolf
Added $anyconst support to smt2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2016-08-26
Clifford Wolf
Merge pull request #215 from frznchckn/to_upstream
blob
|
commitdiff
|
raw
|
diff to current
2016-08-26
Clifford Wolf
Various fixes and improvements in smt2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2016-08-21
Clifford Wolf
yosys-smtbmc: improved --dump-vlogtb handling of memories
blob
|
commitdiff
|
raw
|
diff to current
2016-08-20
Clifford Wolf
Deprecated "write_smt2 -regs" (by default on now),...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-17
Clifford Wolf
Added printing of code loc of failed asserts to yosys...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-30
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-07-27
Clifford Wolf
Added $initstate support to smtbmc flow
blob
|
commitdiff
|
raw
|
diff to current
2016-07-11
Clifford Wolf
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
blob
|
commitdiff
|
raw
|
diff to current
2016-07-10
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-07-10
Clifford Wolf
Support for hierarchical designs in smt2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-23
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2016-04-21
Clifford Wolf
Added "yosys -D" feature
blob
|
commitdiff
|
raw
|
diff to current
2015-12-07
Clifford Wolf
Merge pull request #108 from cseed/master
blob
|
commitdiff
|
raw
|
diff to current
2015-10-25
Clifford Wolf
Import more std:: stuff into Yosys namespace
blob
|
commitdiff
|
raw
|
diff to current
2015-10-24
Clifford Wolf
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-15
Clifford Wolf
Improvements in yosys-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Clifford Wolf
Added write_smt2 -wires
blob
|
commitdiff
|
raw
|
diff to current
2015-08-31
Clifford Wolf
Added "yosys-smt2-wire" tag support to smt2 back-end
blob
|
commitdiff
|
raw
|
diff to current
2015-08-15
Clifford Wolf
Fixed generation of smt2 concat statements
blob
|
commitdiff
|
raw
|
diff to current
2015-08-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
blob
|
commitdiff
|
raw
|
diff to current
2015-08-12
Clifford Wolf
Added "write_smt2 -regs"
blob
|
commitdiff
|
raw
|
diff to current
2015-08-09
Clifford Wolf
Use MEMID as name for $mem cell
blob
|
commitdiff
|
raw
|
diff to current
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
blob
|
commitdiff
|
raw
|
diff to current
2015-06-14
Clifford Wolf
Removed debug code from write_smt2
blob
|
commitdiff
|
raw
|
diff to current
2015-06-14
Clifford Wolf
Added write_smt2 -mem
blob
|
commitdiff
|
raw
|
diff to current
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
blob
|
commitdiff
|
raw
|
diff to current
2015-02-26
Clifford Wolf
Added $assume support to write_smt2
blob
|
commitdiff
|
raw
|
diff to current
2015-02-22
Clifford Wolf
Minor "write_smt2" help msg change
blob
|
commitdiff
|
raw
|
diff to current
2015-02-22
Clifford Wolf
Added "<mod>_a" and "<mod>_i" to write_smt2 output
blob
|
commitdiff
|
raw
|
diff to current
2014-12-25
Clifford Wolf
Various fixes and improvements in "write_smt2 -bv"
blob
|
commitdiff
|
raw
|
diff to current
2014-12-25
Clifford Wolf
Various fixes and improvements in write_smt2
blob
|
commitdiff
|
raw
|
diff to current
next