projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2018-02-18 Clifford WolfMove Verific SVA importer to extra C++ source file commit | commitdiff | tree
2018-02-18 Clifford WolfMerge Verific SVA preprocessor and SVA importer commit | commitdiff | tree
2018-02-16 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2018-02-15 Clifford WolfImprove handling of "bus" pins in liberty front-end... commit | commitdiff | tree
2018-02-15 Clifford WolfFix verific PRIM_SVA_AT handling in properties with... commit | commitdiff | tree
2018-02-13 Clifford WolfFixed yosys-config for binary distributions with Verific commit | commitdiff | tree
2018-02-13 Clifford WolfRecognize stand-alone obj pattern even when it contains... commit | commitdiff | tree
2018-02-08 Clifford WolfFix handling of zero-length cell connections in SMT2... commit | commitdiff | tree
2018-02-03 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2018-02-03 Clifford WolfDo not create deep backtraces unless in ENABLE_DEBUG... commit | commitdiff | tree
2018-02-03 Clifford WolfMerge pull request #488 from azonenberg/for_clifford commit | commitdiff | tree
2018-02-03 Clifford WolfFixed gcc 7.2 "statement will never be executed" warning commit | commitdiff | tree
2018-02-01 Clifford WolfFix single-bit $stable handling in verific front-end commit | commitdiff | tree
2018-01-31 Clifford WolfAdd Verific attribute handling for assert/assume/cover... commit | commitdiff | tree
2018-01-29 Clifford WolfFix smtio.py for large SMT2 S-expressions commit | commitdiff | tree
2018-01-28 Clifford WolfFix permissions on verific vdb files commit | commitdiff | tree
2018-01-23 Clifford WolfFixed handling of synchronous and asynchronous assertio... commit | commitdiff | tree
2018-01-19 Clifford WolfUse "strip -S" instead of "strip -d" for Mac OS X compa... commit | commitdiff | tree
2018-01-19 Clifford WolfImprove log messages in equiv_make commit | commitdiff | tree
2018-01-18 Clifford WolfMove user-provided smt2 info stmts to the top of the... commit | commitdiff | tree
2018-01-18 Robert Oucoolrunner2: Move LOC attributes onto the IO cells commit | commitdiff | tree
2018-01-17 Clifford WolfStrip debug symbols from binaries on install commit | commitdiff | tree
2018-01-09 Clifford WolfAdd "dffinit -highlow" and fix synth_intel commit | commitdiff | tree
2018-01-07 Clifford WolfAdd support for "yosys -E" commit | commitdiff | tree
2018-01-07 Clifford WolfBugfix in hierarchy blackbox module port width handling commit | commitdiff | tree
2018-01-07 Clifford WolfUpdate ABC to hg rev 6e3c24b3308a commit | commitdiff | tree
2018-01-05 Clifford WolfMerge pull request #479 from Fatsie/latch_without_data commit | commitdiff | tree
2018-01-05 Clifford WolfBugfix in hierarchy handling of blackbox module ports commit | commitdiff | tree
2018-01-04 Clifford WolfMerge pull request #480 from Fatsie/liberty_value_expre... commit | commitdiff | tree
2018-01-04 Clifford WolfTemporarily derive blackbox modules in hierarchy to... commit | commitdiff | tree
2018-01-03 Staf VerhaegenValue of properties can be expression. commit | commitdiff | tree
2018-01-03 Staf VerhaegenSome standard cell libraries include a latch with only... commit | commitdiff | tree
2017-12-24 Clifford WolfAdd "no driver for signal bit" error msg to btor back-end commit | commitdiff | tree
2017-12-24 Clifford WolfBugfix in verilog_defaults argument parser commit | commitdiff | tree
2017-12-19 Clifford WolfFix minor typo in "prep" help message commit | commitdiff | tree
2017-12-17 Clifford WolfSimple fix BTOR memory encoding commit | commitdiff | tree
2017-12-17 Clifford WolfImprove BTOR memory encoding commit | commitdiff | tree
2017-12-15 Clifford WolfMerge branch 'btor-ng' commit | commitdiff | tree
2017-12-15 Clifford WolfAdd array support to btor back-end commit | commitdiff | tree
2017-12-14 Clifford WolfAdd $anyconst/$anyseq support to btor back-end commit | commitdiff | tree
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-12-14 Clifford WolfAdd yosys-smtbmc VCD writer support for memories with... commit | commitdiff | tree
2017-12-14 Clifford WolfFix a bug in clk2fflogic memory handling commit | commitdiff | tree
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng commit | commitdiff | tree
2017-12-14 Clifford WolfAdd clk2fflogic memory support commit | commitdiff | tree
2017-12-14 Clifford WolfAdd smt2 back-end support for async write memories commit | commitdiff | tree
2017-12-14 Clifford WolfAdd RTLIL::Const::is_fully_ones() commit | commitdiff | tree
2017-12-14 Clifford WolfAdd SigSpec::is_fully_ones() commit | commitdiff | tree
2017-12-13 Clifford WolfMerge pull request #469 from kkiningh/master commit | commitdiff | tree
2017-12-13 Kevin KininghamUse quote includes for yosys.h commit | commitdiff | tree
2017-12-13 Clifford WolfCheck for memories in clk2fflogic commit | commitdiff | tree
2017-12-13 Clifford WolfMerge pull request #468 from grahamedgecombe/fix-sb... commit | commitdiff | tree
2017-12-12 Clifford WolfAdd "write_btor -s" mode commit | commitdiff | tree
2017-12-12 Clifford WolfAdd state initval handling to btor back-end commit | commitdiff | tree
2017-12-12 Clifford WolfAdd btor back-end support for 'x' constants commit | commitdiff | tree
2017-12-12 Clifford WolfAdd SigSpec::is_fully_ones() commit | commitdiff | tree
2017-12-12 Clifford WolfAdd warnings for driver-driver conflicts between FFs... commit | commitdiff | tree
2017-12-11 Clifford WolfAdd btor $shift/$shiftx support commit | commitdiff | tree
2017-12-10 Graham EdgecombeFix port names in SB_IO_OD commit | commitdiff | tree
2017-12-10 Graham EdgecombeRemove trailing comma from SB_IO_OD port list 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
next