Skip site navigation (1)Skip section navigation (2) 
Date:      Tue, 29 Nov 2016 11:09:57 +0000
From:      David Chisnall <theraven@FreeBSD.org>
To:        "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Cc:        freebsd-current@freebsd.org
Subject:   Re: Optimising generated rules for SAT solving (5/12 are duplicates)
Message-ID:  <D17B0154-DEFD-4E92-949D-6787052F4DBE@FreeBSD.org>
In-Reply-To: <5835DBDE.8010409@Wilcox-Tech.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> <5835DBDE.8010409@Wilcox-Tech.com>
next in thread | previous in thread | raw e-mail | index | archive | help 

[-- Attachment #1 --]
On 23 Nov 2016, at 18:11, A. Wilcox <AWilcox@Wilcox-Tech.com> wrote:
> 
> 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.

GitHub pull requests are branches in the recipients git repo.  Anyone can see the patch without logging in, either via the web interface or by pulling the relevant branch.  If you want to send comments via email based on this copy of the patch, then thats up to you, though personally Id much prefer the GitHub code review interface to anything email based.

David


[-- Attachment #2 --]
0	*H
010	+0	*H

00"kg}0z$F`0
	*H
0u10	UIL10U

StartCom Ltd.1)0'U StartCom Certification Authority1#0!UStartCom Class 1 Client CA0
160419092742Z
170419092742Z0D10Utheraven@freebsd.org1#0!	*H
	theraven@freebsd.org0"0
	*H
0
!htֆ[J
^=*':#Y6"ӊ ؊cR_0WZ=Rx4	asPm&0:P2>u=NbLn]E}$$ xS4ǖRI68RpO֔{\oz;)D=SOM^#;Ԡ*Y߆mbf/+hBӅuQ@ڭʫ&8@Xm00U0U%0++0	U00Us[Ddp=0U#0$l9aIF+('Hmh0o+c0a0$+0http://ocsp.startssl.com09+0-http://aia.startssl.com/certs/sca.client1.crt08U10/0-+)'http://crl.startssl.com/sca-client1.crl0U0theraven@freebsd.org0#U0http://www.startssl.com/0FU ?0=0;+70,0*+http://www.startssl.com/policy0
	*H
R1m
=.A#6n-B;w5'zGL:=E44hOaŹi}l}{f!_Fh+MDZu!K&ECE~PWѥftB+UcEKD&3V]g,}{-)M[_!8jJ&a͒N"jԫt2ךz0ζ=|E?<viA2W9&_u{:u۲\E00ʠk}
׈Q
Y0
	*H
0}10	UIL10U

StartCom Ltd.1+0)U"Secure Digital Certificate Signing1)0'U StartCom Certification Authority0
151216010005Z
301216010005Z0u10	UIL10U

StartCom Ltd.1)0'U StartCom Certification Authority1#0!UStartCom Class 1 Client CA0"0
	*H
0
}â}[[_u$Wy5	|̔
vnqY)\aL$dYG|B"QǤĩVD#'F	k9O_]*ςz_kU.u3r	#:C<ogT)K
Xah8v[\KqdlO)3+u7J5";[vfL/"2ϩJ#4ד[U TB,a˖a7H<=qd0`0U0U%0++0U002U+0)0'%#!http://crl.startssl.com/sfsca.crl0f+Z0X0$+0http://ocsp.startssl.com00+0$http://aia.startssl.com/certs/ca.crt0U$l9aIF+('Hmh0U#0N@[i04hCA0?U 80604U 0,0*+http://www.startssl.com/policy0
	*H
[#'#4pnRۡЗN⛭`]K"#H*߷Թψ;UA8Ҟeg{ozmYE60A)wXRK6c^-Al^k[':G=;oLv{$B5;8b,ZP4{o[-໢j	׏m)[땭[4	s.c|ҴvYLJ<|ӯgu0jD2
@hl+:j\ze_ևa@HyMHINxpK?%	㤺RC:=?^&7m´)A2;E~VB1$EvcKj؝(OoپU`"$a;ҡj0$&<$ۊ+/xjzb,7}W*1ܺtDv#8K
%^P>/i?)yRuQg^z`~sP91N0J00u10	UIL10U

StartCom Ltd.1)0'U StartCom Certification Authority1#0!UStartCom Class 1 Client CA"kg}0z$F`0	+0	*H
	1	*H
0	*H
	1
161129110958Z0#	*H
	1tʱYpuՠ0	+7100u10	UIL10U

StartCom Ltd.1)0'U StartCom Certification Authority1#0!UStartCom Class 1 Client CA"kg}0z$F`0*H
	10u10	UIL10U

StartCom Ltd.1)0'U StartCom Certification Authority1#0!UStartCom Class 1 Client CA"kg}0z$F`0
	*H
xYɩGJ|dpn`[\./Fu>|?B9+?(X*<OeLt򯣱GK~]?|OJABRtq-Bm澍<^_₼R&Á,	8d|"|4ʛ]^AkT8Y\:oI]^ nn[ }t`øm)~XRBŅgsC%bȵH y

Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?D17B0154-DEFD-4E92-949D-6787052F4DBE>