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

2019-06-20	Ben Widawsky	Add a few more filename rewrites	blob \| commitdiff \| raw
2019-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-05-06	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-05-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into cliff...	blob \| commitdiff \| raw \| diff to current
2019-05-03	Clifford Wolf	Merge pull request #969 from YosysHQ/clifford/pmgenstuff	blob \| commitdiff \| raw \| diff to current
2019-05-03	Clifford Wolf	Merge pull request #976 from YosysHQ/clifford/fix974	blob \| commitdiff \| raw \| diff to current
2019-05-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-05-01	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2019-05-01	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-05-01	Clifford Wolf	Merge branch 'clifford/fix883'	blob \| commitdiff \| raw \| diff to current
2019-05-01	Clifford Wolf	Add missing enable_undef to "sat -tempinduct-def",...	blob \| commitdiff \| raw \| diff to current
2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw \| diff to current
2018-09-17	Udi Finkelstein	Merge branch 'master' into pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-08-22	Jim Lawson	Merge pull request #1 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-18	Aman Goel	Merge pull request #3 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #573 from cr1901/msys-64	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #591 from hzeller/virtual-override	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #513 from udif/pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-07-21	Henner Zeller	Consistent use of 'override' for virtual methods in...	blob \| commitdiff \| raw \| diff to current
2018-03-29	Clifford Wolf	Removed $timescale from "sat" command VCD writer	blob \| commitdiff \| raw \| diff to current
2016-09-06	Clifford Wolf	Run log_flush() before solving in sat command	blob \| commitdiff \| raw \| diff to current
2016-07-24	Clifford Wolf	Moved SatHelper::setup_init() code to SatHelper::setup()	blob \| commitdiff \| raw \| diff to current
2016-07-23	Clifford Wolf	Added $initstate support to "sat" command	blob \| commitdiff \| raw \| diff to current
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2016-04-23	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-04-21	Clifford Wolf	Added "yosys -D" feature	blob \| commitdiff \| raw \| diff to current
2016-04-07	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-04-05	Clifford Wolf	Improved formatting of "sat" output tables	blob \| commitdiff \| raw \| diff to current
2015-12-07	Clifford Wolf	Merge pull request #108 from cseed/master	blob \| commitdiff \| raw \| diff to current
2015-10-25	Clifford Wolf	Import more std:: stuff into Yosys namespace	blob \| commitdiff \| raw \| diff to current
2015-08-18	Clifford Wolf	Added sat -show-regs, -show-public, -show-all	blob \| commitdiff \| raw \| diff to current
2015-08-14	Clifford Wolf	Re-created command-reference-manual.tex, copied some...	blob \| commitdiff \| raw \| diff to current
2015-08-14	Clifford Wolf	Spell check (by Larry Doolittle)	blob \| commitdiff \| raw \| diff to current
2015-07-02	Clifford Wolf	Fixed trailing whitespaces	blob \| commitdiff \| raw \| diff to current
2015-04-18	Clifford Wolf	don't consider blackbox modules in "sat" command	blob \| commitdiff \| raw \| diff to current
2015-04-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2015-02-26	Clifford Wolf	Added non-std verilog assume() statement	blob \| commitdiff \| raw \| diff to current
2015-02-22	Clifford Wolf	Fixed "sat -initsteps" off-by-one bug	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	Added "sat -stepsize" and "sat -tempinduct-step"	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	sat docu change	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	When "sat -tempinduct-baseonly -maxsteps N" reaches...	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	Added "sat -tempinduct-baseonly -tempinduct-inductonly"	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	Fixed basecase init for "sat -tempinduct"	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	Replaced ezDefaultSAT with ezSatPtr	blob \| commitdiff \| raw \| diff to current
2015-02-19	Clifford Wolf	format fixes in "sat -dump_json"	blob \| commitdiff \| raw \| diff to current
2015-02-19	Clifford Wolf	Added "sat -dump_json" (WaveJSON format)	blob \| commitdiff \| raw \| diff to current
2015-01-27	Clifford Wolf	Improved an error message	blob \| commitdiff \| raw \| diff to current
2015-01-27	Clifford Wolf	Added "sat -show-ports"	blob \| commitdiff \| raw \| diff to current
2014-11-09	Clifford Wolf	Added log_warning() API	blob \| commitdiff \| raw \| diff to current
2014-10-10	Clifford Wolf	Renamed SIZE() to GetSize() because of name collision...	blob \| commitdiff \| raw \| diff to current
2014-09-27	Clifford Wolf	namespace Yosys	blob \| commitdiff \| raw \| diff to current
2014-09-22	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-09-06	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2014-09-06	Clifford Wolf	Merge pull request #38 from rubund/master	blob \| commitdiff \| raw \| diff to current
2014-09-06	Ruben Undheim	Corrected spelling mistakes found by lintian	blob \| commitdiff \| raw \| diff to current
2014-08-24	Clifford Wolf	azonenberg: Make dump_vcd save model when temporal...	blob \| commitdiff \| raw \| diff to current
2014-08-08	Clifford Wolf	Added "sat -prove-skip"	blob \| commitdiff \| raw \| diff to current
2014-08-02	Clifford Wolf	More cleanups related to RTLIL::IdString usage	blob \| commitdiff \| raw \| diff to current
2014-07-28	Clifford Wolf	Using log_assert() instead of assert()	blob \| commitdiff \| raw \| diff to current
2014-07-27	Clifford Wolf	Refactoring: Renamed RTLIL::Design::modules to modules_	blob \| commitdiff \| raw \| diff to current
2014-07-26	Clifford Wolf	Refactoring: Renamed RTLIL::Module::cells to cells_	blob \| commitdiff \| raw \| diff to current
2014-07-26	Clifford Wolf	Refactoring: Renamed RTLIL::Module::wires to wires_	blob \| commitdiff \| raw \| diff to current
2014-07-26	Clifford Wolf	Merge automatic and manual code changes for new cell...	blob \| commitdiff \| raw \| diff to current
2014-07-26	Clifford Wolf	Changed users of cell->connections_ to the new API...	blob \| commitdiff \| raw \| diff to current
2014-07-26	Clifford Wolf	Renamed RTLIL::{Module,Cell}::connections to connections_	blob \| commitdiff \| raw \| diff to current
2014-07-23	Clifford Wolf	Removed RTLIL::SigSpec::optimize()	blob \| commitdiff \| raw \| diff to current
2014-07-23	Clifford Wolf	Removed RTLIL::SigSpec::expand() method	blob \| commitdiff \| raw \| diff to current
2014-07-22	Clifford Wolf	SigSpec refactoring: using the accessor functions every...	blob \| commitdiff \| raw \| diff to current
2014-07-22	Clifford Wolf	SigSpec refactoring: renamed chunks and width to __chun...	blob \| commitdiff \| raw \| diff to current
2014-07-05	Clifford Wolf	now ignore init attributes on non-register wires in...	blob \| commitdiff \| raw \| diff to current
2014-03-13	Clifford Wolf	Small improvement in SAT log messages	blob \| commitdiff \| raw \| diff to current
2014-02-18	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2014-02-18	Clifford Wolf	Added "sat -dump_cnf"	blob \| commitdiff \| raw \| diff to current
2014-02-18	Clifford Wolf	Coding style corrections in SatHelper::dump_model_to_vcd()	blob \| commitdiff \| raw \| diff to current
2014-02-18	Clifford Wolf	Added "sat -initsteps"	blob \| commitdiff \| raw \| diff to current
2014-02-17	Clifford Wolf	Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd"...	blob \| commitdiff \| raw \| diff to current
2014-02-17	Andrew Zonenberg	Added "-dump_fail_to_vcd" argument to SAT solver	blob \| commitdiff \| raw \| diff to current
2014-02-06	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2014-02-06	Clifford Wolf	Added generic RTLIL::SigSpec::parse_sel() with support...	blob \| commitdiff \| raw \| diff to current
2014-02-06	Clifford Wolf	Added support for sat -show @<sel_name>	blob \| commitdiff \| raw \| diff to current
2014-02-06	Clifford Wolf	Added sat -set-init-def and sat -tempinduct-def	blob \| commitdiff \| raw \| diff to current
2014-02-06	Clifford Wolf	Added sat -set-init-zero support	blob \| commitdiff \| raw \| diff to current
2014-02-05	Clifford Wolf	Added sat -verify and -falsify support for non-prove...	blob \| commitdiff \| raw \| diff to current
2014-02-04	Clifford Wolf	added sat -falsify	blob \| commitdiff \| raw \| diff to current
2014-02-04	Clifford Wolf	Fixed bug in sequential sat proofs and improved handlin...	blob \| commitdiff \| raw \| diff to current
2014-02-03	Clifford Wolf	Addred sat option -ignore_unknown_cells	blob \| commitdiff \| raw \| diff to current
2014-02-01	Clifford Wolf	Added sat -show-inputs and -show-outputs	blob \| commitdiff \| raw \| diff to current
2014-01-20	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-01-19	Clifford Wolf	Added sat -tempinduc and sat -prove-asserts	blob \| commitdiff \| raw \| diff to current
2014-01-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-01-02	Clifford Wolf	Major rewrite of "freduce" command	blob \| commitdiff \| raw \| diff to current
2013-12-28	Clifford Wolf	Added sat -prove-x and -set-def-inputs	blob \| commitdiff \| raw \| diff to current
2013-12-27	Clifford Wolf	Added sat -set-def/-set-*-undef support	blob \| commitdiff \| raw \| diff to current
2013-12-27	Clifford Wolf	Renamed sat -set-undef to -set-any-undef	blob \| commitdiff \| raw \| diff to current
2013-12-07	Clifford Wolf	Added sat -max_undef feature	blob \| commitdiff \| raw \| diff to current
2013-12-07	Clifford Wolf	Added "sat" undef support and "sat -set-init" options	blob \| commitdiff \| raw \| diff to current
2013-11-25	Clifford Wolf	Started implementing undef support in "sat" command	blob \| commitdiff \| raw \| diff to current
2013-11-09	Clifford Wolf	Improved user-friendliness of "sat" and "eval" expressi...	blob \| commitdiff \| raw \| diff to current
2013-08-15	Clifford Wolf	Added sat -ignore_div_by_zero switch	blob \| commitdiff \| raw \| diff to current
2013-06-23	Clifford Wolf	Added SAT support for -all/-max with -verify	blob \| commitdiff \| raw \| diff to current
next

RSS Atom