projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2014-01-24 Ahmed Irfanmerged clifford changes + removed regex commit | commitdiff | tree
2014-01-24 Clifford WolfUse techmap -share_map in btor scripts commit | commitdiff | tree
2014-01-24 Clifford WolfMoved btor scripts to backends/btor/ commit | commitdiff | tree
2014-01-24 Clifford WolfRestored Makefile commit | commitdiff | tree
2014-01-24 Clifford WolfRestored IdString::check() commit | commitdiff | tree
2014-01-24 Clifford WolfMerge branch 'btor' of https://github.com/ahmedirfan198... commit | commitdiff | tree
2014-01-24 Clifford WolfFixed handling of unsized constants in verilog frontend commit | commitdiff | tree
2014-01-24 Ahmed Irfanminor change in script commit | commitdiff | tree
2014-01-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2014-01-20 Clifford WolfFixed algorithmic complexity of AST simplification... commit | commitdiff | tree
2014-01-20 Ahmed Irfanslice bug corrected commit | commitdiff | tree
2014-01-20 Ahmed Irfanassert feature commit | commitdiff | tree
2014-01-20 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2014-01-19 Clifford WolfAdded hilomap command commit | commitdiff | tree
2014-01-19 Clifford WolfAdded sat -tempinduc and sat -prove-asserts commit | commitdiff | tree
2014-01-19 Clifford WolfAdded $assert support to satgen commit | commitdiff | tree
2014-01-19 Clifford WolfAdded $assert cell commit | commitdiff | tree
2014-01-19 Clifford WolfAdded Verilog parser support for asserts commit | commitdiff | tree
2014-01-18 Ahmed Irfanscript added commit | commitdiff | tree
2014-01-18 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... commit | commitdiff | tree
2014-01-18 Clifford WolfFixed $lut simlib model for a wider range of tools commit | commitdiff | tree
2014-01-18 Clifford WolfFixed parsing of verilog macros at end of line commit | commitdiff | tree
2014-01-18 Clifford WolfMore changes to simlib to make it friendlier to a wider... commit | commitdiff | tree
2014-01-18 Clifford WolfFixed a type in $mem model in simlib.v commit | commitdiff | tree
2014-01-18 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... commit | commitdiff | tree
2014-01-18 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2014-01-18 Ahmed Irfanpmux2mux commit | commitdiff | tree
2014-01-18 Clifford WolfRemoved cases of trailing comma in stdcells.v commit | commitdiff | tree
2014-01-18 Clifford WolfAdded $bu0 cell to simlib.v commit | commitdiff | tree
2014-01-18 Clifford WolfImproved setundef random number generator commit | commitdiff | tree
2014-01-17 Clifford WolfAdded setundef command commit | commitdiff | tree
2014-01-17 Clifford WolfSome improvements in log_dump_val_worker() templates commit | commitdiff | tree
2014-01-17 Clifford WolfAdded techlibs/common/pmux2mux.v commit | commitdiff | tree
2014-01-17 Ahmed Irfanverilog default options pull commit | commitdiff | tree
2014-01-17 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... commit | commitdiff | tree
2014-01-17 Ahmed IrfanMerge pull request #4 from cliffordwolf/master commit | commitdiff | tree
2014-01-17 Clifford WolfAdded verilog_defaults command commit | commitdiff | tree
2014-01-17 Clifford WolfAdded support for $adff with undef data inputs to opt_rmdff commit | commitdiff | tree
2014-01-17 Clifford WolfAdded select -assert-none and -assert-any commit | commitdiff | tree
2014-01-17 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... commit | commitdiff | tree
2014-01-17 Ahmed IrfanMerge pull request #3 from cliffordwolf/master commit | commitdiff | tree
2014-01-16 Clifford WolfAdded automatic memid generation to memory_unpack command commit | commitdiff | tree
2014-01-16 Clifford WolfAdded memory_unpack command commit | commitdiff | tree
2014-01-16 Ahmed Irfanslice error corrected commit | commitdiff | tree
2014-01-15 Ahmed Irfanwidth issues commit | commitdiff | tree
2014-01-15 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... commit | commitdiff | tree
2014-01-15 Ahmed IrfanMerge pull request #2 from cliffordwolf/master commit | commitdiff | tree
2014-01-14 Clifford WolfMerge pull request #20 from mschmoelzer/master commit | commitdiff | tree
2014-01-14 Martin SchmölzerInclude unistd.h in passes/hierarchy/hierarchy.cc ... commit | commitdiff | tree
2014-01-14 Clifford WolfAdded hierarchy -libdir option commit | commitdiff | tree
2014-01-14 Clifford Wolfrenamed LibertyParer to LibertyParser commit | commitdiff | tree
2014-01-14 Clifford WolfAdded "+" to list of liberty token characters commit | commitdiff | tree
2014-01-14 Ahmed IrfanBTOR backend commit | commitdiff | tree
2014-01-14 Ahmed IrfanMerge branch 'master' of https://github.com/ahmedirfan1... commit | commitdiff | tree
2014-01-14 Ahmed IrfanMerge pull request #1 from cliffordwolf/master commit | commitdiff | tree
2014-01-14 Clifford WolfAdded "opt_const -mux_undef" commit | commitdiff | tree
2014-01-12 Clifford WolfFixed typo in frontends/ast/simplify.cc commit | commitdiff | tree
2014-01-04 Clifford WolfImproved performance of freduce input cone reduction commit | commitdiff | tree
2014-01-03 Clifford WolfImproved freduce performance on const signals commit | commitdiff | tree
2014-01-03 Clifford WolfPerformance improvements in freduce pass commit | commitdiff | tree
2014-01-03 Clifford WolfMore freduce cleanups commit | commitdiff | tree
2014-01-03 Clifford WolfAdded updating of RTLIL::autoidx to ilang frontend commit | commitdiff | tree
2014-01-03 Clifford WolfCleanups in freduce command commit | commitdiff | tree
2014-01-03 Clifford WolfFixed SAT and ConstEval undef handling for $pmux and... commit | commitdiff | tree
2014-01-03 Clifford WolfTiny cleanup in proc_mux.cc commit | commitdiff | tree
2014-01-03 Ahmed Irfansplitnet -driver feature commit | commitdiff | tree
2014-01-03 Clifford WolfAdded "splitnets -driver" commit | commitdiff | tree
2014-01-03 Clifford WolfUse selection in freduce command commit | commitdiff | tree
2014-01-03 Clifford WolfAnother small freduce cleanup/bugfix commit | commitdiff | tree
2014-01-03 Clifford WolfAdded "connect" command commit | commitdiff | tree
2014-01-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2014-01-03 Ahmed Irfanmakefile commit | commitdiff | tree
2014-01-03 Ahmed Irfanbtor commit | commitdiff | tree
2014-01-03 Clifford WolfMore freduce cleanups and bugfixes commit | commitdiff | tree
2014-01-03 Clifford WolfAdded RTLIL::SigSpec::optimized() API commit | commitdiff | tree
2014-01-02 Clifford WolfAdded correct handling of $memwr priority commit | commitdiff | tree
2014-01-02 Clifford WolfFixed more complex undef cases in freduce commit | commitdiff | tree
2014-01-02 Clifford WolfNow */ is optional in */<mode>:<arg> selections commit | commitdiff | tree
2014-01-02 Clifford WolfAdded "rename -hide" command commit | commitdiff | tree
2014-01-02 Clifford WolfAdded SAT undef model for $pmux and $safe_pmux commit | commitdiff | tree
2014-01-02 Clifford WolfMore "freduce" related fixes and improvements commit | commitdiff | tree
2014-01-02 Clifford WolfAdded support for module->connections to select %ci... commit | commitdiff | tree
2014-01-02 Clifford WolfSome cleanups in freduce -inv mode (and switched from... commit | commitdiff | tree
2014-01-02 Clifford WolfAdded autotest.sh -p option commit | commitdiff | tree
2014-01-02 Clifford WolfMajor rewrite of "freduce" command commit | commitdiff | tree
2014-01-01 Clifford WolfUpdated CHANGELOG commit | commitdiff | tree
2013-12-31 Clifford WolfFixed use of limited length buffer in ABC blif parser commit | commitdiff | tree
2013-12-31 Clifford WolfUse "abc -dff" in "make test" commit | commitdiff | tree
2013-12-31 Clifford WolfAdded abc -dff and -clk support commit | commitdiff | tree
2013-12-31 Clifford WolfVarious small cleanups in stdcells.v techmap code commit | commitdiff | tree
2013-12-31 Clifford WolfAdded additional checks for A_SIGNED == B_SIGNED for... commit | commitdiff | tree
2013-12-31 Clifford WolfUpdated ABC to hg rev 57517e81666b commit | commitdiff | tree
2013-12-31 Clifford WolfNow using BLIF as ABC input format commit | commitdiff | tree
2013-12-31 Clifford WolfFixed commented out techmap call in tests/tools/autotest.sh commit | commitdiff | tree
2013-12-31 Clifford WolfAlways use BLIF as ABC output format commit | commitdiff | tree
2013-12-29 Clifford WolfFixed a stupid access after delete bug commit | commitdiff | tree
2013-12-29 Clifford WolfFixed undef extend for bitwise binary ops (bugs in... commit | commitdiff | tree
2013-12-28 Clifford WolfUpdated manual/command-reference-manual.tex commit | commitdiff | tree
2013-12-28 Clifford WolfAdded new cell types to manual commit | commitdiff | tree
2013-12-28 Clifford WolfAdded $bu0 cell (for easy correct $eq/$ne mapping) commit | commitdiff | tree
next