Date: Wed, 23 Nov 2016 12:11:42 -0600 From: "A. Wilcox" <AWilcox@Wilcox-Tech.com> To: freebsd-current@freebsd.org Subject: Re: Optimising generated rules for SAT solving (5/12 are duplicates) Message-ID: <5835DBDE.8010409@Wilcox-Tech.com> In-Reply-To: <CABh_MK=bR6VqrJtbPLaoOVSffFis=nJajoEmMym=eMrprN0NKw@mail.gmail.com> References: <20150414200459.GE39658@ivaldir.etoilebsd.net> <20150421103454.GR1394@zxy.spb.ru> <5593D0AE.2010205@selasky.org> <416359ce-1dcd-1160-5c56-f120a0f6358f@selasky.org> <20160627115533.gqvdsmtzwnvrrfuo@ivaldir.etoilebsd.net> <0671148b-d7cd-f8ad-906d-a0baa1b98cf5@selasky.org> <cbc964a7-5f90-6ea1-630d-414de68867b1@selasky.org> <CABh_MKm7LAtQzp9KEBpaRZWQQHnsUtNFiKVSVF70-wj4GmytuA@mail.gmail.com> <e9e1571b-443a-2452-926b-1d9f5b2f8e37@selasky.org> <CABh_MK=bR6VqrJtbPLaoOVSffFis=nJajoEmMym=eMrprN0NKw@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On 23/11/16 10:47, Ed Schouten wrote: > 2016-11-23 17:41 GMT+01:00 Hans Petter Selasky <hps@selasky.org>: >> GitHub wouldn't allow me to make a .diff attachment. >=20 > But there's absolutely no need for doing that in the first place! :-) >=20 > 1. Go to https://github.com/freebsd/pkg > 2. Click 'Fork' on the top right. This will probably create a > https://github.com/hselasky/pkg > 3. Check out that repository using git(1), create a separate branch > and commit the changes to the SAT solver. > 4. Go to https://github.com/hselasky/pkg and click on 'New pull request= '. > 5. Fill in the form. >=20 Or you could just, I don't know, email the diff as a patch using git send-email like normal people instead of using GitHub's walled garden. That way, people without GitHub accounts can still comment on it. Just my 2=A2. --arw --=20 A. Wilcox (awilfox) Open-source programmer (C, C++, Python) https://code.foxkit.us/u/awilfox/ --w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJYNdveAAoJEMspy1GSK50U/WYP/2hx87Wrr22kV9UJmM2q8cd0 RHxaZxK0O51JxHL0x/09/5f+f6U0EFhipiIQOIuevtue6tkgZnTA+3Luj5LmUvZp 4DjdDsvbIUjAj8rVnzMVgSIl2tK/jpoiekxny/t9O8ogj40b+7t923Hawzku/m7H d0Hpo1rD6IJfWd1dOagQFlQ+jNhEFtHo60EjGfpNB3q7ah35G11iuZh/djbBje1K XNt7WNPU45/DdUehsesaPSH8O04V4WAZrP81HsnRFsSbTcwuHi+Es5sJ6lABDUMu e+iFzOkHt8ijsS+L2TvPxFOFmPXkGCR4Xhh/mTwgOcOfAFF/sunZ8p+ettB7OARF kEGQNA6CET4kWkp/PgtfZBaiYE40ZLn3jYqOYUBsNBT7jjIKMxQTg4Y9+W6OP/vn JRpx+9eBT5fXYTS4j1Xg8dJBo+KTn+Q4+i1K18Ab/1VCSIBm9FcZzmL2uWV9j1qV ujACt9sZ1oYrDXIK3YDwA+t9j6MtBatXt6rjc08YXTSUyX3ZRB5wYnDOerw0THFx cIgWmTAvSEwd5I8RAwXqQk4pfs4jhNZBsKPHx65E5lIXFLR4y/Ly/NilLVUh+k/a dg1PSXu4dX2Decvp11pR12C9Dzo7oBGFce1do0mJIuvJTuftDz4byIupiGP3C67+ aDRuWvDs9n6mXhjZK5OZ =nFKt -----END PGP SIGNATURE----- --w4PtONbM2piogfoE6xcA6rgxwgQJ7XLnM--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5835DBDE.8010409>