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

[csmith-project/creduce] 2733ec: initial version

  Branch: refs/heads/determinism-check
  Home:   https://github.com/csmith-project/creduce
  Commit: 2733ec85424bb72783f02b1ffcb0ac04326b5445
      https://github.com/csmith-project/creduce/commit/2733ec85424bb72783f02b1ffcb0ac04326b5445
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2017-12-14 (Thu, 14 Dec 2017)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  initial version