projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added $pmux cell translation
[yosys.git] / kernel /
2014-02-08 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-02-08 Clifford WolfImproved checking of internal cell conventions tree | commitdiff
2014-02-07 Clifford WolfAdded $slice and $concat to CellTypes list tree | commitdiff
2014-02-07 Clifford WolfAdded $slice and $concat cell types tree | commitdiff
2014-02-07 Clifford WolfStronger checking of internal cells tree | commitdiff
2014-02-07 Clifford WolfAdded echo command tree | commitdiff
2014-02-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-02-06 Clifford WolfAdded generic RTLIL::SigSpec::parse_sel() with support... tree | commitdiff
2014-02-06 Clifford WolfAdded support for #-comments in same line as command tree | commitdiff
2014-02-06 Clifford WolfAdded support for backslash continuation in script... tree | commitdiff
2014-02-04 Clifford WolfFixed bug in sequential sat proofs and improved handlin... tree | commitdiff
2014-02-03 Clifford WolfAdded TRANSPARENT parameter to $memrd (and RD_TRANSPARE... tree | commitdiff
2014-02-02 Clifford WolfAdded RTLIL::SigSpec::to_single_sigbit() tree | commitdiff
2014-01-30 Clifford WolfAdded yosys -H for command list tree | commitdiff
2014-01-29 Clifford WolfAdded -h command line option tree | commitdiff
2014-01-24 Clifford WolfRestored IdString::check() tree | commitdiff
2014-01-24 Clifford WolfMerge branch 'btor' of https://github.com/ahmedirfan198... tree | commitdiff
2014-01-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-01-20 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-01-19 Clifford WolfAdded $assert support to satgen tree | commitdiff
2014-01-19 Clifford WolfAdded $assert cell tree | commitdiff
2014-01-18 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... tree | commitdiff
2014-01-18 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... tree | commitdiff
2014-01-18 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-01-18 Ahmed Irfanpmux2mux tree | commitdiff
2014-01-17 Clifford WolfSome improvements in log_dump_val_worker() templates tree | commitdiff
2014-01-17 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... tree | commitdiff
2014-01-17 Ahmed IrfanMerge pull request #4 from cliffordwolf/master tree | commitdiff
2014-01-17 Clifford WolfAdded select -assert-none and -assert-any tree | commitdiff
2014-01-17 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... tree | commitdiff
2014-01-15 Ahmed Irfanwidth issues tree | commitdiff
2014-01-14 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... tree | commitdiff
2014-01-03 Clifford WolfFixed SAT and ConstEval undef handling for $pmux and... tree | commitdiff
2014-01-03 Ahmed Irfansplitnet -driver feature tree | commitdiff
2014-01-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-01-03 Clifford WolfAdded RTLIL::SigSpec::optimized() API tree | commitdiff
2014-01-02 Clifford WolfAdded correct handling of $memwr priority tree | commitdiff
2014-01-02 Clifford WolfAdded SAT undef model for $pmux and $safe_pmux tree | commitdiff
2014-01-02 Clifford WolfMajor rewrite of "freduce" command tree | commitdiff
2013-12-31 Clifford WolfAdded additional checks for A_SIGNED == B_SIGNED for... tree | commitdiff
2013-12-29 Clifford WolfFixed undef extend for bitwise binary ops (bugs in... tree | commitdiff
2013-12-28 Clifford WolfAdded $bu0 cell (for easy correct $eq/$ne mapping) tree | commitdiff
2013-12-27 Clifford WolfFixed sat handling of $eqx and $nex with unequal port... tree | commitdiff
2013-12-27 Clifford WolfSmall cleanup in SatGen tree | commitdiff
2013-12-27 Clifford WolfFixed sat handling of $eqx and $nex cells tree | commitdiff
2013-12-27 Clifford WolfAdded support for non-const === and !== (for miter... tree | commitdiff
2013-12-27 Clifford WolfAdded proper === and !== support in constant expressions tree | commitdiff
2013-12-20 Clifford WolfAdded log_dump() API tree | commitdiff
2013-12-07 Clifford WolfAdded "sat" undef support and "sat -set-init" options tree | commitdiff
2013-12-07 Clifford WolfFixed uninitialized const flags bug tree | commitdiff
2013-12-07 Clifford WolfFixes and improvements in RTLIL::SigSpec::parse tree | commitdiff
2013-12-04 Clifford WolfReplaced signed_parameters API with CONST_FLAG_SIGNED tree | commitdiff
2013-12-04 Clifford WolfReplaced RTLIL::Const::str with generic decoder method tree | commitdiff
2013-12-02 Clifford WolfAdded Pass:call_newsel API tree | commitdiff
2013-12-02 Clifford WolfAdded "history" command tree | commitdiff
2013-11-29 Clifford WolfUsing RTLIL::id2cstr for prompt printing tree | commitdiff
2013-11-25 Clifford WolfImprovements in satgen undef handling tree | commitdiff
2013-11-25 Clifford WolfImprovements in satgen undef handling tree | commitdiff
2013-11-25 Clifford WolfStarted implementing undef handling in satgen tree | commitdiff
2013-11-24 Clifford WolfAdded module->avail_parameters (for advanced techmap... tree | commitdiff
2013-11-24 Clifford WolfRemove auto_wire framework (smarter than the verilog... tree | commitdiff
2013-11-24 Clifford WolfImplemented correct handling of signed module parameters tree | commitdiff
2013-11-23 Clifford WolfAdded more generic _TECHMAP_ wire mechanism to techmap... tree | commitdiff
2013-11-22 Clifford WolfSome driver changes/fixes tree | commitdiff
2013-11-22 Clifford WolfAdded more performance measurement infrastructure tree | commitdiff
2013-11-22 Clifford WolfMassive performance improvement from refactoring RTLIL... tree | commitdiff
2013-11-22 Clifford WolfAdded SigBit struct and refactored RTLIL::SigSpec:... tree | commitdiff
2013-11-21 Clifford WolfMajor improvements in mem2reg and added "init" sync... tree | commitdiff
2013-11-17 Clifford WolfAdded -v<level> option and some minor driver cleanups tree | commitdiff
2013-11-10 Clifford WolfAdded information on all internal cell types to interna... tree | commitdiff
2013-11-10 Clifford WolfCall internal checker more often tree | commitdiff
2013-11-09 Clifford WolfImproved user-friendliness of "sat" and "eval" expressi... tree | commitdiff
2013-11-09 Clifford WolfAdded verification of SAT model to "eval -vloghammer_re... tree | commitdiff
2013-11-08 Clifford WolfMore undef-propagation related fixes tree | commitdiff
2013-11-08 Clifford WolfRemoved debug log from const_pow() tree | commitdiff
2013-11-07 Clifford WolfFixed handling of power operator tree | commitdiff
2013-11-07 Clifford WolfFixed more extend vs. extend_u0 issues tree | commitdiff
2013-11-07 Clifford WolfRenamed extend_un0() to extend_u0() and use it in genrtlil tree | commitdiff
2013-11-07 Clifford WolfFixed type of sign extension in opt_const $eq/$ne handling tree | commitdiff
2013-11-06 Clifford WolfImproved undef handling in == and != for ConstEval tree | commitdiff
2013-11-06 Clifford WolfImproved width extension with regard to undef propagation tree | commitdiff
2013-11-06 Clifford WolfFixed handling of undef values in POS cells in ConstEval tree | commitdiff
2013-11-06 Clifford WolfFixed handling of undef values in MUX select input... tree | commitdiff
2013-11-06 Clifford WolfAdded eval -vloghammer_report mode tree | commitdiff
2013-11-05 Clifford WolfFixed sign handling in const eval of sshl and sshr tree | commitdiff
2013-11-03 Clifford WolfWrite yosys version to output files tree | commitdiff
2013-10-27 Clifford WolfFixed get_share_file_name() for installed yosys tree | commitdiff
2013-10-27 Clifford WolfAdded API and Makefile rules for share/ files tree | commitdiff
2013-10-27 Clifford WolfAdded design->full_selection() helper method tree | commitdiff
2013-10-24 Clifford WolfFixed handling of boolean attributes (passes) tree | commitdiff
2013-10-24 Clifford WolfFixed handling of boolean attributes (kernel) tree | commitdiff
2013-10-18 Clifford WolfChanged NEW_WIRE API to return the wire, not the signal tree | commitdiff
2013-10-18 Clifford WolfAdded RTLIL NEW_WIRE macro tree | commitdiff
2013-10-18 Clifford WolfAdded $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_... tree | commitdiff
2013-10-18 Clifford WolfAdded $sr, $dffsr and $dlatch cell types tree | commitdiff
2013-08-20 Clifford WolfAdded version info to yosys command and added -V option tree | commitdiff
2013-08-15 Clifford WolfImplemented same div-by-zero behavior as found in other... tree | commitdiff
2013-08-15 Clifford WolfFixed signed div/mod in const eval (rounding and stuff) tree | commitdiff
2013-08-15 Clifford WolfAdded sat -ignore_div_by_zero switch tree | commitdiff
2013-08-15 Clifford WolfAdded eval -brute_force_equiv_checker_x mode tree | commitdiff
next