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

2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw
2019-09-13	Eddie Hung	Revert "SigSet<Cell*> to use stable compare class"	blob \| commitdiff \| raw
2019-09-12	Eddie Hung	SigSet<Cell*> to use stable compare class	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eddie Hung	Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw
2019-08-30	David Shah	Merge branch 'master' into xc7dsp	blob \| commitdiff \| raw
2019-08-29	Sergey	Merge pull request #3 from YosysHQ/Sergey/tests_ice40	blob \| commitdiff \| raw
2019-08-28	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_...	blob \| commitdiff \| raw
2019-08-28	Eddie Hung	Merge remote-tracking branch 'origin/clifford/async2syn...	blob \| commitdiff \| raw
2019-08-28	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw
2019-08-28	David Shah	Merge pull request #1332 from YosysHQ/dave/ecp5gsr	blob \| commitdiff \| raw
2019-08-27	Clifford Wolf	Merge pull request #1325 from YosysHQ/eddie/sat_init	blob \| commitdiff \| raw
2019-08-27	Eddie Hung	Ignore all 1'bx in (* init *)	blob \| commitdiff \| raw
2019-08-27	Eddie Hung	Revert "In sat: 'x' in init attr should not override...	blob \| commitdiff \| raw \| diff to current
2019-08-26	Eddie Hung	Merge branch 'master' into eddie/xilinx_srl	blob \| commitdiff \| raw \| diff to current
2019-08-26	Clifford Wolf	Merge tag 'yosys-0.9'	blob \| commitdiff \| raw \| diff to current
2019-08-25	Clifford Wolf	Merge pull request #1112 from acw1251/pyosys_sigsig_issue	blob \| commitdiff \| raw \| diff to current
2019-08-23	Eddie Hung	Merge remote-tracking branch 'origin/clifford/pmgen...	blob \| commitdiff \| raw \| diff to current
2019-08-23	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-22	Eddie Hung	In sat: 'x' in init attr should not override constant	blob \| commitdiff \| raw \| diff to current
2019-08-22	Eddie Hung	In sat: 'x' in init attr should not override constant	blob \| commitdiff \| raw \| diff to current
2019-08-22	Clifford Wolf	Merge pull request #1281 from mmicko/efinix	blob \| commitdiff \| raw \| diff to current
2019-08-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge branch 'eddie/abc9_refactor' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge pull request #1250 from bwidawsk/master	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge https://github.com/bogdanvuk/yosys into bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-12	Serge Bazanski	Merge pull request #1152 from 1138-4EB/feat-docker	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1258 from YosysHQ/eddie/cleanup	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	substr() -> compare()	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Remove std:: namespace	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	stoi -> atoi	blob \| commitdiff \| raw \| diff to current
2019-08-06	Eddie Hung	Use std::stoi instead of atoi(<str>.c_str())	blob \| commitdiff \| raw \| diff to current
2019-07-24	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-07-01	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-06-27	Bogdan Vukobratovic	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'xc7nocarrymux' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge remote-tracking branch 'origin/xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge pull request #1108 from YosysHQ/clifford/fix1091	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge pull request #1085 from YosysHQ/eddie/shregmap_im...	blob \| commitdiff \| raw \| diff to current
2019-06-21	Clifford Wolf	Merge pull request #1117 from bwidawsk/more-home	blob \| commitdiff \| raw \| diff to current
2019-06-20	Ben Widawsky	Add a few more filename rewrites	blob \| commitdiff \| raw \| diff to current
2019-06-14	Bogdan Vukobratovic	Some cleanup, revert sat.cc	blob \| commitdiff \| raw \| diff to current
2019-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-05-31	Eddie Hung	Merge branch 'xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-28	Bogdan Vukobratovic	Fix the regression	blob \| commitdiff \| raw \| diff to current
2019-05-28	Bogdan Vukobratovic	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-05-28	Bogdan Vukobratovic	Optimizing DFFs whose initial value prevents their...	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/clifford/pmgenstuf...	blob \| commitdiff \| raw \| diff to current
2019-05-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	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
next

RSS Atom