[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-dev] Delta source code

To: creduce-dev@flux.utah.edu
Subject: [creduce-dev] Delta source code
From: Volker Weißmann <volker.weissmann@gmx.de>
Date: Tue, 29 Dec 2020 00:18:14 +0100
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1609197495; bh=GIs5klpuvOhA+CMynPtzCjN5dYPDLP4pqA4XgOMZWh4=; h=X-UI-Sender-Class:To:From:Subject:Date; b=QCBTs564s3lEsr9eKWlhLT3gco5TZCzG9TESikbvpYSi99M14UOv1/osM742215n7 oj00NSevZyYZiHJjA2BitzYdRqhDlFBQkKyRqdZslDDzX1cx0hYnYwvfic7HSMfcGC xdFdvsbzPIZTSDwGFsFouzKgkK3L9UyfMSW5ryd8=
List-archive: </listarchives/creduce-dev>
List-help: <mailto:creduce-dev-request@flux.utah.edu?subject=help>
List-id: C-Reduce Development Mailing List <creduce-dev.flux.utah.edu>
List-post: <mailto:creduce-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-dev>, <mailto:creduce-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-dev>, <mailto:creduce-dev-request@flux.utah.edu?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0

Hello,


on your website (https://embed.cs.utah.edu/creduce/) you compare creduce
to a tool called "Delta". Unfortunatly, the link
http://delta.tigris.org/ is dead.

Does anyone have the source code of Delta?


Greetings

Volker Weißmann

Follow-Ups:
- Re: [creduce-dev] Delta source code
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [creduce-dev] Delta source code
  - From: Martin Liška <mliska@suse.cz>

Prev by Date: Re: [creduce-dev] question on creduce usage
Next by Date: Re: [creduce-dev] Delta source code
Previous by thread: Re: [creduce-dev] question on creduce usage
Next by thread: Re: [creduce-dev] Delta source code
Index(es):
- Date
- Thread