projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
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
2014-02-01 Clifford WolfFixed comment/eol parsing in ilang frontend commit | commitdiff | tree
2014-02-01 Clifford WolfAdded constant size expression support of sized constants commit | commitdiff | tree
2014-02-01 Clifford WolfAdded note about SystemVerilog assert statement to... commit | commitdiff | tree
2014-02-01 Clifford WolfAdded miter command commit | commitdiff | tree
2014-01-31 Clifford WolfProgress on presentation commit | commitdiff | tree
2014-01-31 Clifford WolfMore changes to techlibs/common/simlib.v for LEC commit | commitdiff | tree
2014-01-30 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-01-30 Clifford WolfBugfix in name resolution with generate blocks commit | commitdiff | tree
2014-01-30 Clifford WolfAdded yosys -H for command list commit | commitdiff | tree
2014-01-29 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-01-29 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-01-29 Clifford WolfTiny change in example script in README commit | commitdiff | tree
2014-01-29 Clifford WolfAdded -h command line option commit | commitdiff | tree
2014-01-29 Clifford WolfAdded test comments to techlibs/cmos/cmos_cells.lib commit | commitdiff | tree
2014-01-29 Clifford WolfUpdated ABC to hg rev e6b09e1 commit | commitdiff | tree
2014-01-28 Clifford WolfAdded read_verilog -icells option commit | commitdiff | tree
2014-01-28 Clifford WolfMajor rewrite of techlibs/common/simlib.v for LEC ... commit | commitdiff | tree
2014-01-28 Clifford Wolfpresentation progress commit | commitdiff | tree
2014-01-28 Clifford WolfRenamed manual/FILES_* directories commit | commitdiff | tree
2014-01-28 Clifford WolfProgress on presentation commit | commitdiff | tree
2014-01-27 Clifford WolfProgress on presentation commit | commitdiff | tree
2014-01-27 Clifford WolfAdded first presentation slides commit | commitdiff | tree
2014-01-26 Clifford WolfMerge branch 'btor' of https://github.com/ahmedirfan198... commit | commitdiff | tree
2014-01-26 Clifford WolfMerge pull request #21 from hansiglaser/master commit | commitdiff | tree
2014-01-25 Johann Glaserenabled multiple "-map" for the extract pass commit | commitdiff | tree
2014-01-25 Johann Glaserbeautified write_intersynth commit | commitdiff | tree
2014-01-25 Ahmed Irfanroot bug corrected commit | commitdiff | tree
2014-01-25 Clifford WolfAdded support for // comments in liberty parser commit | commitdiff | tree
2014-01-24 Clifford WolfMerge branch 'btor' commit | commitdiff | tree
2014-01-24 Ahmed Irfanremoved regex include commit | commitdiff | tree
2014-01-24 Ahmed Irfanmerged clifford changes + removed regex commit | commitdiff | tree
2014-01-24 Clifford WolfUse techmap -share_map in btor scripts commit | commitdiff | tree
2014-01-24 Clifford WolfMoved btor scripts to backends/btor/ commit | commitdiff | tree
2014-01-24 Clifford WolfRestored Makefile commit | commitdiff | tree
2014-01-24 Clifford WolfRestored IdString::check() commit | commitdiff | tree
2014-01-24 Clifford WolfMerge branch 'btor' of https://github.com/ahmedirfan198... commit | commitdiff | tree
2014-01-24 Clifford WolfFixed handling of unsized constants in verilog frontend commit | commitdiff | tree
next