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

[csmith-project/creduce] 3a4332: add a --not-c command line flag that turns off the...



  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 3a433279f7a1267e094e12923be83ebb4b7a05fc
      https://github.com/csmith-project/creduce/commit/3a433279f7a1267e094e12923be83ebb4b7a05fc
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2018-01-30 (Tue, 30 Jan 2018)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  add a --not-c command line flag that turns off the passes that are the most specific to C/C++


  Commit: c9b79921fb949f1f5572977b6ba2d61a6192daee
      https://github.com/csmith-project/creduce/commit/c9b79921fb949f1f5572977b6ba2d61a6192daee
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2018-03-09 (Fri, 09 Mar 2018)

  Changed paths:
    M TODO

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


  Commit: 98d61e0a30936cc48f7e0231e3b0e158970eb01e
      https://github.com/csmith-project/creduce/commit/98d61e0a30936cc48f7e0231e3b0e158970eb01e
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2018-03-09 (Fri, 09 Mar 2018)

  Changed paths:
    M INSTALL
    M scripts/travis_deps.sh

  Log Message:
  -----------
  update to llvm 6


Compare: https://github.com/csmith-project/creduce/compare/de21e365e218...98d61e0a3093