projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2017-06-26 Robert Oucoolrunner2: Add a few more primitives commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Initial mapping of latches commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Initial mapping of DFFs commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Remove redundant INVERT_PTC commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Remove debug prints commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Correctly handle $_NOT_ after $sop commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Also construct the XOR cell in the macrocell commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Initial techmapping for $sop commit | commitdiff | tree
2017-06-24 Robert Oucoolrunner2: Initial commit commit | commitdiff | tree
2017-06-07 Clifford WolfFix generation of vlogtb output in yosys-smtbmc for... commit | commitdiff | tree
2017-06-01 Clifford WolfFix handling of Verilog ~& and ~| operators commit | commitdiff | tree
2017-05-31 Clifford WolfUpdate ABC to hg rev efbf7f13ea9e commit | commitdiff | tree
2017-05-31 Clifford WolfAdd dff2ff.v techmap file commit | commitdiff | tree
2017-05-30 Clifford WolfFix AIGER back-end for multiple symbols per input/latch... commit | commitdiff | tree
2017-05-28 Clifford WolfAdd "setundef -anyseq" commit | commitdiff | tree
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and... commit | commitdiff | tree
2017-05-27 Clifford WolfChange default smt2 solver to yices (Yices 2 has switch... commit | commitdiff | tree
2017-05-24 Clifford WolfAdd aliases for common sets of gate types to "abc -g" commit | commitdiff | tree
2017-05-23 Clifford WolfAdd examples/osu035 commit | commitdiff | tree
2017-05-23 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-05-23 Clifford WolfMerge pull request #346 from azonenberg/master commit | commitdiff | tree
2017-05-23 Andrew Zonenberggreenpak4_counters: Added support for parallel output... commit | commitdiff | tree
2017-05-17 Clifford WolfAdd workaround for CBMC bug to SimpleC back-end commit | commitdiff | tree
2017-05-17 Clifford WolfEnable readline and tcl in mxe builds commit | commitdiff | tree
2017-05-17 Clifford WolfAdd missing AndnotGate() and OrnotGate() declarations... commit | commitdiff | tree
2017-05-17 Clifford WolfAdd $_ANDNOT_ and $_ORNOT_ gates commit | commitdiff | tree
2017-05-16 Clifford WolfAdd <modname>_init() function generator to simpleC... commit | commitdiff | tree
2017-05-16 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-15 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-14 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-13 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-12 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-12 Clifford WolfAdded support for more gate types to simplec back-end commit | commitdiff | tree
2017-05-12 Clifford WolfAdd first draft of simple C back-end commit | commitdiff | tree
2017-05-11 Clifford WolfUpdate ABC to hg rev e79576e10d72 commit | commitdiff | tree
2017-05-08 Clifford WolfFix boolector support in yosys-smtbmc commit | commitdiff | tree
2017-04-30 Clifford WolfAdd support for localparam in module header commit | commitdiff | tree
2017-04-28 Clifford WolfFix equiv_simple, old behavior now available with ... commit | commitdiff | tree
2017-04-26 Clifford WolfAdd support for `resetall compiler directive commit | commitdiff | tree
2017-04-12 Clifford WolfReplace CRLF line endings with LF in de2i.qsf (quartus... commit | commitdiff | tree
2017-04-12 Larry DoolittleSquelch trailing whitespace commit | commitdiff | tree
2017-04-07 Clifford WolfAdd MAX10 and Cyclone IV items to CHANGELOG commit | commitdiff | tree
2017-04-07 Clifford WolfMerge pull request #337 from dh73/master commit | commitdiff | tree
2017-04-06 dh73Add initial support for both MAX10 and Cyclone IV ... commit | commitdiff | tree
2017-04-05 Clifford WolfAdd ConstEval defaultval feature commit | commitdiff | tree
2017-04-05 Clifford WolfFix gcc compiler warning commit | commitdiff | tree
2017-03-28 Clifford WolfAdd front-end detection for *.tcl files commit | commitdiff | tree
2017-03-27 Clifford WolfAdd minisat 00_PATCH_typofixes.patch commit | commitdiff | tree
2017-03-27 Clifford WolfRemove use of <fpu_control.h> in minisat commit | commitdiff | tree
2017-03-20 Clifford WolfAdd "write_smt2 -stdt" mode commit | commitdiff | tree
2017-03-19 Clifford WolfAdd generation of logic cells to EDIF back-end runtest.py commit | commitdiff | tree
2017-03-19 Clifford WolfFix EDIF: portRef member 0 is always the MSB bit commit | commitdiff | tree
2017-03-18 Clifford WolfAdd simple EDIF test case generator and checker commit | commitdiff | tree
2017-03-14 Clifford WolfFix verilog pre-processor for multi-level relative... commit | commitdiff | tree
2017-03-04 Clifford WolfImprove smt2 encodings of assert/assume/cover, better... commit | commitdiff | tree
2017-03-02 Clifford WolfAdd write_aiger $anyseq support commit | commitdiff | tree
2017-03-01 Clifford WolfAllow $anyconst, etc. in non-formal SV mode commit | commitdiff | tree
2017-02-28 Clifford WolfDisable opt_merge for $anyseq and $anyconst commit | commitdiff | tree
2017-02-28 Clifford WolfUse hex addresses in smtbmc vcd mem traces commit | commitdiff | tree
2017-02-27 Clifford WolfAdd "chformal -assert2assume" and friends commit | commitdiff | tree
2017-02-27 Clifford WolfAdd "chformal" pass commit | commitdiff | tree
2017-02-26 Clifford WolfAdd smtbmc support for memory vcd dumping commit | commitdiff | tree
2017-02-26 Clifford WolfFix extra newline bug in write_smt2 commit | commitdiff | tree
2017-02-26 Clifford WolfFix bug in smtio unroll code commit | commitdiff | tree
2017-02-26 Clifford WolfFix assert checking in "yosys-smtbmc -c --append" commit | commitdiff | tree
2017-02-26 Clifford WolfImprove (and fix for stbv mode) SMT2 memory API commit | commitdiff | tree
2017-02-25 Clifford WolfAdd support for "yosys-smtbmc -c --append" commit | commitdiff | tree
2017-02-25 Clifford WolfUpdate ABC to hg rev 3a95bfa55df7 commit | commitdiff | tree
2017-02-25 Clifford WolfMerge branch 'klammerj-master' commit | commitdiff | tree
2017-02-25 Clifford WolfImprove "write_edif" help message commit | commitdiff | tree
2017-02-25 Clifford WolfMove EdifNames out of double-private namespace commit | commitdiff | tree
2017-02-25 Clifford WolfClean up edif code, swap bit indexing of "upto" ports commit | commitdiff | tree
2017-02-25 Clifford WolfMerge branch 'master' of https://github.com/klammerj... commit | commitdiff | tree
2017-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-02-25 Clifford WolfAdd $live and $fair support to AIGER back-end. commit | commitdiff | tree
2017-02-25 Clifford WolfAdd $live and $fair cell types, add support for s_event... commit | commitdiff | tree
2017-02-24 Clifford WolfMerge pull request #322 from azonenberg/master commit | commitdiff | tree
2017-02-24 Clifford WolfAdd "write_smt2 -stbv" commit | commitdiff | tree
2017-02-24 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2017-02-24 Clifford WolfAdd SMT2 statebv mode (inactive for now) commit | commitdiff | tree
2017-02-24 Johann KlammerDid as you requested, /but/... commit | commitdiff | tree
2017-02-24 Clifford WolfMerge pull request #320 from joshhead/uninstall-binpath-fix commit | commitdiff | tree
2017-02-24 Josh HeadapohlAdd missing slashes in paths for make uninstall commit | commitdiff | tree
2017-02-23 Johann Klammeradd options for edif flavors commit | commitdiff | tree
2017-02-23 Clifford WolfAdd support for SystemVerilog unique, unique0, and... commit | commitdiff | tree
2017-02-23 Clifford WolfPreserve string parameters commit | commitdiff | tree
2017-02-23 Clifford WolfFix mingw compile issue (2nd attempt) commit | commitdiff | tree
2017-02-23 Clifford WolfFix mingw compile issue (maybe.. I can't test it) commit | commitdiff | tree
2017-02-23 Clifford WolfAdded SystemVerilog support for ++ and -- commit | commitdiff | tree
2017-02-22 Clifford WolfUpdate ABC to hg rev 8da4dc435b9f commit | commitdiff | tree
2017-02-19 Clifford WolfAdd "yosys-smtbmc -S <opt>" commit | commitdiff | tree
2017-02-16 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2017-02-16 Clifford WolfCopy attributes to _TECHMAP_REPLACE_ cells commit | commitdiff | tree
2017-02-16 Clifford WolfFix eval implementation of $_NOR_ commit | commitdiff | tree
2017-02-14 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2017-02-14 Clifford WolfFix incorrect "incompatible re-declaration of wire... commit | commitdiff | tree
2017-02-14 Clifford WolfAdd warning about x/z bits left unconnected in EDIF... commit | commitdiff | tree
2017-02-14 Clifford WolfFix double-call of log_pop() in synth_greenpak4 commit | commitdiff | tree
2017-02-14 Clifford WolfMerge pull request #313 from azidar/bugfix-assign-wmask commit | commitdiff | tree
2017-02-13 Adam IzraelevitzMore progress on Firrtl backend. commit | commitdiff | tree
next