projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add {get,set}_src_attribute() methods on RTLIL::AttrObject
[yosys.git] / backends /
2017-08-25 Clifford WolfMerge branch 'extract_fa' tree | commitdiff
2017-08-25 Clifford WolfFix bug in write_smt2 (export logic driving hierarchica... tree | commitdiff
2017-08-04 Clifford WolfAdd "yosys-smtbmc --smtc-init --smtc-top --noinit" tree | commitdiff
2017-07-21 Clifford WolfAdd verilator support to testbenches generated by yosys... tree | commitdiff
2017-07-12 Clifford WolfGenerate FSM-style testbenches in smtbmc tree | commitdiff
2017-07-11 Clifford WolfFix the fixed handling of x-bits in EDIF back-end tree | commitdiff
2017-07-11 Clifford WolfFix handling of x-bits in EDIF back-end tree | commitdiff
2017-07-10 Clifford WolfAdd attributes and parameter support to JSON front-end tree | commitdiff
2017-07-07 Clifford WolfChange s/asserts/assertions/ in yosys-smtbmc log messages tree | commitdiff
2017-07-07 Clifford WolfAdd "yosys-smtbmc --presat" tree | commitdiff
2017-07-05 Clifford WolfFix generation of multiple outputs for same AIG node... tree | commitdiff
2017-07-05 Clifford WolfAdd write_table command tree | commitdiff
2017-07-03 Clifford WolfMerge pull request #352 from rqou/master tree | commitdiff
2017-07-03 Clifford WolfRemove unneeded delays in smtbmc vlogtb tree | commitdiff
2017-07-03 Clifford WolfInclude output ports with constant driver in AIGER... tree | commitdiff
2017-07-01 Clifford WolfAdd "yosys-smtbmc --vlogtb-top" tree | commitdiff
2017-07-01 Clifford WolfFix smtbmc vlogtb bug in $anyseq handling tree | commitdiff
2017-06-07 Clifford WolfFix generation of vlogtb output in yosys-smtbmc for... tree | commitdiff
2017-05-30 Clifford WolfFix AIGER back-end for multiple symbols per input/latch... tree | commitdiff
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and... tree | commitdiff
2017-05-27 Clifford WolfChange default smt2 solver to yices (Yices 2 has switch... tree | commitdiff
2017-05-23 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2017-05-17 Clifford WolfAdd workaround for CBMC bug to SimpleC back-end tree | commitdiff
2017-05-17 Clifford WolfAdd $_ANDNOT_ and $_ORNOT_ gates tree | commitdiff
2017-05-16 Clifford WolfAdd <modname>_init() function generator to simpleC... tree | commitdiff
2017-05-16 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-15 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-14 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-13 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-12 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-12 Clifford WolfAdded support for more gate types to simplec back-end tree | commitdiff
2017-05-12 Clifford WolfAdd first draft of simple C back-end tree | commitdiff
2017-05-08 Clifford WolfFix boolector support in yosys-smtbmc tree | commitdiff
2017-03-20 Clifford WolfAdd "write_smt2 -stdt" mode tree | commitdiff
2017-03-19 Clifford WolfAdd generation of logic cells to EDIF back-end runtest.py tree | commitdiff
2017-03-19 Clifford WolfFix EDIF: portRef member 0 is always the MSB bit tree | commitdiff
2017-03-18 Clifford WolfAdd simple EDIF test case generator and checker tree | commitdiff
2017-03-04 Clifford WolfImprove smt2 encodings of assert/assume/cover, better... tree | commitdiff
2017-03-02 Clifford WolfAdd write_aiger $anyseq support tree | commitdiff
2017-02-28 Clifford WolfUse hex addresses in smtbmc vcd mem traces tree | commitdiff
2017-02-26 Clifford WolfAdd smtbmc support for memory vcd dumping tree | commitdiff
2017-02-26 Clifford WolfFix extra newline bug in write_smt2 tree | commitdiff
2017-02-26 Clifford WolfFix bug in smtio unroll code tree | commitdiff
2017-02-26 Clifford WolfFix assert checking in "yosys-smtbmc -c --append" tree | commitdiff
2017-02-26 Clifford WolfImprove (and fix for stbv mode) SMT2 memory API tree | commitdiff
2017-02-25 Clifford WolfAdd support for "yosys-smtbmc -c --append" tree | commitdiff
2017-02-25 Clifford WolfMerge branch 'klammerj-master' tree | commitdiff
2017-02-25 Clifford WolfImprove "write_edif" help message tree | commitdiff
2017-02-25 Clifford WolfMove EdifNames out of double-private namespace tree | commitdiff
2017-02-25 Clifford WolfClean up edif code, swap bit indexing of "upto" ports tree | commitdiff
2017-02-25 Clifford WolfMerge branch 'master' of https://github.com/klammerj... tree | commitdiff
2017-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2017-02-25 Clifford WolfAdd $live and $fair support to AIGER back-end. tree | commitdiff
2017-02-24 Clifford WolfMerge pull request #322 from azonenberg/master tree | commitdiff
2017-02-24 Clifford WolfAdd "write_smt2 -stbv" tree | commitdiff
2017-02-24 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-02-24 Clifford WolfAdd SMT2 statebv mode (inactive for now) tree | commitdiff
2017-02-24 Johann KlammerDid as you requested, /but/... tree | commitdiff
2017-02-23 Johann Klammeradd options for edif flavors tree | commitdiff
2017-02-19 Clifford WolfAdd "yosys-smtbmc -S <opt>" tree | commitdiff
2017-02-14 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-02-14 Clifford WolfAdd warning about x/z bits left unconnected in EDIF... tree | commitdiff
2017-02-14 Clifford WolfMerge pull request #313 from azidar/bugfix-assign-wmask tree | commitdiff
2017-02-13 Adam IzraelevitzMore progress on Firrtl backend. tree | commitdiff
2017-02-11 Clifford WolfMerge branch 'master' of https://github.com/stv0g/yosys... tree | commitdiff
2017-02-09 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-02-04 Clifford WolfAdd assert check in "yosys-smtbmc -c" tree | commitdiff
2017-02-04 Clifford WolfImprove yosys-smtbmc cover() support tree | commitdiff
2017-02-04 Clifford WolfPartially implement cover() support in yosys-smtbmc tree | commitdiff
2017-02-04 Clifford WolfFurther improve cover() support tree | commitdiff
2017-01-31 Clifford WolfMerge branch 'opt_compare_pr' of https://github.com... tree | commitdiff
2017-01-30 Clifford WolfAdd "yosys-smtbmc --aig <aim_filename>:<aiw_filename... tree | commitdiff
2017-01-28 Clifford WolfAdd "yosys-smtbmc --aig-noheader" and AIGER mem init... tree | commitdiff
2017-01-15 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-01-11 Clifford WolfFix $initstate handling bug in yosys-smtbmc tree | commitdiff
2017-01-05 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-01-04 Clifford WolfImplicitly set "yosys-smtbmc --noprogress" on windows tree | commitdiff
2017-01-04 Clifford WolfFixed "yosys-smtbmc --noprogress" tree | commitdiff
2017-01-02 Clifford WolfHandle "always 1" like "always -1" in .smtc files tree | commitdiff
2017-01-01 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-12-29 Clifford WolfImproved write_json help message tree | commitdiff
2016-12-23 Andrew ZonenbergMerge pull request #1 from azonenberg-hk/master tree | commitdiff
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
next