[all-commits] [llvm/llvm-project] 6b9a5a: [𝘀𝗽𝗿] initial version

[Balazs Benics via All-commits]

  Branch: refs/heads/users/steakhal/spr/analyzernfc-reorganize-z3-report-refutation
  Home:   https://github.com/llvm/llvm-project
  Commit: 6b9a5a6902c3efca6ac7d6a5dabc8950767560cc
      https://github.com/llvm/llvm-project/commit/6b9a5a6902c3efca6ac7d6a5dabc8950767560cc
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-06-11 (Tue, 11 Jun 2024)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
    A clang/include/clang/StaticAnalyzer/Core/BugReporter/Z3CrosscheckVisitor.h
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
    M clang/lib/StaticAnalyzer/Core/BugReporter.cpp
    M clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
    M clang/lib/StaticAnalyzer/Core/CMakeLists.txt
    A clang/lib/StaticAnalyzer/Core/Z3CrosscheckVisitor.cpp
    A clang/test/Analysis/z3/crosscheck-statistics.c
    M clang/unittests/StaticAnalyzer/CMakeLists.txt
    A clang/unittests/StaticAnalyzer/Z3CrosscheckOracleTest.cpp
    M llvm/include/llvm/Support/SMTAPI.h
    M llvm/lib/Support/Z3Solver.cpp

  Log Message:
  -----------
  [𝘀𝗽𝗿] initial version

Created using spr 1.3.4



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications