projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
greenpak4: Initial implementation of GP_SPI cell
[yosys.git] / backends /
2016-12-12 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-12-11 Clifford WolfAdded $anyconst support to AIGER back-end tree | commitdiff
2016-12-03 Clifford WolfAdded $assert/$assume support to AIGER back-end tree | commitdiff
2016-12-03 Clifford WolfImproved yosys-smtbmc default -t/--assume-skipped for... tree | commitdiff
2016-12-01 Clifford WolfAdded "yosys-smtbmc --aig" tree | commitdiff
2016-12-01 Clifford WolfAdded support for partially initialized regs to smt2... tree | commitdiff
2016-12-01 Clifford WolfAdded "write_aiger -zinit -symbols -vmap" tree | commitdiff
2016-11-30 Clifford WolfAdded "write_aiger" command tree | commitdiff
2016-11-28 Clifford WolfBugfix in smt2 back-end for pure checker modules tree | commitdiff
2016-11-27 Clifford WolfRemoved shebang line from smtio.py, fixes #279 tree | commitdiff
2016-11-23 Clifford WolfAdded wire start_offset and upto handling BLIF back-end tree | commitdiff
2016-11-22 Clifford WolfMerge pull request #274 from oldtopman/lcurses tree | commitdiff
2016-11-22 Clifford WolfAdded "yosys-smtbmc --append" tree | commitdiff
2016-11-19 Clifford WolfMerge pull request #272 from AlexDaniel/master tree | commitdiff
2016-11-19 Clifford WolfMerge pull request #271 from azidar/bugfix-assign-wmask tree | commitdiff
2016-11-18 Adam IzraelevitzBugfix: include assign to write-mask tree | commitdiff
2016-11-18 Clifford WolfMore progress in FIRRTL back-end tree | commitdiff
2016-11-17 Clifford WolfProgress in FIRRTL back-end tree | commitdiff
2016-11-17 Clifford WolfAdded first draft of FIRRTL back-end tree | commitdiff
2016-11-16 Clifford WolfCleanups and fixed in write_verilog regarding reg init tree | commitdiff
2016-11-03 Clifford WolfAdded hex constant support to write_verilog tree | commitdiff
2016-11-01 Clifford WolfAdde "write_verilog -renameprefix -v" tree | commitdiff
2016-10-22 Clifford WolfAdded avail params to ilang format, check module params... tree | commitdiff
2016-10-19 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-10-18 Clifford WolfIgnore L_pi nets in "yosys-smtbmc --cex" tree | commitdiff
2016-10-18 Clifford WolfUse init value "2" for all uninitialized FFs in BLIF... tree | commitdiff
2016-10-17 Clifford WolfAdded "yosys-smtbmc --cex <filename>" tree | commitdiff
2016-10-16 Clifford Wolfcleanup in write_smt2 log messages (-bv and -mem are... tree | commitdiff
2016-10-14 Clifford WolfAdded $anyseq cell type tree | commitdiff
2016-10-14 Clifford WolfAdded $global_clock verilog syntax support for creating... tree | commitdiff
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types tree | commitdiff
2016-10-11 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-10-08 Clifford WolfAdded smtc support for top-level state with [], [N... tree | commitdiff
2016-10-03 Clifford WolfBugfix in yosys-smtbmc --noincr tree | commitdiff
2016-10-03 Clifford Wolfyosys-smtbmc: ABC is a QF_BV solver tree | commitdiff
2016-10-03 Clifford WolfAdded "yosys-smtbmc --noincr" tree | commitdiff
2016-10-02 Clifford Wolfyosys-smtbmc: added smtc [...] support for cells tree | commitdiff
2016-10-01 Clifford WolfAdded "yosys-smtbmc -s abc" tree | commitdiff
2016-09-24 Clifford WolfMinor improvements in yosys-smtbmc tree | commitdiff
2016-09-23 Clifford WolfMerge branch 'master' of https://github.com/brouhaha... tree | commitdiff
2016-09-19 Clifford WolfAdded yosys-smtbmc --noinfo and --dummy tree | commitdiff
2016-09-18 Clifford WolfImproved handling of SMT2 logics in yosys-smtbmc tree | commitdiff
2016-09-17 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-09-17 Clifford Wolfyosys-smtbmc: added -i support smtc files tree | commitdiff
2016-09-13 Clifford WolfWork-around for boolector bug tree | commitdiff
2016-09-11 Clifford WolfAdded missing :produce-models setting to smtio.py tree | commitdiff
2016-09-10 Clifford WolfMinor improvements to smtio.py vcd writer tree | commitdiff
2016-09-10 Clifford Wolffixed write_smt2 for (non-combinatorial) loops through... tree | commitdiff
2016-09-08 Clifford Wolfsmt2 mem init bugfix tree | commitdiff
2016-09-08 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-09-08 Clifford Wolfyosys-smtbmc meminit support tree | commitdiff
2016-09-07 Clifford WolfBugfix in "yosys-smtbmc --unroll" tree | commitdiff
2016-09-07 Clifford WolfAdded "yosys-smtbmc --unroll" tree | commitdiff
2016-09-05 Clifford Wolfyosys-smtbmc: flush stdout after each log msg tree | commitdiff
2016-09-04 Clifford WolfMinor bugfix in write_smt2 tree | commitdiff
2016-09-03 Clifford WolfAdded boolector support to yosys-smtbmc tree | commitdiff
2016-09-02 Clifford WolfMerge branch 'smtbmc-kmanfi' tree | commitdiff
2016-09-02 Clifford WolfDon't re-create hex_dict for each value tree | commitdiff
2016-09-02 Kaj TuomiMore PEP 8 fixes. tree | commitdiff
2016-09-02 Kaj TuomiIndentation and PEP 8 fixes. CamelCase and white space... tree | commitdiff
2016-09-02 Kaj TuomiUse dict lookup instead of many ifs. tree | commitdiff
2016-09-02 Kaj TuomiFix: Unresolved reference. tree | commitdiff
2016-09-02 Kaj TuomiSome syntax fixes. Generator and comma separated list... tree | commitdiff
2016-08-30 Clifford WolfAdded $anyconst support to yosys-smtbmc tree | commitdiff
2016-08-30 Clifford WolfFixed memory bug in write_smt2 tree | commitdiff
2016-08-30 Clifford WolfMade "write_smt2 -bv -mem" default, added "write_smt2... tree | commitdiff
2016-08-30 Clifford WolfAdded $anyconst support to smt2 back-end tree | commitdiff
2016-08-29 Clifford WolfAdded "yosys-smtbmc --dump-all" tree | commitdiff
2016-08-29 Clifford WolfMore yosys-smtbmc bugfixes tree | commitdiff
2016-08-29 Clifford WolfVarious fixes and improvements in yosys-smtbmc tree | commitdiff
2016-08-27 Clifford WolfSome changes to yosys-smtbmc cmd line options, add... tree | commitdiff
2016-08-27 Clifford WolfAdded smtc "final" statement tree | commitdiff
2016-08-26 Clifford WolfMerge pull request #215 from frznchckn/to_upstream tree | commitdiff
2016-08-26 Clifford WolfVarious fixes and improvements in smt2 back-end tree | commitdiff
2016-08-24 Clifford WolfMore yosys-smtbmc smtc features tree | commitdiff
2016-08-24 Clifford Wolfyosys-smtbmc --smtc -g tree | commitdiff
2016-08-22 Clifford WolfMinor yosys-smtbmc bugfix tree | commitdiff
2016-08-22 Clifford WolfAdded "yosys-smtbmc --constr" tree | commitdiff
2016-08-22 Clifford WolfAdded "yosys-smtbmc --dump-constr" tree | commitdiff
2016-08-21 Clifford Wolfyosys-smtbmc: improved --dump-vlogtb handling of memories tree | commitdiff
2016-08-20 Clifford WolfAdded "yosys-smtbmc --dump-vlogtb" tree | commitdiff
2016-08-20 Clifford WolfAdded support for memories to smtio.py tree | commitdiff
2016-08-20 Clifford WolfDeprecated "write_smt2 -regs" (by default on now),... tree | commitdiff
2016-08-20 Clifford WolfAdded "yosys-smtbmc -g" tree | commitdiff
2016-08-20 Clifford WolfAdded smtbmc longopt support tree | commitdiff
2016-08-20 Clifford WolfBugfix in partial mem write handling in verilog back-end tree | commitdiff
2016-08-18 Clifford WolfAdded missing support for mem read enable ports to... tree | commitdiff
2016-08-18 Clifford WolfImproved smtbmc vcd generation performance tree | commitdiff
2016-08-17 Clifford WolfAdded printing of code loc of failed asserts to yosys... tree | commitdiff
2016-08-15 Clifford WolfFixed upto handling in verilog back-end tree | commitdiff
2016-07-30 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-07-30 Clifford WolfAdded "write_verilog -defparam" tree | commitdiff
2016-07-30 Clifford WolfAdded "write_verilog -nodec -nostr" tree | commitdiff
2016-07-27 Clifford WolfAdded $initstate support to smtbmc flow tree | commitdiff
2016-07-13 Clifford WolfMerge pull request #191 from whitequark/json-module... tree | commitdiff
2016-07-12 whitequarkwrite_json: also write module attributes. tree | commitdiff
2016-07-11 Clifford WolfYosys-smtbmc: Support for hierarchical VCD dumping tree | commitdiff
2016-07-11 Clifford WolfMoved smt2 yosys info parsing from smtbmc.py to smtio.py tree | commitdiff
2016-07-10 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-07-10 Clifford WolfSupport for hierarchical designs in smt2 back-end tree | commitdiff
next