projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2017-12-12 Clifford WolfAdd SigSpec::is_fully_ones() commit | commitdiff | tree
2017-12-11 Clifford WolfAdd btor $shift/$shiftx support commit | commitdiff | tree
2017-12-10 Clifford WolfFix btor back-end shift handling commit | commitdiff | tree
2017-12-10 Clifford WolfAdd support for $pmux in btor back-end commit | commitdiff | tree
2017-12-10 Clifford WolfAdd support for more cell types to btor back-end commit | commitdiff | tree
2017-12-10 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-12-10 Clifford WolfAdd support for Verific PRIM_SVA_NOT properties commit | commitdiff | tree
2017-12-09 Clifford WolfAdd Verific OPER_SVA_STABLE support commit | commitdiff | tree
2017-12-09 Clifford WolfRefactoring Verific SVA rewriter commit | commitdiff | tree
2017-12-09 Clifford WolfFix btor concat commit | commitdiff | tree
2017-12-09 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-12-09 Clifford WolfMerge pull request #467 from mithro/patch-1 commit | commitdiff | tree
2017-12-09 Tim AnsellFix spelling in -vpr help for synth_ice40 commit | commitdiff | tree
2017-12-03 Clifford WolfUse "hg ... --insecure" for cloning/pulling ABC commit | commitdiff | tree
2017-12-02 Clifford WolfUpdate ABC to hg rev 31fc97b0aeed commit | commitdiff | tree
2017-12-02 Clifford WolfFix error handling for nested always/initial commit | commitdiff | tree
2017-12-01 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-11-28 Clifford WolfMerge pull request #462 from daveshah1/up5k commit | commitdiff | tree
2017-11-28 David ShahAdd remaining UltraPlus cells to ice40 techlib commit | commitdiff | tree
2017-11-27 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-11-27 Clifford WolfFixed "yosys-smtbmc -g" handling of no solution commit | commitdiff | tree
2017-11-27 Clifford WolfFixed "yosys-smtbmc -g" handling of no solution commit | commitdiff | tree
2017-11-26 Clifford WolfMerge pull request #460 from mithro/g3-fixes commit | commitdiff | tree
2017-11-26 Clifford WolfMerge pull request #461 from mithro/travis-rework commit | commitdiff | tree
2017-11-26 Tim 'mithro... travis: Print branches before fetching, try both locations. commit | commitdiff | tree
2017-11-26 Tim 'mithro... minisat: Make update script executable. commit | commitdiff | tree
2017-11-26 Tim 'mithro... minisat: Only define __STDC_XXX_MACROS if not already... commit | commitdiff | tree
2017-11-26 Tim 'mithro... minisat: Remove template with gzFile specialization. commit | commitdiff | tree
2017-11-26 Tim 'mithro... subcircuit: Class with virtual methods should have... commit | commitdiff | tree
2017-11-24 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-11-24 Clifford WolfBugfixes in new BTOR back-end commit | commitdiff | tree
2017-11-24 Clifford WolfMerge pull request #446 from mithro/travis-rework commit | commitdiff | tree
2017-11-24 Tim 'mithro... travis: Use the cache. commit | commitdiff | tree
2017-11-24 Tim 'mithro... travis: Adding gcc-4.8 and gcc-6 on Linux. commit | commitdiff | tree
2017-11-24 Tim 'mithro... travis: Reworking travis setup. commit | commitdiff | tree
2017-11-23 Clifford WolfProgress in new BTOR back-end commit | commitdiff | tree
2017-11-23 Clifford WolfProgress in new BTOR back-end commit | commitdiff | tree
2017-11-23 Clifford WolfProgress in new BTOR back-end commit | commitdiff | tree
2017-11-23 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-11-23 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-11-23 Clifford WolfAdd Verilog "automatic" keyword (ignored in synthesis) commit | commitdiff | tree
2017-11-23 Clifford WolfProgress with new BTOR backend commit | commitdiff | tree
2017-11-23 Clifford WolfAdd skeleton for new BTOR back-end commit | commitdiff | tree
2017-11-23 Clifford WolfRemove old BTOR back-end commit | commitdiff | tree
2017-11-18 Clifford WolfMerge pull request #455 from daveshah1/up5k commit | commitdiff | tree
2017-11-18 David ShahRemove unnecessary keep attributes commit | commitdiff | tree
2017-11-18 Clifford WolfAccept real-valued delay values commit | commitdiff | tree
2017-11-18 Clifford WolfMerge pull request #452 from cr1901/master commit | commitdiff | tree
2017-11-18 Clifford WolfMerge pull request #453 from dh73/master commit | commitdiff | tree
2017-11-17 David ShahMerge branch 'master' into up5k commit | commitdiff | tree
2017-11-16 Clifford WolfAdd "synth_ice40 -vpr" commit | commitdiff | tree
2017-11-16 David ShahAdd some UltraPlus cells to ice40 techlib commit | commitdiff | tree
2017-11-15 dh73Fixed the -vout flag to -vqm in examples/intel directory commit | commitdiff | tree
2017-11-14 William D.... Accommodate Windows-style paths during include-file... commit | commitdiff | tree
2017-11-09 dh73Initial Cyclone 10 support commit | commitdiff | tree
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2017-11-09 dh73Organizing Speedster file names commit | commitdiff | tree
2017-11-08 Clifford WolfAdd support for editline as replacement for readline commit | commitdiff | tree
2017-10-31 Clifford WolfAdd "ltp" command commit | commitdiff | tree
2017-10-29 Clifford WolfFix SMT2 handling of initstate in sub-modules commit | commitdiff | tree
2017-10-26 Clifford WolfFix memory corruption bug in opt_rmdff commit | commitdiff | tree
2017-10-26 Clifford WolfFix typo in opt_clean log message commit | commitdiff | tree
2017-10-25 Clifford WolfImprove smtio performance by using reader thread, not... commit | commitdiff | tree
2017-10-25 Clifford WolfUse separate writer thread for talking to SMT solver... commit | commitdiff | tree
2017-10-25 Clifford WolfImprove p_* functions in smtio.py commit | commitdiff | tree
2017-10-25 Clifford WolfDisable OSX in .travis.yml commit | commitdiff | tree
2017-10-25 Clifford WolfAdd ENABLE_DEBUG config flag commit | commitdiff | tree
2017-10-25 Clifford WolfUpdate ABC to hg rev f6838749f234 commit | commitdiff | tree
2017-10-25 Clifford WolfRemove vhdl2verilog commit | commitdiff | tree
2017-10-25 Clifford WolfCapsulate smt-solver read/write in separate functions commit | commitdiff | tree
2017-10-25 Clifford WolfFix a bug in yosys-smtbmc in ROM handling commit | commitdiff | tree
2017-10-20 Clifford WolfRemove PSL example from tests/sva/ commit | commitdiff | tree
2017-10-20 Clifford WolfRemove all PSL support code from verific.cc commit | commitdiff | tree
2017-10-20 Clifford WolfMerge pull request #437 from mithro/master commit | commitdiff | tree
2017-10-20 Tim 'mithro... Adding COPYING file with license information. commit | commitdiff | tree
2017-10-14 Clifford WolfRevert 90be0d8 as it causes endless loops for some... commit | commitdiff | tree
2017-10-13 Clifford WolfAdd "verific -vlog-libdir" commit | commitdiff | tree
2017-10-13 Clifford WolfAdd "verific -vlog-incdir" and "verific -vlog-define" commit | commitdiff | tree
2017-10-13 Clifford WolfUpdate Verific README commit | commitdiff | tree
2017-10-12 Clifford WolfMerge pull request #434 from Kmanfi/vector_fix commit | commitdiff | tree
2017-10-12 Kaj TuomiFix input vector for reduce cells. commit | commitdiff | tree
2017-10-12 Clifford WolfAdd Verific fairness/liveness support commit | commitdiff | tree
2017-10-11 Clifford WolfUpdate ABC to hg rev 6283c5d99b06 commit | commitdiff | tree
2017-10-10 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-10-10 Clifford WolfStart work on pre-processor for Verific SVA properties commit | commitdiff | tree
2017-10-10 Clifford WolfRewrite ABC output to include proper net names in timin... commit | commitdiff | tree
2017-10-10 Clifford WolfAdd timing constraints to osu035 example commit | commitdiff | tree
2017-10-10 Clifford WolfRemove some dead code commit | commitdiff | tree
2017-10-10 Clifford WolfAllow $past, $stable, $rose, $fell in $global_clock... commit | commitdiff | tree
2017-10-07 Clifford WolfAdd $shiftx support to verilog front-end commit | commitdiff | tree
2017-10-06 Clifford WolfUpdate ABC to hg rev 0fc1803a77c0 commit | commitdiff | tree
2017-10-05 Larry DoolittleClean whitespace and permissions in techlibs/intel commit | commitdiff | tree
2017-10-05 Clifford WolfImprove handling of Verific errors commit | commitdiff | tree
2017-10-04 Clifford WolfImprove Verific error handling, check VHDL static asserts commit | commitdiff | tree
2017-10-04 Clifford WolfAdd blackbox command commit | commitdiff | tree
2017-10-04 Clifford WolfFix nasty bug in Verific bindings commit | commitdiff | tree
2017-10-03 Clifford WolfMerge branch 'pr_ast_const_funcs' of https://github... commit | commitdiff | tree
2017-10-03 Clifford WolfMerge branch 'fix_shift_reduce_conflict' of https:... commit | commitdiff | tree
2017-10-03 Clifford WolfMerge branch 'dh73-master' commit | commitdiff | tree
2017-10-03 Clifford WolfRename "write_verilog -nobasenradix" to "write_verilog... commit | commitdiff | tree
next