projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixed undeclared "count" in GP_COUNT14_ADV
[yosys.git]
/
backends
/
2017-08-04
Clifford Wolf
Add "yosys-smtbmc --smtc-init --smtc-top --noinit"
tree
|
commitdiff
2017-07-21
Clifford Wolf
Add verilator support to testbenches generated by yosys...
tree
|
commitdiff
2017-07-12
Clifford Wolf
Generate FSM-style testbenches in smtbmc
tree
|
commitdiff
2017-07-11
Clifford Wolf
Fix the fixed handling of x-bits in EDIF back-end
tree
|
commitdiff
2017-07-11
Clifford Wolf
Fix handling of x-bits in EDIF back-end
tree
|
commitdiff
2017-07-10
Clifford Wolf
Add attributes and parameter support to JSON front-end
tree
|
commitdiff
2017-07-07
Clifford Wolf
Change s/asserts/assertions/ in yosys-smtbmc log messages
tree
|
commitdiff
2017-07-07
Clifford Wolf
Add "yosys-smtbmc --presat"
tree
|
commitdiff
2017-07-05
Clifford Wolf
Fix generation of multiple outputs for same AIG node...
tree
|
commitdiff
2017-07-05
Clifford Wolf
Add write_table command
tree
|
commitdiff
2017-07-03
Clifford Wolf
Merge pull request #352 from rqou/master
tree
|
commitdiff
2017-07-03
Clifford Wolf
Remove unneeded delays in smtbmc vlogtb
tree
|
commitdiff
2017-07-03
Clifford Wolf
Include output ports with constant driver in AIGER...
tree
|
commitdiff
2017-07-01
Clifford Wolf
Add "yosys-smtbmc --vlogtb-top"
tree
|
commitdiff
2017-07-01
Clifford Wolf
Fix smtbmc vlogtb bug in $anyseq handling
tree
|
commitdiff
2017-06-07
Clifford Wolf
Fix generation of vlogtb output in yosys-smtbmc for...
tree
|
commitdiff
2017-05-30
Clifford Wolf
Fix AIGER back-end for multiple symbols per input/latch...
tree
|
commitdiff
2017-05-28
Clifford Wolf
Improve write_aiger handling of unconnected nets and...
tree
|
commitdiff
2017-05-27
Clifford Wolf
Change default smt2 solver to yices (Yices 2 has switch...
tree
|
commitdiff
2017-05-23
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-05-17
Clifford Wolf
Add workaround for CBMC bug to SimpleC back-end
tree
|
commitdiff
2017-05-17
Clifford Wolf
Add $_ANDNOT_ and $_ORNOT_ gates
tree
|
commitdiff
2017-05-16
Clifford Wolf
Add <modname>_init() function generator to simpleC...
tree
|
commitdiff
2017-05-16
Clifford Wolf
Improve simplec back-end
tree
|
commitdiff
2017-05-15
Clifford Wolf
Improve simplec back-end
tree
|
commitdiff
2017-05-14
Clifford Wolf
Improve simplec back-end
tree
|
commitdiff
2017-05-13
Clifford Wolf
Improve simplec back-end
tree
|
commitdiff
2017-05-12
Clifford Wolf
Improve simplec back-end
tree
|
commitdiff
2017-05-12
Clifford Wolf
Added support for more gate types to simplec back-end
tree
|
commitdiff
2017-05-12
Clifford Wolf
Add first draft of simple C back-end
tree
|
commitdiff
2017-05-08
Clifford Wolf
Fix boolector support in yosys-smtbmc
tree
|
commitdiff
2017-03-20
Clifford Wolf
Add "write_smt2 -stdt" mode
tree
|
commitdiff
2017-03-19
Clifford Wolf
Add generation of logic cells to EDIF back-end runtest.py
tree
|
commitdiff
2017-03-19
Clifford Wolf
Fix EDIF: portRef member 0 is always the MSB bit
tree
|
commitdiff
2017-03-18
Clifford Wolf
Add simple EDIF test case generator and checker
tree
|
commitdiff
2017-03-04
Clifford Wolf
Improve smt2 encodings of assert/assume/cover, better...
tree
|
commitdiff
2017-03-02
Clifford Wolf
Add write_aiger $anyseq support
tree
|
commitdiff
2017-02-28
Clifford Wolf
Use hex addresses in smtbmc vcd mem traces
tree
|
commitdiff
2017-02-26
Clifford Wolf
Add smtbmc support for memory vcd dumping
tree
|
commitdiff
2017-02-26
Clifford Wolf
Fix extra newline bug in write_smt2
tree
|
commitdiff
2017-02-26
Clifford Wolf
Fix bug in smtio unroll code
tree
|
commitdiff
2017-02-26
Clifford Wolf
Fix assert checking in "yosys-smtbmc -c --append"
tree
|
commitdiff
2017-02-26
Clifford Wolf
Improve (and fix for stbv mode) SMT2 memory API
tree
|
commitdiff
2017-02-25
Clifford Wolf
Add support for "yosys-smtbmc -c --append"
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'klammerj-master'
tree
|
commitdiff
2017-02-25
Clifford Wolf
Improve "write_edif" help message
tree
|
commitdiff
2017-02-25
Clifford Wolf
Move EdifNames out of double-private namespace
tree
|
commitdiff
2017-02-25
Clifford Wolf
Clean up edif code, swap bit indexing of "upto" ports
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-02-25
Clifford Wolf
Add $live and $fair support to AIGER back-end.
tree
|
commitdiff
2017-02-24
Clifford Wolf
Merge pull request #322 from azonenberg/master
tree
|
commitdiff
2017-02-24
Clifford Wolf
Add "write_smt2 -stbv"
tree
|
commitdiff
2017-02-24
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-24
Clifford Wolf
Add SMT2 statebv mode (inactive for now)
tree
|
commitdiff
2017-02-24
Johann Klammer
Did as you requested, /but/...
tree
|
commitdiff
2017-02-23
Johann Klammer
add options for edif flavors
tree
|
commitdiff
2017-02-19
Clifford Wolf
Add "yosys-smtbmc -S <opt>"
tree
|
commitdiff
2017-02-14
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-14
Clifford Wolf
Add warning about x/z bits left unconnected in EDIF...
tree
|
commitdiff
2017-02-14
Clifford Wolf
Merge pull request #313 from azidar/bugfix-assign-wmask
tree
|
commitdiff
2017-02-13
Adam Izraelevitz
More progress on Firrtl backend.
tree
|
commitdiff
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
tree
|
commitdiff
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-04
Clifford Wolf
Add assert check in "yosys-smtbmc -c"
tree
|
commitdiff
2017-02-04
Clifford Wolf
Improve yosys-smtbmc cover() support
tree
|
commitdiff
2017-02-04
Clifford Wolf
Partially implement cover() support in yosys-smtbmc
tree
|
commitdiff
2017-02-04
Clifford Wolf
Further improve cover() support
tree
|
commitdiff
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
tree
|
commitdiff
2017-01-30
Clifford Wolf
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...
tree
|
commitdiff
2017-01-28
Clifford Wolf
Add "yosys-smtbmc --aig-noheader" and AIGER mem init...
tree
|
commitdiff
2017-01-15
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-11
Clifford Wolf
Fix $initstate handling bug in yosys-smtbmc
tree
|
commitdiff
2017-01-05
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-04
Clifford Wolf
Implicitly set "yosys-smtbmc --noprogress" on windows
tree
|
commitdiff
2017-01-04
Clifford Wolf
Fixed "yosys-smtbmc --noprogress"
tree
|
commitdiff
2017-01-02
Clifford Wolf
Handle "always 1" like "always -1" in .smtc files
tree
|
commitdiff
2017-01-01
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-12-29
Clifford Wolf
Improved write_json help message
tree
|
commitdiff
2016-12-23
Andrew Zonenberg
Merge pull request #1 from azonenberg-hk/master
tree
|
commitdiff
2016-12-12
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-12-11
Clifford Wolf
Added $anyconst support to AIGER back-end
tree
|
commitdiff
2016-12-03
Clifford Wolf
Added $assert/$assume support to AIGER back-end
tree
|
commitdiff
2016-12-03
Clifford Wolf
Improved yosys-smtbmc default -t/--assume-skipped for...
tree
|
commitdiff
2016-12-01
Clifford Wolf
Added "yosys-smtbmc --aig"
tree
|
commitdiff
2016-12-01
Clifford Wolf
Added support for partially initialized regs to smt2...
tree
|
commitdiff
2016-12-01
Clifford Wolf
Added "write_aiger -zinit -symbols -vmap"
tree
|
commitdiff
2016-11-30
Clifford Wolf
Added "write_aiger" command
tree
|
commitdiff
2016-11-28
Clifford Wolf
Bugfix in smt2 back-end for pure checker modules
tree
|
commitdiff
2016-11-27
Clifford Wolf
Removed shebang line from smtio.py, fixes #279
tree
|
commitdiff
2016-11-23
Clifford Wolf
Added wire start_offset and upto handling BLIF back-end
tree
|
commitdiff
2016-11-22
Clifford Wolf
Merge pull request #274 from oldtopman/lcurses
tree
|
commitdiff
2016-11-22
Clifford Wolf
Added "yosys-smtbmc --append"
tree
|
commitdiff
2016-11-19
Clifford Wolf
Merge pull request #272 from AlexDaniel/master
tree
|
commitdiff
2016-11-19
Clifford Wolf
Merge pull request #271 from azidar/bugfix-assign-wmask
tree
|
commitdiff
2016-11-18
Adam Izraelevitz
Bugfix: include assign to write-mask
tree
|
commitdiff
2016-11-18
Clifford Wolf
More progress in FIRRTL back-end
tree
|
commitdiff
2016-11-17
Clifford Wolf
Progress in FIRRTL back-end
tree
|
commitdiff
2016-11-17
Clifford Wolf
Added first draft of FIRRTL back-end
tree
|
commitdiff
2016-11-16
Clifford Wolf
Cleanups and fixed in write_verilog regarding reg init
tree
|
commitdiff
next