On Mon, Feb 27, 2006 at 11:51:52PM +0000, Ganesh Sittampalam wrote:
> 
> The point of the XOR format is that it will make it possible to use LCS on 
> binaries in future if we choose to, but initially we can construct a patch 
> trivially by just XORing all the data.

What does this allow you to do that

binary
offset 23
old (48 bytes):
<48 bytes of data>
new (53 bytes):
<53 bytes of data>

doesn't? This has the advantage of being sanity-checkable (is the
current data really what "old" says it is?) and, I predict without doing
timings, more efficient and simpler to apply. Obviously it has the
disadvantage of using twice the disk space.

We might want to only generate
    offset == 0
and
    (oldlen == newlen) || (oldlen == filelen - offset)
for now at least.

> For now, I intend to focus mainly on trying to formalise patch theory, 
> building on my existing work on proving N-way permutivity. I'm not sure 
> what the appropriate list for progress reports and discussion should be - 
> any thoughts?

darcs-conflicts


Thanks
Ian


_______________________________________________
darcs-devel mailing list
darcs-devel@darcs.net
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel

Reply via email to