projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
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
2013-05-23 Clifford WolfFixed a gcc vs. clang determinism problem in abc pass commit | commitdiff | tree
2013-05-23 Clifford WolfFixed memory corruption bug in opt_rmunused commit | commitdiff | tree
2013-05-23 Clifford WolfOnly initialize TCL interpreter when needed commit | commitdiff | tree
2013-05-23 Clifford WolfFixed memory leak in ilang frontend commit | commitdiff | tree
2013-05-23 Clifford WolfAdded missing newline to some error messages commit | commitdiff | tree
2013-05-23 Clifford WolfAdded labels to "help -write-tex-command-reference... commit | commitdiff | tree
2013-05-23 Clifford WolfAdded support for processes to show command commit | commitdiff | tree
2013-05-23 Clifford WolfFixed show command for constant assignments commit | commitdiff | tree
2013-05-23 Clifford WolfSome improvements in opt_rmdff commit | commitdiff | tree
2013-05-19 Clifford WolfMerge pull request #6 from hansiglaser/master commit | commitdiff | tree
2013-05-19 Johann Glaseradded option '-Dname[=definition]' to command 'read_ver... commit | commitdiff | tree
2013-05-17 Clifford WolfRemoved test cases that have been moved to yosys-test. commit | commitdiff | tree
2013-05-17 Clifford WolfFixed to aggressive x-folding in opt_const commit | commitdiff | tree
2013-05-16 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2013-05-16 Clifford WolfMerge branch 'bugfix' commit | commitdiff | tree
2013-05-16 Clifford WolfFixed synthesis of functions in latched blocks commit | commitdiff | tree
2013-05-14 Clifford WolfImproved vcdcd.pl (added -d option) commit | commitdiff | tree
2013-05-14 Clifford WolfSome improvements in vcdcd.pl commit | commitdiff | tree
2013-05-07 Clifford WolfAdded support for verilog === operator commit | commitdiff | tree
2013-05-02 Clifford WolfAdded tcl "yosys -import" command commit | commitdiff | tree
2013-05-01 Clifford WolfImproved/simplified TCL bindings commit | commitdiff | tree
2013-04-27 Clifford WolfAdded support for const cell inputs in techmap commit | commitdiff | tree
2013-04-27 Clifford WolfFixed README for new show command behavior (svg vs... commit | commitdiff | tree
2013-04-26 Clifford WolfAdded "flatten" pass commit | commitdiff | tree
2013-04-26 Clifford WolfFixed handling of positional module parameters commit | commitdiff | tree
2013-04-26 Clifford WolfFixed hierarchy pass for hierarchies of parametric... commit | commitdiff | tree
2013-04-26 Clifford WolfOnly use sha1 checksums for names of parametric modules... commit | commitdiff | tree
2013-04-15 Clifford WolfFixed "show -format ..." command line parsing commit | commitdiff | tree
2013-04-15 Clifford WolfAdded "submod -name ..." support commit | commitdiff | tree
2013-04-13 Clifford WolfFixed a bug in AST frontend for cases with non-blocking... commit | commitdiff | tree
2013-04-13 Clifford WolfFixed a bug in opt_const when optimizing 1-bit compares... commit | commitdiff | tree
2013-04-07 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2013-04-07 Clifford WolfFixed clock related parameter names for $memrd and... commit | commitdiff | tree
2013-04-05 Clifford WolfMerge pull request #5 from hansiglaser/master commit | commitdiff | tree
2013-04-05 Johann Glaserfsm_export: optionally use binary state encoding as... commit | commitdiff | tree
2013-04-05 Clifford WolfMerge pull request #4 from hansiglaser/master commit | commitdiff | tree
2013-04-05 Johann Glaserfsm_export: specify KISS filename on command line commit | commitdiff | tree
2013-04-01 Clifford WolfFixed/improved handling of colored wires in show command commit | commitdiff | tree
2013-04-01 Clifford WolfAdded support for @<set-name> in expand select ops... commit | commitdiff | tree
2013-04-01 Clifford WolfRemoved 4096 bytes limit for size of command from scrip... commit | commitdiff | tree
2013-04-01 Clifford WolfAdded -color <color> <selection> option to show command commit | commitdiff | tree
2013-03-31 Clifford WolfFixed "select" for "%%" stmt with emty stack commit | commitdiff | tree
2013-03-31 Clifford WolfAdded "script" command commit | commitdiff | tree
2013-03-31 Clifford WolfNow only use value from "initial" when no matching... commit | commitdiff | tree
2013-03-31 Clifford WolfAdded AST_INITIAL (before verilog "initial" was mapped... commit | commitdiff | tree
2013-03-31 Clifford WolfAdded test cases from 2012 paper on comparison of foss... commit | commitdiff | tree
next