projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2014-02-15 Clifford WolfAdded != support for relational select pattern commit | commitdiff | tree
2014-02-15 Clifford WolfAdded iopadmap -bits commit | commitdiff | tree
2014-02-15 Clifford WolfAdded ff and latch support to read_liberty commit | commitdiff | tree
2014-02-15 Clifford WolfBugfix in expression parser of read_liberty commit | commitdiff | tree
2014-02-15 Clifford WolfFixed dfflibmap for cell libraries with no set-reset-ff commit | commitdiff | tree
2014-02-15 Clifford WolfCorrectly convert constants to RTLIL (fixed undef handling) commit | commitdiff | tree
2014-02-15 Clifford WolfAdded frontend (-f) option to autotest.sh commit | commitdiff | tree
2014-02-15 Clifford WolfFixed opt_const handling of double invert with non... commit | commitdiff | tree
2014-02-15 Clifford WolfAdded liberty frontend commit | commitdiff | tree
2014-02-14 Clifford WolfBe more conservative with new const-function code commit | commitdiff | tree
2014-02-14 Clifford WolfAdded support for FOR loops in function calls in parameters commit | commitdiff | tree
2014-02-14 Clifford WolfCreated basic support for function calls in parameter... commit | commitdiff | tree
2014-02-14 Clifford WolfAdded abc -keepff option commit | commitdiff | tree
2014-02-13 Clifford Wolfupdated default ABC command strings commit | commitdiff | tree
2014-02-13 Clifford WolfUpdated ABC commit | commitdiff | tree
2014-02-13 Clifford WolfImplemented read_verilog -defer commit | commitdiff | tree
2014-02-13 Clifford WolfRemoved double blanks in ABC default command sequences commit | commitdiff | tree
2014-02-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2014-02-13 Clifford WolfUpdated ABC and some related changes commit | commitdiff | tree
2014-02-12 Clifford WolfMerge pull request #26 from ahmedirfan1983/btor commit | commitdiff | tree
2014-02-12 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2014-02-12 Clifford WolfAdded support for functions returning integer commit | commitdiff | tree
2014-02-12 Ahmed Irfanmodified btor synthesis script for correct use of splic... commit | commitdiff | tree
2014-02-12 Clifford WolfDisabled "abc -dff" in "make test" for now (waiting... commit | commitdiff | tree
2014-02-12 Clifford WolfUpdated ABC to rev e97a6e1d59b9 commit | commitdiff | tree
2014-02-11 Clifford Wolfrenamed ilang "scope error" to "ilang error" commit | commitdiff | tree
2014-02-11 Ahmed Irfandisabling splice command in the script commit | commitdiff | tree
2014-02-11 Ahmed Irfanregister output corrected commit | commitdiff | tree
2014-02-11 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2014-02-11 Ahmed Irfanadded concat and slice cell translation commit | commitdiff | tree
2014-02-11 Clifford WolfMore Makefile cleanups commit | commitdiff | tree
2014-02-11 Clifford WolfImproved "make manual" and "make clean" commit | commitdiff | tree
2014-02-09 Clifford WolfImproved ilang parser error messages commit | commitdiff | tree
2014-02-09 Clifford Wolffixed a bug in subcircuit library with cells that have... commit | commitdiff | tree
2014-02-09 Clifford WolfVarious improvements in expose command (added -sep... commit | commitdiff | tree
2014-02-09 Clifford WolfAdded delete {-input|-output|-port} commit | commitdiff | tree
2014-02-09 Clifford WolfBugfix in delete command commit | commitdiff | tree
2014-02-08 Clifford WolfAdded test cases for expose -evert-dff commit | commitdiff | tree
2014-02-08 Clifford WolfFixed handling of async reset in expose -evert-dff commit | commitdiff | tree
2014-02-08 Clifford WolfBuild fixes for log cmd commit | commitdiff | tree
2014-02-08 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2014-02-08 Clifford WolfImplemented expose -evert-dff commit | commitdiff | tree
2014-02-08 Clifford WolfMerge pull request #24 from hansiglaser/master commit | commitdiff | tree
2014-02-08 Johann Glaseradded "log" command commit | commitdiff | tree
2014-02-08 Clifford WolfImproved checking of internal cell conventions commit | commitdiff | tree
2014-02-08 Clifford WolfFixed bug in collecting of RD_TRANSPARENT parameter... commit | commitdiff | tree
2014-02-08 Clifford WolfAdded various new options to splice command commit | commitdiff | tree
2014-02-08 Clifford WolfAdded %a select operator commit | commitdiff | tree
2014-02-08 Clifford WolfMoved some passes to other source directories commit | commitdiff | tree
2014-02-08 Clifford WolfAdded support for "keep" attribute to abc pass commit | commitdiff | tree
2014-02-08 Clifford WolfAdded opt -purge (frontend to opt_clean -purge) commit | commitdiff | tree
2014-02-08 Clifford WolfOnly count non-trivial attributes when findinf master... commit | commitdiff | tree
2014-02-08 Clifford WolfAdded checking for ABC modifications to Makefile and... commit | commitdiff | tree
2014-02-07 Clifford WolfNow also move net labes to the right position in splice cmd commit | commitdiff | tree
2014-02-07 Clifford WolfImproved detection of primary wire for a signal in... commit | commitdiff | tree
2014-02-07 Clifford WolfAdded splice command commit | commitdiff | tree
2014-02-07 Clifford WolfAdded log_header() to splitnets commit | commitdiff | tree
2014-02-07 Clifford WolfAdded $slice and $concat to CellTypes list commit | commitdiff | tree
2014-02-07 Clifford WolfAdded $slice and $concat cell types commit | commitdiff | tree
2014-02-07 Clifford WolfStronger checking of internal cells commit | commitdiff | tree
2014-02-07 Clifford WolfRe-enabled abc "retime" after sorting yout the yosys... commit | commitdiff | tree
2014-02-07 Clifford WolfAdded echo command commit | commitdiff | tree
2014-02-07 Clifford WolfFixed use of "cmd_error" in passes/cmds/design.cc commit | commitdiff | tree
2014-02-06 Clifford WolfFixed gcc compiler warnings with release build commit | commitdiff | tree
2014-02-06 Clifford WolfDisabled ABC retime for now (elliptic_curve_group testc... commit | commitdiff | tree
2014-02-06 Clifford WolfUpdated ABC to rev 10cc13a2a0f1 commit | commitdiff | tree
2014-02-06 Clifford WolfAdded "retime" to standard ABC recipes commit | commitdiff | tree
2014-02-06 Clifford WolfAdded copy command commit | commitdiff | tree
2014-02-06 Clifford WolfAdded design -stash/-copy-from/-copy-to commit | commitdiff | tree
2014-02-06 Clifford WolfAdded support for s: select expressions (wire width) commit | commitdiff | tree
2014-02-06 Clifford WolfAdded i:, o:, and x: selection pattern commit | commitdiff | tree
2014-02-06 Clifford WolfAdded support for %m selection op commit | commitdiff | tree
2014-02-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2014-02-06 Clifford WolfAdded generic RTLIL::SigSpec::parse_sel() with support... commit | commitdiff | tree
2014-02-06 Clifford WolfMerge pull request #23 from hansiglaser/master commit | commitdiff | tree
2014-02-06 Johann Glasernew %s: add sub-modules to selection commit | commitdiff | tree
2014-02-06 Clifford WolfAdded support for sat -show @<sel_name> commit | commitdiff | tree
2014-02-06 Clifford WolfAdded sat -set-init-def and sat -tempinduct-def commit | commitdiff | tree
2014-02-06 Clifford WolfAdded opt_const -undriven commit | commitdiff | tree
2014-02-06 Clifford WolfAdded expose -dff commit | commitdiff | tree
2014-02-06 Clifford WolfAdded support for #-comments in same line as command commit | commitdiff | tree
2014-02-06 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-06 Clifford WolfChanged techmap description from "simple" to "generic" commit | commitdiff | tree
2014-02-06 Clifford WolfAdded miter -make_outcmp commit | commitdiff | tree
2014-02-06 Clifford WolfAdded sat -set-init-zero support commit | commitdiff | tree
2014-02-06 Clifford WolfAdded support for backslash continuation in script... commit | commitdiff | tree
2014-02-06 Clifford WolfAdded counters sat test case commit | commitdiff | tree
2014-02-05 Clifford WolfAdded sat -verify and -falsify support for non-prove... commit | commitdiff | tree
2014-02-05 Clifford WolfAdded expose command commit | commitdiff | tree
2014-02-05 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-05 Clifford WolfSimplified select "Assertation failed" message generation commit | commitdiff | tree
2014-02-05 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2014-02-05 Clifford WolfMerge pull request #22 from hansiglaser/master commit | commitdiff | tree
2014-02-05 Clifford WolfAdded BTOR backend README file commit | commitdiff | tree
2014-02-05 Clifford WolfAdded selection support for r: and selection with relat... commit | commitdiff | tree
2014-02-05 Johann Glaserbe more verbose for select -assert-any and -assert... commit | commitdiff | tree
2014-02-05 Johann Glaserimproved help for "select" commit | commitdiff | tree
2014-02-05 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-05 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-05 Clifford WolfAdded read_verilog -setattr commit | commitdiff | tree
next