projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2013-07-24 Clifford WolfAutomatically run "proc" on extract map files commit | commitdiff | tree
2013-07-23 Clifford WolfAdded $lut cells and abc lut mapping support commit | commitdiff | tree
2013-07-23 Clifford WolfFixed "make clean" for manual files commit | commitdiff | tree
2013-07-21 Clifford WolfAdded web site link to README commit | commitdiff | tree
2013-07-20 Clifford WolfAdded Yosys Manual commit | commitdiff | tree
2013-07-12 Clifford WolfMore fixes in ternary op sign handling commit | commitdiff | tree
2013-07-11 Clifford WolfFixed sign handling in ternary operator commit | commitdiff | tree
2013-07-11 Clifford WolfAdded ast frontend refactoring to TODO commit | commitdiff | tree
2013-07-11 Clifford WolfAnother vloghammer related bugfix commit | commitdiff | tree
2013-07-10 Clifford WolfBugfixes for empty signal vectors commit | commitdiff | tree
2013-07-09 Clifford WolfFixed sign propagation in bit-wise operators commit | commitdiff | tree
2013-07-09 Clifford WolfMore fixes in ast expression sign/width handling commit | commitdiff | tree
2013-07-09 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2013-07-09 Clifford WolfFixed shift ops with large right hand side commit | commitdiff | tree
2013-07-09 Clifford WolfMajor redesign of expr width/sign detecion (verilog... commit | commitdiff | tree
2013-07-07 Clifford WolfFixed another bug found using vloghammer commit | commitdiff | tree
2013-07-07 Clifford WolfFixed AST_CONSTANT node generation commit | commitdiff | tree
2013-07-07 Clifford WolfRemoved tests/xsthammer commit | commitdiff | tree
2013-07-07 Clifford WolfAdded opt_clean -purge option commit | commitdiff | tree
2013-07-07 Clifford WolfFixed handling of $eq and $ne in opt_const commit | commitdiff | tree
2013-07-05 Clifford WolfFixed vivado related xsthammer bugs commit | commitdiff | tree
2013-07-05 Clifford WolfVarious improvements in xsthammer report generator commit | commitdiff | tree
2013-07-05 Clifford WolfAdded work-around to isim bug in xsthammer report script commit | commitdiff | tree
2013-07-05 Clifford WolfFixed gcc warnings in ezminisat commit | commitdiff | tree
2013-07-05 Clifford WolfAdded CARRY4 Xilinx cell to xsthammer cell lib commit | commitdiff | tree
2013-07-05 Clifford WolfAdded xsthammer report generator commit | commitdiff | tree
2013-07-04 Clifford WolfImproved xsthammer quartus support commit | commitdiff | tree
2013-07-04 Clifford WolfAdded Altera Cyclon III cell library to xsthammer commit | commitdiff | tree
2013-07-04 Clifford WolfDocumentation updates commit | commitdiff | tree
2013-07-04 Clifford WolfAdded defparam support to Verilog/AST frontend commit | commitdiff | tree
2013-07-03 Clifford WolfAdded QMAKE makefile variable commit | commitdiff | tree
2013-07-03 Clifford WolfAdded Altera Quartus support to xsthammer commit | commitdiff | tree
2013-07-03 Clifford WolfProgress in xsthammer commit | commitdiff | tree
2013-06-26 Clifford WolfAdded vivado support to xsthammer commit | commitdiff | tree
2013-06-23 Clifford WolfAdded SAT support for -all/-max with -verify commit | commitdiff | tree
2013-06-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2013-06-20 Clifford WolfAdded timout functionality to SAT solver commit | commitdiff | tree
2013-06-19 Clifford WolfAdded renaming of wires and cells to "rename" command commit | commitdiff | tree
2013-06-19 Clifford WolfAdded "eval" pass commit | commitdiff | tree
2013-06-18 Clifford WolfFixed build with clang commit | commitdiff | tree
2013-06-18 Clifford WolfAdded splitnets command commit | commitdiff | tree
2013-06-18 Clifford WolfAdded RTLIL::Module::fixup_ports() API and RTLIL::... commit | commitdiff | tree
2013-06-17 Clifford WolfAdded more stuff to xsthammer, found first xst bug commit | commitdiff | tree
2013-06-15 Clifford WolfAdded support for "assign" statements in abc vlparse commit | commitdiff | tree
2013-06-15 Clifford WolfAdded ternary op and concat op to xsthammer commit | commitdiff | tree
2013-06-14 Clifford WolfFixed even more ConstEval bugs found using xsthammer commit | commitdiff | tree
2013-06-13 Clifford WolfAdded consteval testing to xsthammer and fixed bugs commit | commitdiff | tree
2013-06-13 Clifford WolfMore xsthammer improvements (using xst 14.5 now) commit | commitdiff | tree
2013-06-13 Clifford WolfMore fixes for bugs found using xsthammer commit | commitdiff | tree
2013-06-12 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2013-06-12 Clifford WolfAnother fix for a bug found using xsthammer commit | commitdiff | tree
2013-06-12 Clifford WolfAdded "scatter" command commit | commitdiff | tree
2013-06-12 Clifford WolfRenamed yosys-show temp files to be dot-files in the... commit | commitdiff | tree
2013-06-12 Clifford WolfFixed gcc build (c++11 stuff in ezSAT) commit | commitdiff | tree
2013-06-11 Clifford WolfFurther improved and extended xsthammer commit | commitdiff | tree
2013-06-10 Clifford WolfMore xsthammer improvements commit | commitdiff | tree
2013-06-10 Clifford WolfMore sign-extension related fixes commit | commitdiff | tree
2013-06-10 Clifford WolfSign-extension related fixes in SatGen and AST frontend commit | commitdiff | tree
2013-06-10 Clifford WolfProgress xsthammer scripts commit | commitdiff | tree
2013-06-10 Clifford WolfImprovements and fixes in SAT code commit | commitdiff | tree
2013-06-10 Clifford WolfAdded history file read/write to driver commit | commitdiff | tree
2013-06-10 Clifford WolfProgress in xsthammer: working proof for cell models commit | commitdiff | tree
2013-06-10 Clifford WolfFixes and improvements in AST const folding commit | commitdiff | tree
2013-06-10 Clifford WolfEnabled AST/Verilog front-end optimizations per default commit | commitdiff | tree
2013-06-10 Clifford WolfFixed generation of newlines in "dump" output commit | commitdiff | tree
2013-06-10 Clifford WolfAdded "rename" command commit | commitdiff | tree
2013-06-10 Clifford WolfProgress on xsthammer commit | commitdiff | tree
2013-06-09 Clifford WolfAdded first xsthammer scripts commit | commitdiff | tree
2013-06-09 Clifford WolfRenamed "sat_solve" pass to "sat" commit | commitdiff | tree
2013-06-09 Clifford WolfImplemented temporal induction proofs in sat_solve commit | commitdiff | tree
2013-06-09 Clifford WolfAdded support for non-temporal proofs to sat_solve commit | commitdiff | tree
2013-06-09 Clifford WolfRe-organization in sat_solver pass for temporal induction commit | commitdiff | tree
2013-06-09 Clifford WolfAdded ezSAT api support for don't care values in models commit | commitdiff | tree
2013-06-09 Clifford WolfFixed handling of $_XOR_ in SAT generator commit | commitdiff | tree
2013-06-09 Clifford WolfAdded sequential solving support to sat_solve commit | commitdiff | tree
2013-06-09 Clifford WolfSet rl_basic_word_break_characters in shell commit | commitdiff | tree
2013-06-08 Clifford WolfImproved readline tab completion commit | commitdiff | tree
2013-06-08 Clifford WolfLook for yosys-abc and yosys-svgviewer where the main... commit | commitdiff | tree
2013-06-08 Clifford WolfAdded "make abc" and "make install-abc" commit | commitdiff | tree
2013-06-08 Clifford WolfMoved cmds from kernel/ to passes/cmds/ commit | commitdiff | tree
2013-06-08 Clifford WolfFixed typo is sat_solve help msg commit | commitdiff | tree
2013-06-08 Clifford WolfAdded support for shifter cells to SAT generator commit | commitdiff | tree
2013-06-08 Clifford WolfAdded "cd" and "ls" commands for convenience commit | commitdiff | tree
2013-06-08 Clifford WolfVarious improvements in sat_solve pass and SAT generator commit | commitdiff | tree
2013-06-08 Clifford WolfAdded -all and -max options to sat_solve commit | commitdiff | tree
2013-06-08 Clifford WolfFixes and improvements in ezSAT library commit | commitdiff | tree
2013-06-08 Clifford WolfImproved auto-detection of -show signals in sat_solve commit | commitdiff | tree
2013-06-07 Clifford WolfImproved sat generator and sat_solve pass commit | commitdiff | tree
2013-06-07 Clifford WolfAdded SAT generator and simple sat_solve command commit | commitdiff | tree
2013-06-07 Clifford WolfAdded ezSAT library commit | commitdiff | tree
2013-06-05 Clifford WolfRenamed opt_rmunused to opt_clean commit | commitdiff | tree
2013-06-03 Clifford WolfImplemented technology mapping for multipliers (using... commit | commitdiff | tree
2013-06-02 Clifford WolfAdded "dump" command (part ilang backend) commit | commitdiff | tree
2013-05-26 Clifford WolfFixed techmap/flatten for positional module arguments commit | commitdiff | tree
2013-05-26 Clifford WolfImproved log messages generated by hierarchy pass commit | commitdiff | tree
2013-05-24 Clifford WolfAdded -nodetect option to fsm pass commit | commitdiff | tree
2013-05-24 Clifford WolfFixed undef behavior in tests/asicworld/code_verilog_tu... commit | commitdiff | tree
2013-05-24 Clifford WolfImproved FSM one-hot encoding, added binary encoding commit | commitdiff | tree
2013-05-24 Clifford WolfAdded log_assert() api commit | commitdiff | tree
2013-05-24 Clifford WolfAdded log_abort() api commit | commitdiff | tree
next