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

[csmith-project/csmith] b64c90: remove unsupported utah-local scripts

To: csmith-commits@flux.utah.edu
Subject: [csmith-project/csmith] b64c90: remove unsupported utah-local scripts
From: Xuejun Yang <noreply@github.com>
Date: Mon, 11 May 2020 07:02:36 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=github.com; s=pf2014; t=1589205756; bh=lGhzj7got4hpxkJeAYFLxtTNGwbt/DZ7paWNtnaz0SI=; h=Date:From:To:Subject:From; b=QEGVds/azXP67o6xuaZDvgwHF9DPQawyRxmWd1ypSR80uH1zLnR97OiuzRN/Fh4sP vN7AE4htY8Rnf/4laFdYn8pIpWilg37OAmbAJxGA/JGv80kPCB5vzRcMSNZBJrGqEy o93BcBz/WOrDxGmbFJCS6yVKKXLJ6TO8Q0gY1LIA=
List-archive: </listarchives/csmith-commits>
List-help: <mailto:csmith-commits-request@flux.utah.edu?subject=help>
List-id: Csmith Commit-Message Mailing List <csmith-commits.flux.utah.edu>
List-post: <mailto:csmith-commits@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=unsubscribe>

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith
  Commit: b64c9051e7f39cd93e909565ec59a05957b80f91
      https://github.com/csmith-project/csmith/commit/b64c9051e7f39cd93e909565ec59a05957b80f91
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2018-02-21 (Wed, 21 Feb 2018)

  Changed paths:
    R utah/autoconf/README
    R utah/autoconf/ax_boost_base.m4
    R utah/autoconf/ax_boost_program_options.m4
    R utah/scripts/README.TXT
    R utah/scripts/coverage/README.COV
    R utah/scripts/coverage/build_gcov_compilers.pl
    R utah/scripts/coverage/gen_cov.pl
    R utah/scripts/coverage/parse_cov_results.pl
    R utah/scripts/jxyang/RunSafely.sh
    R utah/scripts/jxyang/compilers.txt
    R utah/scripts/jxyang/parallel_test.pl
    R utah/scripts/jxyang/setup.sh
    R utah/scripts/jxyang/test.pl
    R utah/scripts/old_john_driver/RunSafely.sh
    R utah/scripts/old_john_driver/build_compiler.pl
    R utah/scripts/old_john_driver/evaluate_program.pl
    R utah/scripts/old_john_driver/find_crash.pl
    R utah/scripts/old_john_driver/kill_random.pl
    R utah/scripts/old_john_driver/launchn.pl
    R utah/scripts/old_john_driver/random_test.pl
    R utah/scripts/old_john_driver/random_test_llvm_killer.pl
    R utah/scripts/old_john_driver/run_program.pl
    R utah/scripts/old_john_driver/see_results.sh
    R utah/scripts/old_john_driver/test_csmith.pl
    R utah/scripts/one_off/binsrch_det.pl
    R utah/scripts/one_off/binsrch_randomized.pl
    R utah/scripts/one_off/collect_results.pl
    R utah/scripts/one_off/compare_size.pl
    R utah/scripts/one_off/compare_sizes.pl
    R utah/scripts/one_off/compiler_test_xuejun.txt
    R utah/scripts/one_off/conf.pl
    R utah/scripts/one_off/create_result_table_for_journal_paper.pl
    R utah/scripts/one_off/extract_csum.pl
    R utah/scripts/one_off/find_args.pl
    R utah/scripts/one_off/find_termination_bugs.pl
    R utah/scripts/one_off/make_progs.pl
    R utah/scripts/one_off/nonterm.pl
    R utah/scripts/one_off/normalize.pl
    R utah/scripts/one_off/quest_test.pl
    R utah/scripts/one_off/random_test_vc.pl
    R utah/scripts/one_off/reducer_driver.pl
    R utah/scripts/one_off/run_tests.pl
    R utah/scripts/one_off/runit_test.pl
    R utah/scripts/one_off/select_writes.pl
    R utah/scripts/one_off/simd.pl
    R utah/scripts/one_off/size_hist.pl
    R utah/scripts/one_off/size_test.pl
    R utah/scripts/one_off/small_seeds.pl
    R utah/scripts/one_off/test_clang.pl
    R utah/scripts/one_off/test_clang2.pl
    R utah/scripts/one_off/test_compcert.pl
    R utah/scripts/one_off/test_framac.pl
    R utah/scripts/one_off/test_warnings.pl
    R utah/scripts/one_off/testlto.pl
    R utah/scripts/one_off/unwrap_math.pl
    R utah/scripts/seq_reduce/seq_reduce.pl

  Log Message:
  -----------
  remove unsupported utah-local scripts


  Commit: 3792b6a1469540c86c5c56835ae8a4dd630bdddd
      https://github.com/csmith-project/csmith/commit/3792b6a1469540c86c5c56835ae8a4dd630bdddd
  Author: Xuejun Yang <nitsnow@gmail.com>
  Date:   2020-05-11 (Mon, 11 May 2020)

  Changed paths:
    R utah/autoconf/README
    R utah/autoconf/ax_boost_base.m4
    R utah/autoconf/ax_boost_program_options.m4
    R utah/scripts/README.TXT
    R utah/scripts/coverage/README.COV
    R utah/scripts/coverage/build_gcov_compilers.pl
    R utah/scripts/coverage/gen_cov.pl
    R utah/scripts/coverage/parse_cov_results.pl
    R utah/scripts/jxyang/RunSafely.sh
    R utah/scripts/jxyang/compilers.txt
    R utah/scripts/jxyang/parallel_test.pl
    R utah/scripts/jxyang/setup.sh
    R utah/scripts/jxyang/test.pl
    R utah/scripts/old_john_driver/RunSafely.sh
    R utah/scripts/old_john_driver/build_compiler.pl
    R utah/scripts/old_john_driver/evaluate_program.pl
    R utah/scripts/old_john_driver/find_crash.pl
    R utah/scripts/old_john_driver/kill_random.pl
    R utah/scripts/old_john_driver/launchn.pl
    R utah/scripts/old_john_driver/random_test.pl
    R utah/scripts/old_john_driver/random_test_llvm_killer.pl
    R utah/scripts/old_john_driver/run_program.pl
    R utah/scripts/old_john_driver/see_results.sh
    R utah/scripts/old_john_driver/test_csmith.pl
    R utah/scripts/one_off/binsrch_det.pl
    R utah/scripts/one_off/binsrch_randomized.pl
    R utah/scripts/one_off/collect_results.pl
    R utah/scripts/one_off/compare_size.pl
    R utah/scripts/one_off/compare_sizes.pl
    R utah/scripts/one_off/compiler_test_xuejun.txt
    R utah/scripts/one_off/conf.pl
    R utah/scripts/one_off/create_result_table_for_journal_paper.pl
    R utah/scripts/one_off/extract_csum.pl
    R utah/scripts/one_off/find_args.pl
    R utah/scripts/one_off/find_termination_bugs.pl
    R utah/scripts/one_off/make_progs.pl
    R utah/scripts/one_off/nonterm.pl
    R utah/scripts/one_off/normalize.pl
    R utah/scripts/one_off/quest_test.pl
    R utah/scripts/one_off/random_test_vc.pl
    R utah/scripts/one_off/reducer_driver.pl
    R utah/scripts/one_off/run_tests.pl
    R utah/scripts/one_off/runit_test.pl
    R utah/scripts/one_off/select_writes.pl
    R utah/scripts/one_off/simd.pl
    R utah/scripts/one_off/size_hist.pl
    R utah/scripts/one_off/size_test.pl
    R utah/scripts/one_off/small_seeds.pl
    R utah/scripts/one_off/test_clang.pl
    R utah/scripts/one_off/test_clang2.pl
    R utah/scripts/one_off/test_compcert.pl
    R utah/scripts/one_off/test_framac.pl
    R utah/scripts/one_off/test_warnings.pl
    R utah/scripts/one_off/testlto.pl
    R utah/scripts/one_off/unwrap_math.pl
    R utah/scripts/seq_reduce/seq_reduce.pl

  Log Message:
  -----------
  Merge pull request #55 from regehr/remove-old-stuff

remove unsupported utah-local scripts


Compare: https://github.com/csmith-project/csmith/compare/8115771bca68...3792b6a14695

Prev by Date: [csmith-project/csmith] 811577: full fix of safe_math_macros.h, conditions in shif...
Next by Date: [csmith-project/csmith] 8f8426: compute permutations by std::next_permutation
Previous by thread: [csmith-project/csmith] 811577: full fix of safe_math_macros.h, conditions in shif...
Next by thread: [csmith-project/csmith] 8f8426: compute permutations by std::next_permutation
Index(es):
- Date
- Thread