projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
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
2014-02-05 Clifford WolfAdded setattr and setparam commands commit | commitdiff | tree
2014-02-05 Clifford WolfUpdated todo items in README file commit | commitdiff | tree
2014-02-05 Clifford WolfRemoved old unused files from tests/ commit | commitdiff | tree
2014-02-04 Clifford WolfAdded support for dump -append commit | commitdiff | tree
2014-02-04 Clifford WolfThrow errors if non-existing selection variables are... commit | commitdiff | tree
2014-02-04 Clifford WolfAdded select -none commit | commitdiff | tree
2014-02-04 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-04 Clifford WolfFixed detection of init attribute in opt_rmdff commit | commitdiff | tree
2014-02-04 Clifford WolfAdded support for inline commands to abc -script commit | commitdiff | tree
2014-02-04 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-04 Clifford WolfAdded hierarchy -purge_lib option commit | commitdiff | tree
2014-02-04 Clifford WolfAdded test cases for sat command commit | commitdiff | tree
2014-02-04 Clifford Wolfadded sat -falsify commit | commitdiff | tree
2014-02-04 Clifford WolfFixed bug in sequential sat proofs and improved handlin... commit | commitdiff | tree
2014-02-04 Clifford WolfImproved handling of reg init in opt_share and opt_rmdff commit | commitdiff | tree
2014-02-03 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-03 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-03 Clifford WolfAddred sat option -ignore_unknown_cells commit | commitdiff | tree
2014-02-03 Clifford WolfAdded TRANSPARENT parameter to $memrd (and RD_TRANSPARE... commit | commitdiff | tree
2014-02-03 Clifford WolfReplaced isim with xsim in tests/tools/autotest.sh... commit | commitdiff | tree
2014-02-02 Clifford WolfMore opt_const -mux_bool features commit | commitdiff | tree
2014-02-02 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-02 Clifford WolfAdded opt_const -mux_bool commit | commitdiff | tree
2014-02-02 Clifford WolfAdded support for inverter chains to opt_const commit | commitdiff | tree
2014-02-02 Clifford WolfAdded RTLIL::SigSpec::to_single_sigbit() commit | commitdiff | tree
2014-02-02 Clifford WolfOnly generate write-enable $and if WE is not constant... commit | commitdiff | tree
2014-02-02 Clifford WolfAdded constant-clock case to opt_rmdff commit | commitdiff | tree
2014-02-02 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-02 Clifford WolfAdded show -notitle option commit | commitdiff | tree
2014-02-02 Clifford WolfAdded delete command commit | commitdiff | tree
2014-02-02 Clifford WolfAdded suuport for module attribute matching with A... commit | commitdiff | tree
2014-02-02 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-02 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-02-02 Clifford WolfAdded support for blanks after -I and -D in read_verilog commit | commitdiff | tree
2014-02-01 Clifford WolfFixed a bug in miter command commit | commitdiff | tree
2014-02-01 Clifford WolfAdded sat -show-inputs and -show-outputs commit | commitdiff | tree
2014-02-01 Clifford WolfAdded show -color support for cells and finished show... commit | commitdiff | tree
next