Performance Benchmarking

Workflow runs for Performance Benchmarking

• C library: models of strtol_l, strtoul_l, strtoll_l and strtoull_l

  completed successfully:
  Performance Benchmarking#3830:Pull request#9444openedbytautschnig
  tautschnig:pr/c-strtol-l-family

  Nov 10, 202642m 47s
  More actions for workflow run 3830

• library_check: exclude tests.log from regression/cbmc-library scan

  completed successfully:
  Performance Benchmarking#3829:Pull request#9443openedbytautschnig
  tautschnig:pr/c-library-check-tests-log

  Nov 10, 202641m 31s
  More actions for workflow run 3829

• C library: link the model of _InterlockedIncrement

  failed:
  Performance Benchmarking#3828:Pull request#9442openedbytautschnig
  tautschnig:pr/c-interlocked-increment

  Nov 10, 202635m 59s
  More actions for workflow run 3828

• C library: model of uselocale

  completed successfully:
  Performance Benchmarking#3827:Pull request#9441openedbytautschnig
  tautschnig:pr/c-uselocale

  Nov 10, 202631m 25s
  More actions for workflow run 3827

• C library: localeconv returns the "C" locale's values

  completed successfully:
  Performance Benchmarking#3826:Pull request#9440openedbytautschnig
  tautschnig:pr/c-localeconv

  Nov 10, 202621m 23s
  More actions for workflow run 3826

• ansi-c library: model strtoll, strtoul and strtoull

  failed:
  Performance Benchmarking#3825:Pull request#9439openedbytautschnig
  tautschnig:pr/c-strtoll-strtoul-strtoull

  Nov 10, 202616m 27s
  More actions for workflow run 3825

• C library: exact integer conversions in the model of vsnprintf

  completed successfully:
  Performance Benchmarking#3824:Pull request#9438openedbytautschnig
  tautschnig:pr/c-vsnprintf-integer-conversions

  Nov 10, 202612m 3s
  More actions for workflow run 3824

• C library: models of memchr and __builtin_char_memchr

  completed successfully:
  Performance Benchmarking#3823:Pull request#9437openedbytautschnig
  tautschnig:pr/c-memchr

  Nov 10, 202615m 32s
  More actions for workflow run 3823

• C library: the time.c model builds with clang on Linux

  completed successfully:
  Performance Benchmarking#3822:Pull request#9436openedbytautschnig
  tautschnig:pr/c-time-clang-pragma

  Nov 10, 202611m 46s
  More actions for workflow run 3822

• CPROVER library: __builtin_X falls back to the model of X

  completed successfully:
  Performance Benchmarking#3821:Pull request#9434synchronizebytautschnig
  tautschnig:pr/c-builtin-fallback-to-model

  Nov 10, 202629m 31s
  More actions for workflow run 3821

• CPROVER library: __builtin_X falls back to the model of X

  completed successfully:
  Performance Benchmarking#3820:Pull request#9434openedbytautschnig
  tautschnig:pr/c-builtin-fallback-to-model

  Nov 10, 202658m 16s
  More actions for workflow run 3820

• CPROVER library: strstr and strpbrk

  failed:
  Performance Benchmarking#3819:Pull request#9433openedbytautschnig
  tautschnig:pr/c-strstr-strpbrk

  Nov 10, 202656m 2s
  More actions for workflow run 3819

• C library: __builtin_memcpy and __builtin_memmove, and zero bytes from null

  completed successfully:
  Performance Benchmarking#3818:Pull request#9432openedbytautschnig
  tautschnig:pr/c-memcpy-memmove-models

  Nov 10, 202658m 56s
  More actions for workflow run 3818

• ansi-c library: model __builtin_assume_aligned

  completed successfully:
  Performance Benchmarking#3817:Pull request#9431openedbytautschnig
  tautschnig:pr/c-assume-aligned-builtin

  Nov 10, 202638m 23s
  More actions for workflow run 3817

• Merge pull request #9414 from tautschnig/pr/clang-format-cpp20

  completed successfully:
  Performance Benchmarking#3816:Commit107a1e5pushedbykroening
  develop

  Nov 10, 20263h 25m 50s
  More actions for workflow run 3816

• SMT2 back-end: only values under `as const' for cvc5

  completed successfully:
  Performance Benchmarking#3815:Pull request#9419synchronizebytautschnig
  tautschnig:pr/smt2-cvc5-as-const

  Nov 10, 20263h 26m 25s
  More actions for workflow run 3815

• C++ front end tests: C++11

  completed successfully:
  Performance Benchmarking#3814:Pull request#9411synchronizebytautschnig
  tautschnig:pr/cpp-tests-cpp11

  Nov 10, 20263h 0m 14s
  More actions for workflow run 3814

• Simplifier: a sizeof factor of one keeps its annotation

  completed successfully:
  Performance Benchmarking#3813:Pull request#9421synchronizebytautschnig
  tautschnig:pr/simplify-sizeof-factor-one

  Nov 10, 20263h 0m 40s
  More actions for workflow run 3813

• SMT2 back-end: declare a quantified logic when quantifiers are emitted

  completed successfully:
  Performance Benchmarking#3812:Pull request#9417synchronizebytautschnig
  tautschnig:pr/smt2-quantified-logic

  Nov 10, 20262h 38m 4s
  More actions for workflow run 3812

• C++ front end tests: C++98/03 and unversioned

  completed successfully:
  Performance Benchmarking#3811:Pull request#9408synchronizebytautschnig
  tautschnig:pr/cpp-tests-cpp98

  Nov 10, 20262h 21m 48s
  More actions for workflow run 3811

• Byte-operator lowering: a negative constant offset

  completed successfully:
  Performance Benchmarking#3810:Pull request#9428synchronizebytautschnig
  tautschnig:pr/byte-extract-negative-offset

  Nov 10, 20262h 26m 25s
  More actions for workflow run 3810

• Simplify relations of pointers to distinct objects to false

  completed successfully:
  Performance Benchmarking#3809:Pull request#9430openedbytautschnig
  tautschnig:pr/simplify-distinct-object-relations

  Nov 10, 20263h 0m 12s
  More actions for workflow run 3809

• Simplifier: a struct member read through byte operations of other bytes

  completed successfully:
  Performance Benchmarking#3808:Pull request#9429openedbytautschnig
  tautschnig:pr/simplify-struct-member-byte-ops

  Nov 10, 20262h 50m 57s
  More actions for workflow run 3808

• Byte-operator lowering: a negative constant offset

  completed successfully:
  Performance Benchmarking#3807:Pull request#9428openedbytautschnig
  tautschnig:pr/byte-extract-negative-offset

  Nov 10, 20262h 51m 9s
  More actions for workflow run 3807

• util: simplify p - p to 0 for identical pointer operands

  completed successfully:
  Performance Benchmarking#3806:Pull request#9427openedbytautschnig
  tautschnig:pr/simplify-pointer-minus-itself

  Nov 10, 20262h 43m 0s
  More actions for workflow run 3806