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

[csmith-project/creduce] 6643ff: just playing with phase ordering a bit-- hope to m...

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 6643ffcdadd16f6ad9e4a3402bee0e85272115b3
      https://github.com/csmith-project/creduce/commit/6643ffcdadd16f6ad9e4a3402bee0e85272115b3
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-06-26 (Sun, 26 Jun 2016)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  just playing with phase ordering a bit-- hope to make some really slow
wrong-code reductions go faster


  Commit: d5204388ed8077d2ac0c64b48250c8bcac830a8b
      https://github.com/csmith-project/creduce/commit/d5204388ed8077d2ac0c64b48250c8bcac830a8b
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-06-26 (Sun, 26 Jun 2016)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  nuke the option to not create a new process group-- it did not turn
out to be as useful as I had hoped and also it was going to interact
badly with other chamges, so I'd rather leave it out


  Commit: 7819defa72b0a5f3047a16ed8a038051b3f7d51d
      https://github.com/csmith-project/creduce/commit/7819defa72b0a5f3047a16ed8a038051b3f7d51d
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-06-26 (Sun, 26 Jun 2016)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  address contention-related slowdown in the help message


Compare: https://github.com/csmith-project/creduce/compare/2321aabadefb...7819defa72b0