projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
greenpak4: Initial implementation of GP_SPI cell
[yosys.git]
/
backends
/
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
2016-11-03
Clifford Wolf
Added hex constant support to write_verilog
tree
|
commitdiff
2016-11-01
Clifford Wolf
Adde "write_verilog -renameprefix -v"
tree
|
commitdiff
2016-10-22
Clifford Wolf
Added avail params to ilang format, check module params...
tree
|
commitdiff
2016-10-19
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-10-18
Clifford Wolf
Ignore L_pi nets in "yosys-smtbmc --cex"
tree
|
commitdiff
2016-10-18
Clifford Wolf
Use init value "2" for all uninitialized FFs in BLIF...
tree
|
commitdiff
2016-10-17
Clifford Wolf
Added "yosys-smtbmc --cex <filename>"
tree
|
commitdiff
2016-10-16
Clifford Wolf
cleanup in write_smt2 log messages (-bv and -mem are...
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added $anyseq cell type
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added $global_clock verilog syntax support for creating...
tree
|
commitdiff
2016-10-11
Clifford Wolf
Added $ff and $_FF_ cell types
tree
|
commitdiff
2016-10-11
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-10-08
Clifford Wolf
Added smtc support for top-level state with [], [N...
tree
|
commitdiff
2016-10-03
Clifford Wolf
Bugfix in yosys-smtbmc --noincr
tree
|
commitdiff
2016-10-03
Clifford Wolf
yosys-smtbmc: ABC is a QF_BV solver
tree
|
commitdiff
2016-10-03
Clifford Wolf
Added "yosys-smtbmc --noincr"
tree
|
commitdiff
2016-10-02
Clifford Wolf
yosys-smtbmc: added smtc [...] support for cells
tree
|
commitdiff
2016-10-01
Clifford Wolf
Added "yosys-smtbmc -s abc"
tree
|
commitdiff
2016-09-24
Clifford Wolf
Minor improvements in yosys-smtbmc
tree
|
commitdiff
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
tree
|
commitdiff
2016-09-19
Clifford Wolf
Added yosys-smtbmc --noinfo and --dummy
tree
|
commitdiff
2016-09-18
Clifford Wolf
Improved handling of SMT2 logics in yosys-smtbmc
tree
|
commitdiff
2016-09-17
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-09-17
Clifford Wolf
yosys-smtbmc: added -i support smtc files
tree
|
commitdiff
2016-09-13
Clifford Wolf
Work-around for boolector bug
tree
|
commitdiff
2016-09-11
Clifford Wolf
Added missing :produce-models setting to smtio.py
tree
|
commitdiff
2016-09-10
Clifford Wolf
Minor improvements to smtio.py vcd writer
tree
|
commitdiff
2016-09-10
Clifford Wolf
fixed write_smt2 for (non-combinatorial) loops through...
tree
|
commitdiff
2016-09-08
Clifford Wolf
smt2 mem init bugfix
tree
|
commitdiff
2016-09-08
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-09-08
Clifford Wolf
yosys-smtbmc meminit support
tree
|
commitdiff
2016-09-07
Clifford Wolf
Bugfix in "yosys-smtbmc --unroll"
tree
|
commitdiff
2016-09-07
Clifford Wolf
Added "yosys-smtbmc --unroll"
tree
|
commitdiff
2016-09-05
Clifford Wolf
yosys-smtbmc: flush stdout after each log msg
tree
|
commitdiff
2016-09-04
Clifford Wolf
Minor bugfix in write_smt2
tree
|
commitdiff
2016-09-03
Clifford Wolf
Added boolector support to yosys-smtbmc
tree
|
commitdiff
2016-09-02
Clifford Wolf
Merge branch 'smtbmc-kmanfi'
tree
|
commitdiff
2016-09-02
Clifford Wolf
Don't re-create hex_dict for each value
tree
|
commitdiff
2016-09-02
Kaj Tuomi
More PEP 8 fixes.
tree
|
commitdiff
2016-09-02
Kaj Tuomi
Indentation and PEP 8 fixes. CamelCase and white space...
tree
|
commitdiff
2016-09-02
Kaj Tuomi
Use dict lookup instead of many ifs.
tree
|
commitdiff
2016-09-02
Kaj Tuomi
Fix: Unresolved reference.
tree
|
commitdiff
2016-09-02
Kaj Tuomi
Some syntax fixes. Generator and comma separated list...
tree
|
commitdiff
2016-08-30
Clifford Wolf
Added $anyconst support to yosys-smtbmc
tree
|
commitdiff
2016-08-30
Clifford Wolf
Fixed memory bug in write_smt2
tree
|
commitdiff
2016-08-30
Clifford Wolf
Made "write_smt2 -bv -mem" default, added "write_smt2...
tree
|
commitdiff
2016-08-30
Clifford Wolf
Added $anyconst support to smt2 back-end
tree
|
commitdiff
2016-08-29
Clifford Wolf
Added "yosys-smtbmc --dump-all"
tree
|
commitdiff
2016-08-29
Clifford Wolf
More yosys-smtbmc bugfixes
tree
|
commitdiff
2016-08-29
Clifford Wolf
Various fixes and improvements in yosys-smtbmc
tree
|
commitdiff
2016-08-27
Clifford Wolf
Some changes to yosys-smtbmc cmd line options, add...
tree
|
commitdiff
2016-08-27
Clifford Wolf
Added smtc "final" statement
tree
|
commitdiff
2016-08-26
Clifford Wolf
Merge pull request #215 from frznchckn/to_upstream
tree
|
commitdiff
2016-08-26
Clifford Wolf
Various fixes and improvements in smt2 back-end
tree
|
commitdiff
2016-08-24
Clifford Wolf
More yosys-smtbmc smtc features
tree
|
commitdiff
2016-08-24
Clifford Wolf
yosys-smtbmc --smtc -g
tree
|
commitdiff
2016-08-22
Clifford Wolf
Minor yosys-smtbmc bugfix
tree
|
commitdiff
2016-08-22
Clifford Wolf
Added "yosys-smtbmc --constr"
tree
|
commitdiff
2016-08-22
Clifford Wolf
Added "yosys-smtbmc --dump-constr"
tree
|
commitdiff
2016-08-21
Clifford Wolf
yosys-smtbmc: improved --dump-vlogtb handling of memories
tree
|
commitdiff
2016-08-20
Clifford Wolf
Added "yosys-smtbmc --dump-vlogtb"
tree
|
commitdiff
2016-08-20
Clifford Wolf
Added support for memories to smtio.py
tree
|
commitdiff
2016-08-20
Clifford Wolf
Deprecated "write_smt2 -regs" (by default on now),...
tree
|
commitdiff
2016-08-20
Clifford Wolf
Added "yosys-smtbmc -g"
tree
|
commitdiff
2016-08-20
Clifford Wolf
Added smtbmc longopt support
tree
|
commitdiff
2016-08-20
Clifford Wolf
Bugfix in partial mem write handling in verilog back-end
tree
|
commitdiff
2016-08-18
Clifford Wolf
Added missing support for mem read enable ports to...
tree
|
commitdiff
2016-08-18
Clifford Wolf
Improved smtbmc vcd generation performance
tree
|
commitdiff
2016-08-17
Clifford Wolf
Added printing of code loc of failed asserts to yosys...
tree
|
commitdiff
2016-08-15
Clifford Wolf
Fixed upto handling in verilog back-end
tree
|
commitdiff
2016-07-30
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-07-30
Clifford Wolf
Added "write_verilog -defparam"
tree
|
commitdiff
2016-07-30
Clifford Wolf
Added "write_verilog -nodec -nostr"
tree
|
commitdiff
2016-07-27
Clifford Wolf
Added $initstate support to smtbmc flow
tree
|
commitdiff
2016-07-13
Clifford Wolf
Merge pull request #191 from whitequark/json-module...
tree
|
commitdiff
2016-07-12
whitequark
write_json: also write module attributes.
tree
|
commitdiff
2016-07-11
Clifford Wolf
Yosys-smtbmc: Support for hierarchical VCD dumping
tree
|
commitdiff
2016-07-11
Clifford Wolf
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
tree
|
commitdiff
2016-07-10
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-07-10
Clifford Wolf
Support for hierarchical designs in smt2 back-end
tree
|
commitdiff
next