[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/master
  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: 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: 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


Compare: https://github.com/csmith-project/creduce/compare/bc443b1b4092...1058fab62d09