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

[csmith-project/creduce] bbaa26: roll sanitize passes into default

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: bbaa2620e42110c15efd9a67da54562fb62a3b65
      https://github.com/csmith-project/creduce/commit/bbaa2620e42110c15efd9a67da54562fb62a3b65
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-08-02 (Tue, 02 Aug 2016)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  roll sanitize passes into default


  Commit: 5a82139bcfad5e52132adf61972f5bbd6b83c492
      https://github.com/csmith-project/creduce/commit/5a82139bcfad5e52132adf61972f5bbd6b83c492
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-08-02 (Tue, 02 Aug 2016)

  Changed paths:
    M clex/driver.c
    M creduce/creduce.in

  Log Message:
  -----------
  remove dead code


  Commit: 995ee9e3294a774e8973999cdf04500b4fa111f8
      https://github.com/csmith-project/creduce/commit/995ee9e3294a774e8973999cdf04500b4fa111f8
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-08-02 (Tue, 02 Aug 2016)

  Changed paths:
    M clex/driver.c

  Log Message:
  -----------
  cleanup


  Commit: 59c591946b809d8f36fcd55ff0366d81051797a0
      https://github.com/csmith-project/creduce/commit/59c591946b809d8f36fcd55ff0366d81051797a0
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-08-02 (Tue, 02 Aug 2016)

  Changed paths:
    M clex/driver.c

  Log Message:
  -----------
  try to produce shorter names


Compare: https://github.com/csmith-project/creduce/compare/4977a968d6c2...59c591946b80