projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added work-around to isim bug in xsthammer report script
[yosys.git] / passes /
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
2013-04-13 Clifford WolfFixed a bug in opt_const when optimizing 1-bit compares... tree | commitdiff
2013-04-07 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-04-05 Clifford WolfMerge pull request #5 from hansiglaser/master tree | commitdiff
2013-04-05 Johann Glaserfsm_export: optionally use binary state encoding as... tree | commitdiff
2013-04-05 Clifford WolfMerge pull request #4 from hansiglaser/master tree | commitdiff
2013-04-05 Johann Glaserfsm_export: specify KISS filename on command line tree | commitdiff
2013-03-29 Clifford WolfImproved opt_share for reduce cells tree | commitdiff
2013-03-29 Clifford WolfImproved opt_share for commutative standard cells tree | commitdiff
2013-03-28 Clifford WolfAdded proper TECHMAP_FAIL support and added support... tree | commitdiff
2013-03-28 Clifford WolfImplemented proper handling of stub placeholder modules tree | commitdiff
2013-03-27 Clifford WolfAdded yosys-svgviewer to build system and renamed filte... tree | commitdiff
2013-03-26 Clifford WolfCollect parameters in hierarchy -generate (and do nothi... tree | commitdiff
2013-03-25 Clifford WolfAdded nosync attribute and some async reset related... tree | commitdiff
2013-03-25 Clifford WolfImproved method for finding fsm_expand candidates tree | commitdiff
2013-03-25 Clifford WolfAdded hierarchy -generate command for generating skelet... tree | commitdiff
2013-03-24 Clifford WolfChanged fsm_expand to merge multiplexers more aggressively tree | commitdiff
2013-03-21 Clifford WolfAdded -nomap option to memory pass tree | commitdiff
2013-03-19 Clifford WolfMerge branch 'hansiglaser-master' tree | commitdiff
2013-03-19 Clifford Wolfadded optimizations for single-bit $eq/$ne with constan... tree | commitdiff
2013-03-19 Clifford Wolfimproved $mux optimization in opt_const tree | commitdiff
2013-03-19 Clifford Wolfkeep $mux and $_MUX_ optimizations separate in opt_const tree | commitdiff
2013-03-18 Johann Glaseradded one more suggestion to optimize MUXes in pass... tree | commitdiff
2013-03-18 Johann Glaseralso optimize single-bit "$mux" cells in pass "opt_cons... tree | commitdiff
2013-03-18 Clifford WolfMerge branch 'hansi' tree | commitdiff
2013-03-18 Clifford WolfRemoved date from auto-generated passes/techmap/stdcell... tree | commitdiff
2013-03-18 Clifford WolfFixed abc eeror handling tree | commitdiff
2013-03-18 Johann Glaseradd header to autogenerated file on its origin tree | commitdiff
2013-03-18 Johann Glaserfixed typos tree | commitdiff
2013-03-17 Clifford WolfFixed strerrno vs. strerror types in ABC pass tree | commitdiff
2013-03-17 Clifford WolfMerge branch 'hansi' tree | commitdiff
2013-03-17 Clifford WolfCleaned up ABC file/io error handling tree | commitdiff
2013-03-17 Johann Glaseradded error checking at execution of ABC tree | commitdiff
2013-03-17 Johann Glasercorrected typos tree | commitdiff
2013-03-15 Clifford WolfFixed gcc warnings and added error handling to shell... tree | commitdiff
2013-03-15 Clifford WolfAdded scc pass (find logic loops) tree | commitdiff
2013-03-15 Clifford WolfAdded [[CITE]] tags to abc and fsm_extract passes tree | commitdiff
2013-03-10 Clifford WolfFixed detection of public wires in opt_rmunused tree | commitdiff
2013-03-08 Clifford WolfAutomatically select new objects in abc and techmap... tree | commitdiff
2013-03-08 Clifford WolfSplit extract -attr into extract -cell_attr and -wire_attr tree | commitdiff
2013-03-07 Clifford WolfAdded support for attribute matching in extract pass tree | commitdiff
2013-03-05 Clifford WolfChanged default value for extract -mine_cells_span tree | commitdiff
2013-03-05 Clifford WolfImplemented -mine_split option to extract pass tree | commitdiff
2013-03-05 Clifford WolfImplemented much better #x select operator tree | commitdiff
2013-03-03 Clifford WolfImplemented extract -mine_max_fanout <num> option tree | commitdiff
2013-03-03 Clifford WolfAdded "shared nodes" feature to the subcircuit library tree | commitdiff
2013-03-03 Clifford WolfAdded support for "extract_order" attribute to extract... tree | commitdiff
2013-03-03 Clifford WolfAdded design->select() api and use it in extract pass tree | commitdiff
2013-03-03 Clifford WolfMinor hotfixes (mostly gcc build fixes) tree | commitdiff
2013-03-03 Clifford WolfAdded library support to celltypes class and show pass tree | commitdiff
2013-03-03 Clifford WolfImplemented general handler for selection arguments tree | commitdiff
2013-03-02 Clifford WolfFinished "extract -mine" feature tree | commitdiff
2013-03-02 Clifford WolfAdded -mine option to extract pass (not finished) tree | commitdiff
next