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

[csmith-project/creduce] 8bcb12: support for an alternate interestingness crierion,...



  Branch: refs/heads/llvm-svn-compatible
  Home:   https://github.com/csmith-project/creduce
  Commit: 8bcb12e54c96ef72f3b9f6815a14b6183e01d5ed
      https://github.com/csmith-project/creduce/commit/8bcb12e54c96ef72f3b9f6815a14b6183e01d5ed
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-02 (Wed, 02 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  support for an alternate interestingness crierion, to support fuzzing while reducing


  Commit: 27154fab70512a8bfe4f959007d9c650a5c4d5cc
      https://github.com/csmith-project/creduce/commit/27154fab70512a8bfe4f959007d9c650a5c4d5cc
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-02 (Wed, 02 Dec 2015)

  Changed paths:
    M creduce/creduce.in
    M creduce/creduce_utils.pm

  Log Message:
  -----------
  works now?


  Commit: 04b466a41bbdfde6f5bc85b4cd9342c26ece6d5b
      https://github.com/csmith-project/creduce/commit/04b466a41bbdfde6f5bc85b4cd9342c26ece6d5b
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-02 (Wed, 02 Dec 2015)

  Changed paths:
    M creduce/creduce.in
    M creduce/creduce_utils.pm

  Log Message:
  -----------
  support for an alternate interestingness crierion, to support fuzzing while reducing


  Commit: 5b3ce3cff6930e15505d1f0d391a779704ec432c
      https://github.com/csmith-project/creduce/commit/5b3ce3cff6930e15505d1f0d391a779704ec432c
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-02 (Wed, 02 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  hopefully fix


  Commit: 36412c69752b4ee6254334df4887080be4c228e0
      https://github.com/csmith-project/creduce/commit/36412c69752b4ee6254334df4887080be4c228e0
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-02 (Wed, 02 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  Merge branch 'oob' of github.com:csmith-project/creduce into oob

Conflicts:
	creduce/creduce.in


  Commit: 7de23ad42cf50eb8f5425be669dd6c57bc7b1c63
      https://github.com/csmith-project/creduce/commit/7de23ad42cf50eb8f5425be669dd6c57bc7b1c63
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-02 (Wed, 02 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  foo


  Commit: 236cf3a9d06030734923d3bc07b6348e39e908dc
      https://github.com/csmith-project/creduce/commit/236cf3a9d06030734923d3bc07b6348e39e908dc
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M clex/clex.l
    M clex/defs.h
    M clex/driver.c

  Log Message:
  -----------
  silly to crash on unterminated comment


  Commit: 579e76fb490ca079972495c9ba79af6ddded53df
      https://github.com/csmith-project/creduce/commit/579e76fb490ca079972495c9ba79af6ddded53df
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M clex/clex.l
    M clex/defs.h
    M clex/driver.c

  Log Message:
  -----------
  Merge branch 'clex-fix' into oob


  Commit: ce94d7e84727b4d8ec0bc56d22bb42eaa9f5fb1d
      https://github.com/csmith-project/creduce/commit/ce94d7e84727b4d8ec0bc56d22bb42eaa9f5fb1d
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  Merge branch 'oob' of github.com:csmith-project/creduce into oob


  Commit: 3824f439c2f6f87ffeb4acbdb654b8950d8351ff
      https://github.com/csmith-project/creduce/commit/3824f439c2f6f87ffeb4acbdb654b8950d8351ff
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  tweak


  Commit: bc443b1b4092525814271fc43da7519fb7dfb0d7
      https://github.com/csmith-project/creduce/commit/bc443b1b4092525814271fc43da7519fb7dfb0d7
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  nokill option for parallel processes, for debugging and fuzzing


  Commit: cfadbdbd405142e2cb8915d28dea6f4b0de33514
      https://github.com/csmith-project/creduce/commit/cfadbdbd405142e2cb8915d28dea6f4b0de33514
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  Merge branch 'master' into oob


  Commit: 1058fab62d09b7e734726e1f0cabe8c576ea381f
      https://github.com/csmith-project/creduce/commit/1058fab62d09b7e734726e1f0cabe8c576ea381f
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  stop using character sequences that look like merge conflicts


  Commit: 6a7ecd0516cc669d8274941b08d50102eee70907
      https://github.com/csmith-project/creduce/commit/6a7ecd0516cc669d8274941b08d50102eee70907
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  weaken assert


  Commit: d070e3de2097f9f07c96dbce2a24bd93b7136421
      https://github.com/csmith-project/creduce/commit/d070e3de2097f9f07c96dbce2a24bd93b7136421
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-03 (Thu, 03 Dec 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  remove this troublesome bugger, I'll deal with it later


  Commit: c57599f30b246bf4bcbaf8c353d1985fd0fa6a39
      https://github.com/csmith-project/creduce/commit/c57599f30b246bf4bcbaf8c353d1985fd0fa6a39
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-12-04 (Fri, 04 Dec 2015)

  Changed paths:
    M clex/clex.l
    M clex/defs.h
    M clex/driver.c
    M creduce/creduce.in
    M creduce/creduce_utils.pm

  Log Message:
  -----------
  Merge branch 'master' into llvm-svn-compatible


Compare: https://github.com/csmith-project/creduce/compare/ca8bb27b9653...c57599f30b24