[csmith-project/creduce]

To: creduce-commits@flux.utah.edu
Subject: [csmith-project/creduce]
From: regehr <regehr@cs.utah.edu>
Date: Wed, 03 Jan 2018 16:49:17 -0800
Dkim-signature: a=rsa-sha256; v=1; c=relaxed/relaxed; d=github.com; q=dns/txt; s=mailo; t=1515026957; h=Content-Transfer-Encoding: Content-Type: Mime-Version: Subject: Message-ID: To: Reply-To: From: Date: Sender; bh=S0tef9KaSvo4ilghSH19oj334eGX0YfVotsEwCHmNAk=; b=HuRFqYIGUfoQ+eGUvwq0l2naU8iJYHTmDmbZnQNM1XR2n+k155gT3iHYV+pntsPRyIQaxllR Uth8hhIAI+rpv305q/0Q64PZh5pnkAcO6ESlxnERd+WKKRJGVHH1DKI8rY2HTIBHPMVVlBF0 EHPSVdNIAgZ3KAl5TCqgrTlCK/4=
List-archive: </listarchives/creduce-commits>
List-help: <mailto:creduce-commits-request@flux.utah.edu?subject=help>
List-id: C-Reduce Commit-Message Mailing List <creduce-commits.flux.utah.edu>
List-post: <mailto:creduce-commits@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-commits>, <mailto:creduce-commits-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-commits>, <mailto:creduce-commits-request@flux.utah.edu?subject=unsubscribe>
Reply-to: regehr <regehr@cs.utah.edu>
Sender: regehr=cs.utah.edu@github.com

  Branch: refs/heads/determinism-check
  Home:   https://github.com/csmith-project/creduce