git.libre-soc.org Git - yosys.git/search

2014-02-06	Clifford Wolf	Added counters sat test case	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added sat -verify and -falsify support for non-prove...	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added expose command	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Simplified select "Assertation failed" message generation	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Merge pull request #22 from hansiglaser/master	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added BTOR backend README file	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added selection support for r: and selection with relational...	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added read_verilog -setattr	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added setattr and setparam commands	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Updated todo items in README file	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Removed old unused files from tests/	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Added support for dump -append	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Throw errors if non-existing selection variables are...	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Added select -none	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Fixed detection of init attribute in opt_rmdff	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Added support for inline commands to abc -script	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Added hierarchy -purge_lib option	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Added test cases for sat command	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	added sat -falsify	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Fixed bug in sequential sat proofs and improved handling...	commit \| commitdiff \| tree
2014-02-04	Clifford Wolf	Improved handling of reg init in opt_share and opt_rmdff	commit \| commitdiff \| tree
2014-02-03	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-03	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-03	Clifford Wolf	Addred sat option -ignore_unknown_cells	commit \| commitdiff \| tree
2014-02-03	Clifford Wolf	Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT...	commit \| commitdiff \| tree
2014-02-03	Clifford Wolf	Replaced isim with xsim in tests/tools/autotest.sh...	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	More opt_const -mux_bool features	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added opt_const -mux_bool	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added support for inverter chains to opt_const	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added RTLIL::SigSpec::to_single_sigbit()	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Only generate write-enable $and if WE is not constant...	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added constant-clock case to opt_rmdff	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added show -notitle option	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added delete command	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added suuport for module attribute matching with A...	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-02	Clifford Wolf	Added support for blanks after -I and -D in read_verilog	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Fixed a bug in miter command	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Added sat -show-inputs and -show-outputs	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Added show -color support for cells and finished show...	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Fixed comment/eol parsing in ilang frontend	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Added constant size expression support of sized constants	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Added note about SystemVerilog assert statement to...	commit \| commitdiff \| tree
2014-02-01	Clifford Wolf	Added miter command	commit \| commitdiff \| tree
2014-01-31	Clifford Wolf	Progress on presentation	commit \| commitdiff \| tree
2014-01-31	Clifford Wolf	More changes to techlibs/common/simlib.v for LEC	commit \| commitdiff \| tree
2014-01-30	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-01-30	Clifford Wolf	Bugfix in name resolution with generate blocks	commit \| commitdiff \| tree
2014-01-30	Clifford Wolf	Added yosys -H for command list	commit \| commitdiff \| tree
2014-01-29	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-01-29	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-01-29	Clifford Wolf	Tiny change in example script in README	commit \| commitdiff \| tree
2014-01-29	Clifford Wolf	Added -h command line option	commit \| commitdiff \| tree
2014-01-29	Clifford Wolf	Added test comments to techlibs/cmos/cmos_cells.lib	commit \| commitdiff \| tree
2014-01-29	Clifford Wolf	Updated ABC to hg rev e6b09e1	commit \| commitdiff \| tree
2014-01-28	Clifford Wolf	Added read_verilog -icells option	commit \| commitdiff \| tree
2014-01-28	Clifford Wolf	Major rewrite of techlibs/common/simlib.v for LEC ...	commit \| commitdiff \| tree
2014-01-28	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-01-28	Clifford Wolf	Renamed manual/FILES_* directories	commit \| commitdiff \| tree
2014-01-28	Clifford Wolf	Progress on presentation	commit \| commitdiff \| tree
2014-01-27	Clifford Wolf	Progress on presentation	commit \| commitdiff \| tree
2014-01-27	Clifford Wolf	Added first presentation slides	commit \| commitdiff \| tree
2014-01-26	Clifford Wolf	Merge branch 'btor' of https://github.com/ahmedirfan1983...	commit \| commitdiff \| tree
2014-01-26	Clifford Wolf	Merge pull request #21 from hansiglaser/master	commit \| commitdiff \| tree
2014-01-25	Clifford Wolf	Added support for // comments in liberty parser	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Merge branch 'btor'	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Use techmap -share_map in btor scripts	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Moved btor scripts to backends/btor/	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Restored Makefile	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Restored IdString::check()	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Merge branch 'btor' of https://github.com/ahmedirfan1983...	commit \| commitdiff \| tree
2014-01-24	Clifford Wolf	Fixed handling of unsized constants in verilog frontend	commit \| commitdiff \| tree
2014-01-20	Clifford Wolf	Fixed algorithmic complexity of AST simplification...	commit \| commitdiff \| tree
2014-01-19	Clifford Wolf	Added hilomap command	commit \| commitdiff \| tree
2014-01-19	Clifford Wolf	Added sat -tempinduc and sat -prove-asserts	commit \| commitdiff \| tree
2014-01-19	Clifford Wolf	Added $assert support to satgen	commit \| commitdiff \| tree
2014-01-19	Clifford Wolf	Added $assert cell	commit \| commitdiff \| tree
2014-01-19	Clifford Wolf	Added Verilog parser support for asserts	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Fixed $lut simlib model for a wider range of tools	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Fixed parsing of verilog macros at end of line	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	More changes to simlib to make it friendlier to a wider...	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Fixed a type in $mem model in simlib.v	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Removed cases of trailing comma in stdcells.v	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Added $bu0 cell to simlib.v	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Improved setundef random number generator	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added setundef command	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Some improvements in log_dump_val_worker() templates	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added techlibs/common/pmux2mux.v	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added verilog_defaults command	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added support for $adff with undef data inputs to opt_rmdff	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added select -assert-none and -assert-any	commit \| commitdiff \| tree
next

RSS Atom