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

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
2014-01-16	Clifford Wolf	Added automatic memid generation to memory_unpack command	commit \| commitdiff \| tree
2014-01-16	Clifford Wolf	Added memory_unpack command	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Merge pull request #20 from mschmoelzer/master	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Added hierarchy -libdir option	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	renamed LibertyParer to LibertyParser	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Added "+" to list of liberty token characters	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Added "opt_const -mux_undef"	commit \| commitdiff \| tree
2014-01-12	Clifford Wolf	Fixed typo in frontends/ast/simplify.cc	commit \| commitdiff \| tree
2014-01-04	Clifford Wolf	Improved performance of freduce input cone reduction	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Improved freduce performance on const signals	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Performance improvements in freduce pass	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	More freduce cleanups	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added updating of RTLIL::autoidx to ilang frontend	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Cleanups in freduce command	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Fixed SAT and ConstEval undef handling for $pmux and...	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Tiny cleanup in proc_mux.cc	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added "splitnets -driver"	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Use selection in freduce command	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Another small freduce cleanup/bugfix	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added "connect" command	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	More freduce cleanups and bugfixes	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added RTLIL::SigSpec::optimized() API	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Added correct handling of $memwr priority	commit \| commitdiff \| tree
next

RSS Atom