Re: Optimising generated rules for SAT solving (5/12 are duplicates)

From: David Chisnall <>
Date: Tue, 29 Nov 2016 11:09:57 +0000
On 23 Nov 2016, at 18:11, A. Wilcox <> 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 recipientís 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 thatís up to you, though personally Iíd much prefer the GitHub code review interface to anything email based.


Received on Tue Nov 29 2016 - 10:13:20 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:09 UTC