projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Disabled const folding of ternary op when select is undef
[yosys.git] / passes /
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-07 Clifford WolfFixed $eq/$ne bitwise optimization in opt_const tree | commitdiff
2013-11-06 Clifford WolfAdded handling of unconnected/unspecified signals to... tree | commitdiff
2013-11-06 Clifford WolfAdded correct RTL undef handling to eval vloghammer... tree | commitdiff
2013-11-06 Clifford WolfAdded eval -vloghammer_report mode tree | commitdiff
2013-11-05 Clifford WolfAdded support for "keep" attributes on wires tree | commitdiff
2013-11-03 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-11-03 Clifford WolfAdded resolution of positional arguments to hierarchy... tree | commitdiff
2013-10-31 Clifford WolfAdded placeholder check to dfflibmap and cleaned up... tree | commitdiff
2013-10-29 Clifford WolfAdded detection for endless recursion in fsm_detect... tree | commitdiff
2013-10-29 Clifford WolfFixed help message typo (memory pass) tree | commitdiff
2013-10-29 Clifford WolfAdded -format option to splitnets tree | commitdiff
2013-10-26 Clifford WolfAdded support for i/o buffers to iopadmap tree | commitdiff
2013-10-24 Clifford WolfAdded support for sr flip-flops to dfflibmap tree | commitdiff
2013-10-24 Clifford WolfAdded support for complex set-reset flip-flops in proc_dff tree | commitdiff
2013-10-24 Clifford WolfFixed handling of boolean attributes (passes) tree | commitdiff
2013-10-21 Clifford WolfImproved handling of dff with async resets tree | commitdiff
2013-10-18 Clifford WolfAdded handling of multiple async paths in proc_arst tree | commitdiff
2013-10-18 Clifford WolfAdded dffsr support to proc_dff pass tree | commitdiff
2013-10-17 Clifford WolfImproved way of connecting ports in techmap pass tree | commitdiff
2013-10-17 Clifford WolfOnly prefer connected signals iff they have public... tree | commitdiff
2013-10-17 Clifford WolfFixed bug in synthesis of memories that are never written tree | commitdiff
2013-10-17 Clifford WolfAvoid re-arranging signals on register outputs tree | commitdiff
2013-10-17 Clifford WolfFixed detection of major wires in opt_clean tree | commitdiff
2013-10-16 Clifford WolfAdded iopadmap pass tree | commitdiff
2013-10-16 Clifford WolfMoved dfflibmap from passes/dfflibmap to passes/techmap tree | commitdiff
2013-10-16 Clifford WolfFixed parsing or liberty file statements such as 'clock... tree | commitdiff
2013-09-15 Clifford WolfMoved common techlib files to techlibs/common tree | commitdiff
2013-08-21 Clifford WolfMerge pull request #10 from hansiglaser/master tree | commitdiff
2013-08-21 Clifford WolfSome minor documentation fixes tree | commitdiff
2013-08-20 Clifford WolfMinor fixes in abc build instructions and abc pass 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
2013-08-11 Clifford WolfAdded "clean -purge" and ";;;" support tree | commitdiff
2013-08-11 Clifford WolfAdded ";;" as shortcut for "; clean;" tree | commitdiff
2013-08-10 Clifford Wolffreduce performance fix tree | commitdiff
2013-08-09 Clifford WolfAdded techmap -opt mode tree | commitdiff
2013-08-09 Clifford WolfSome fixes to improve determinism tree | commitdiff
2013-08-08 Clifford WolfSort ctrl signals in fsm_extract tree | commitdiff
2013-08-08 Clifford WolfAdded -try option to freduce pass tree | commitdiff
2013-08-08 Clifford WolfAdded "clean" command (less verbose opt_clean) tree | commitdiff
2013-08-07 Clifford WolfFixed topological ordering in freduce pass tree | commitdiff
2013-08-07 Clifford WolfImproved handling of private names in opt_clean and... tree | commitdiff
2013-08-06 Clifford WolfSmall bugfixes in freduce pass tree | commitdiff
2013-08-06 Clifford WolfAdded freduce command tree | commitdiff
2013-07-27 Clifford WolfAdded "design" command (-reset, -save, -load) tree | commitdiff
2013-07-24 Clifford WolfAutomatically run "proc" on extract map files tree | commitdiff
2013-07-23 Clifford WolfAdded $lut cells and abc lut mapping support tree | commitdiff
2013-07-10 Clifford WolfBugfixes for empty signal vectors tree | commitdiff
2013-07-07 Clifford WolfAdded opt_clean -purge option tree | commitdiff
2013-07-07 Clifford WolfFixed handling of $eq and $ne in opt_const tree | commitdiff
2013-06-23 Clifford WolfAdded SAT support for -all/-max with -verify tree | commitdiff
2013-06-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-06-20 Clifford WolfAdded timout functionality to SAT solver tree | commitdiff
2013-06-19 Clifford WolfAdded renaming of wires and cells to "rename" command tree | commitdiff
2013-06-19 Clifford WolfAdded "eval" pass tree | commitdiff
2013-06-18 Clifford WolfAdded splitnets command tree | commitdiff
2013-06-15 Clifford WolfAdded support for "assign" statements in abc vlparse tree | commitdiff
2013-06-14 Clifford WolfFixed even more ConstEval bugs found using xsthammer tree | commitdiff
2013-06-13 Clifford WolfAdded consteval testing to xsthammer and fixed bugs tree | commitdiff
2013-06-13 Clifford WolfMore xsthammer improvements (using xst 14.5 now) tree | commitdiff
2013-06-12 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-06-12 Clifford WolfAdded "scatter" command tree | commitdiff
2013-06-12 Clifford WolfRenamed yosys-show temp files to be dot-files in the... tree | commitdiff
2013-06-10 Clifford WolfImprovements and fixes in SAT code tree | commitdiff
2013-06-10 Clifford WolfAdded "rename" command tree | commitdiff
2013-06-09 Clifford WolfRenamed "sat_solve" pass to "sat" tree | commitdiff
2013-06-09 Clifford WolfImplemented temporal induction proofs in sat_solve tree | commitdiff
2013-06-09 Clifford WolfAdded support for non-temporal proofs to sat_solve tree | commitdiff
2013-06-09 Clifford WolfRe-organization in sat_solver pass for temporal induction tree | commitdiff
2013-06-09 Clifford WolfAdded ezSAT api support for don't care values in models tree | commitdiff
2013-06-09 Clifford WolfFixed handling of $_XOR_ in SAT generator tree | commitdiff
2013-06-09 Clifford WolfAdded sequential solving support to sat_solve tree | commitdiff
2013-06-08 Clifford WolfLook for yosys-abc and yosys-svgviewer where the main... tree | commitdiff
2013-06-08 Clifford WolfAdded "make abc" and "make install-abc" tree | commitdiff
2013-06-08 Clifford WolfMoved cmds from kernel/ to passes/cmds/ tree | commitdiff
2013-06-08 Clifford WolfFixed typo is sat_solve help msg tree | commitdiff
2013-06-08 Clifford WolfAdded support for shifter cells to SAT generator tree | commitdiff
2013-06-08 Clifford WolfVarious improvements in sat_solve pass and SAT generator tree | commitdiff
2013-06-08 Clifford WolfAdded -all and -max options to sat_solve tree | commitdiff
2013-06-08 Clifford WolfImproved auto-detection of -show signals in sat_solve tree | commitdiff
2013-06-07 Clifford WolfImproved sat generator and sat_solve pass tree | commitdiff
2013-06-07 Clifford WolfAdded SAT generator and simple sat_solve command tree | commitdiff
2013-06-05 Clifford WolfRenamed opt_rmunused to opt_clean tree | commitdiff
2013-05-26 Clifford WolfFixed techmap/flatten for positional module arguments tree | commitdiff
2013-05-26 Clifford WolfImproved log messages generated by hierarchy pass tree | commitdiff
2013-05-24 Clifford WolfAdded -nodetect option to fsm pass tree | commitdiff
2013-05-24 Clifford WolfImproved FSM one-hot encoding, added binary encoding tree | commitdiff
2013-05-24 Clifford WolfAdded log_abort() api tree | commitdiff
2013-05-23 Clifford WolfFixed a gcc vs. clang determinism problem in abc pass tree | commitdiff
2013-05-23 Clifford WolfFixed memory corruption bug in opt_rmunused tree | commitdiff
2013-05-23 Clifford WolfAdded missing newline to some error messages tree | commitdiff
2013-05-23 Clifford WolfSome improvements in opt_rmdff tree | commitdiff
2013-05-17 Clifford WolfFixed to aggressive x-folding in opt_const tree | commitdiff
2013-05-16 Clifford WolfMerge branch 'bugfix' tree | commitdiff
2013-04-27 Clifford WolfAdded support for const cell inputs in techmap tree | commitdiff
2013-04-26 Clifford WolfAdded "flatten" pass tree | commitdiff
2013-04-26 Clifford WolfFixed hierarchy pass for hierarchies of parametric... tree | commitdiff
2013-04-15 Clifford WolfAdded "submod -name ..." support tree | commitdiff
next