'[klee-commits] [klee/klee] 7d85ee: Removed the Internal directory from include/klee'

[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] 7d85ee: Removed the Internal directory from include/klee
From:       Cristian Cadar <noreply () github ! com>
Date:       2020-04-30 8:25:52
Message-ID: klee/klee/push/refs/heads/master/e6d3f6-fc50ab () github ! com
[Download RAW message or body]

*******************
This email originates from outside Imperial. Do not click on links and attachments \
unless you recognise the sender.  If you trust the sender, add them to your safe \
senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping \
                for this address.
*******************
  Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: 7d85ee81dcf23e841ef794fa6ba08a076dcdebf0
      https://github.com/klee/klee/commit/7d85ee81dcf23e841ef794fa6ba08a076dcdebf0
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2020-04-30 (Thu, 30 Apr 2020)

  Changed paths:
    A include/klee/ADT/DiscretePDF.h
    A include/klee/ADT/DiscretePDF.inc
    A include/klee/ADT/ImmutableMap.h
    A include/klee/ADT/ImmutableSet.h
    A include/klee/ADT/ImmutableTree.h
    A include/klee/ADT/KTest.h
    A include/klee/ADT/MapOfSets.h
    A include/klee/ADT/RNG.h
    A include/klee/ADT/TreeStream.h
    M include/klee/ExecutionState.h
    R include/klee/Internal/ADT/DiscretePDF.h
    R include/klee/Internal/ADT/DiscretePDF.inc
    R include/klee/Internal/ADT/ImmutableMap.h
    R include/klee/Internal/ADT/ImmutableSet.h
    R include/klee/Internal/ADT/ImmutableTree.h
    R include/klee/Internal/ADT/KTest.h
    R include/klee/Internal/ADT/MapOfSets.h
    R include/klee/Internal/ADT/RNG.h
    R include/klee/Internal/ADT/TreeStream.h
    R include/klee/Internal/Module/Cell.h
    R include/klee/Internal/Module/InstructionInfoTable.h
    R include/klee/Internal/Module/KInstIterator.h
    R include/klee/Internal/Module/KInstruction.h
    R include/klee/Internal/Module/KModule.h
    R include/klee/Internal/README.txt
    R include/klee/Internal/Support/CompressionStream.h
    R include/klee/Internal/Support/Debug.h
    R include/klee/Internal/Support/ErrorHandling.h
    R include/klee/Internal/Support/FileHandling.h
    R include/klee/Internal/Support/FloatEvaluation.h
    R include/klee/Internal/Support/IntEvaluation.h
    R include/klee/Internal/Support/ModuleUtil.h
    R include/klee/Internal/Support/PrintVersion.h
    R include/klee/Internal/Support/Timer.h
    R include/klee/Internal/System/MemoryUsage.h
    R include/klee/Internal/System/Time.h
    A include/klee/Module/Cell.h
    A include/klee/Module/InstructionInfoTable.h
    A include/klee/Module/KInstIterator.h
    A include/klee/Module/KInstruction.h
    A include/klee/Module/KModule.h
    M include/klee/Solver/Solver.h
    M include/klee/Solver/SolverImpl.h
    A include/klee/Support/CompressionStream.h
    A include/klee/Support/Debug.h
    A include/klee/Support/ErrorHandling.h
    A include/klee/Support/FileHandling.h
    A include/klee/Support/FloatEvaluation.h
    A include/klee/Support/IntEvaluation.h
    A include/klee/Support/ModuleUtil.h
    A include/klee/Support/PrintVersion.h
    A include/klee/Support/Timer.h
    A include/klee/System/MemoryUsage.h
    A include/klee/System/Time.h
    M include/klee/TimerStatIncrementer.h
    M lib/Basic/KTest.cpp
    M lib/Core/AddressSpace.h
    M lib/Core/ExecutionState.cpp
    M lib/Core/Executor.cpp
    M lib/Core/Executor.h
    M lib/Core/ExecutorUtil.cpp
    M lib/Core/ImpliedValue.cpp
    M lib/Core/Memory.cpp
    M lib/Core/MemoryManager.cpp
    M lib/Core/Searcher.cpp
    M lib/Core/Searcher.h
    M lib/Core/SeedInfo.cpp
    M lib/Core/SpecialFunctionHandler.cpp
    M lib/Core/StatsTracker.cpp
    M lib/Core/StatsTracker.h
    M lib/Core/TimingSolver.h
    M lib/Core/UserSearcher.cpp
    M lib/Expr/ArrayExprOptimizer.cpp
    M lib/Expr/ArrayExprVisitor.cpp
    M lib/Expr/AssignmentGenerator.cpp
    M lib/Expr/Constraints.cpp
    M lib/Expr/Expr.cpp
    M lib/Module/FunctionAlias.cpp
    M lib/Module/InstructionInfoTable.cpp
    M lib/Module/InstructionOperandTypeCheckPass.cpp
    M lib/Module/KInstruction.cpp
    M lib/Module/KModule.cpp
    M lib/Module/ModuleUtil.cpp
    M lib/Module/RaiseAsm.cpp
    M lib/Module/WorkaroundLLVMPR39177.cpp
    M lib/Solver/CexCachingSolver.cpp
    M lib/Solver/ConstructSolverChain.cpp
    M lib/Solver/CoreSolver.cpp
    M lib/Solver/FastCexSolver.cpp
    M lib/Solver/IndependentSolver.cpp
    M lib/Solver/KQueryLoggingSolver.cpp
    M lib/Solver/MetaSMTSolver.cpp
    M lib/Solver/QueryLoggingSolver.cpp
    M lib/Solver/QueryLoggingSolver.h
    M lib/Solver/STPSolver.cpp
    M lib/Solver/Z3Builder.cpp
    M lib/Solver/Z3Solver.cpp
    M lib/Support/CompressionStream.cpp
    M lib/Support/ErrorHandling.cpp
    M lib/Support/FileHandling.cpp
    M lib/Support/MemoryUsage.cpp
    M lib/Support/PrintVersion.cpp
    M lib/Support/RNG.cpp
    M lib/Support/Time.cpp
    M lib/Support/Timer.cpp
    M lib/Support/TreeStream.cpp
    M runtime/Runtest/intrinsics.c
    M test/Dogfood/ImmutableSet.cpp
    M test/regression/2019-09-06-make-const-symbolic.c
    M tools/gen-bout/gen-bout.cpp
    M tools/gen-random-bout/gen-random-bout.cpp
    M tools/kleaver/main.cpp
    M tools/klee-replay/klee-replay.c
    M tools/klee/main.cpp
    M unittests/DiscretePDF/DiscretePDFTest.cpp
    M unittests/Ref/RefTest.cpp
    M unittests/Time/TimeTest.cpp
    M unittests/TreeStream/TreeStreamTest.cpp

  Log Message:
  -----------
  Removed the Internal directory from include/klee

  Commit: 382de941118c12434410df0c5d4e1ecd28e4636f
      https://github.com/klee/klee/commit/382de941118c12434410df0c5d4e1ecd28e4636f
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2020-04-30 (Thu, 30 Apr 2020)

  Changed paths:
    A include/klee/Expr/ArrayExprOptimizer.h
    A include/klee/Expr/ArrayExprRewriter.h
    A include/klee/Expr/ArrayExprVisitor.h
    A include/klee/Expr/AssignmentGenerator.h
    M lib/Core/Executor.cpp
    M lib/Core/Executor.h
    M lib/Expr/ArrayExprOptimizer.cpp
    R lib/Expr/ArrayExprOptimizer.h
    M lib/Expr/ArrayExprRewriter.cpp
    R lib/Expr/ArrayExprRewriter.h
    M lib/Expr/ArrayExprVisitor.cpp
    R lib/Expr/ArrayExprVisitor.h
    M lib/Expr/AssignmentGenerator.cpp
    R lib/Expr/AssignmentGenerator.h
    M unittests/Expr/ArrayExprTest.cpp

  Log Message:
  -----------
  Move header files from lib/Expr to include/klee/Expr to eliminate includes using \
"../"

  Commit: e2cbdaeb98168db12aba4abab04eea2416c0931c
      https://github.com/klee/klee/commit/e2cbdaeb98168db12aba4abab04eea2416c0931c
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2020-04-30 (Thu, 30 Apr 2020)

  Changed paths:
    A include/klee/Core/Interpreter.h
    R include/klee/ExecutionState.h
    R include/klee/Interpreter.h
    R include/klee/MergeHandler.h
    M include/klee/Module/KModule.h
    M lib/Core/AddressSpace.cpp
    M lib/Core/AddressSpace.h
    M lib/Core/ExecutionState.cpp
    A lib/Core/ExecutionState.h
    M lib/Core/Executor.cpp
    M lib/Core/Executor.h
    M lib/Core/ExecutorUtil.cpp
    M lib/Core/ImpliedValue.cpp
    M lib/Core/Memory.cpp
    M lib/Core/MergeHandler.cpp
    A lib/Core/MergeHandler.h
    M lib/Core/PTree.cpp
    M lib/Core/Searcher.cpp
    M lib/Core/SeedInfo.cpp
    M lib/Core/SpecialFunctionHandler.cpp
    M lib/Core/StatsTracker.cpp
    M lib/Core/TimingSolver.cpp
    M lib/Core/UserSearcher.cpp
    M lib/Module/KModule.cpp
    M tools/klee/main.cpp

  Log Message:
  -----------
  Created include/klee/Core directory and moved appropriate files direc\
tly in lib/Core

  Commit: 02fed84be089d81a5a9a812c2c8dd112f5e2fa71
      https://github.com/klee/klee/commit/02fed84be089d81a5a9a812c2c8dd112f5e2fa71
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2020-04-30 (Thu, 30 Apr 2020)

  Changed paths:
    A include/klee/ADT/BitArray.h
    A include/klee/ADT/Bits.h
    A include/klee/ADT/Ref.h
    M include/klee/Expr/ArrayExprOptimizer.h
    M include/klee/Expr/ArrayExprRewriter.h
    M include/klee/Expr/AssignmentGenerator.h
    M include/klee/Expr/Expr.h
    M include/klee/Expr/ExprRangeEvaluator.h
    M include/klee/Expr/ExprSMTLIBPrinter.h
    M include/klee/Support/FloatEvaluation.h
    M include/klee/Support/IntEvaluation.h
    A include/klee/Support/PrintContext.h
    R include/klee/util/BitArray.h
    R include/klee/util/Bits.h
    R include/klee/util/GetElementPtrTypeIterator.h
    R include/klee/util/PrintContext.h
    R include/klee/util/Ref.h
    M lib/Core/Executor.cpp
    A lib/Core/GetElementPtrTypeIterator.h
    M lib/Core/Memory.cpp
    M lib/Core/MergeHandler.h
    M lib/Expr/ArrayExprOptimizer.cpp
    M lib/Expr/ArrayExprRewriter.cpp
    M lib/Expr/ExprPPrinter.cpp
    M lib/Solver/ConstantDivision.cpp
    M lib/Solver/STPBuilder.cpp
    M lib/Solver/Z3Builder.cpp
    M unittests/Ref/RefTest.cpp

  Log Message:
  -----------
  Removed include/klee/util and moved header files to appropriate places

  Commit: fc50ab32349a4cc61980ba5b97bfa7c3961ce964
      https://github.com/klee/klee/commit/fc50ab32349a4cc61980ba5b97bfa7c3961ce964
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2020-04-30 (Thu, 30 Apr 2020)

  Changed paths:
    R include/klee/Common.h
    M include/klee/Expr/ArrayExprHash.h
    R include/klee/OptionCategories.h
    A include/klee/Solver/Common.h
    M include/klee/Solver/SolverStats.h
    R include/klee/Statistic.h
    R include/klee/Statistics.h
    A include/klee/Statistics/Statistic.h
    A include/klee/Statistics/Statistics.h
    A include/klee/Statistics/TimerStatIncrementer.h
    A include/klee/Support/OptionCategories.h
    R include/klee/TimerStatIncrementer.h
    M lib/Basic/Statistics.cpp
    M lib/Core/AddressSpace.cpp
    M lib/Core/CallPathManager.cpp
    M lib/Core/CallPathManager.h
    M lib/Core/CoreStats.h
    M lib/Core/Executor.cpp
    M lib/Core/Memory.cpp
    M lib/Core/Searcher.cpp
    M lib/Core/SeedInfo.cpp
    M lib/Core/SpecialFunctionHandler.cpp
    M lib/Core/StatsTracker.cpp
    M lib/Core/TimingSolver.cpp
    M lib/Expr/ArrayExprOptimizer.cpp
    M lib/Expr/Constraints.cpp
    M lib/Expr/Expr.cpp
    M lib/Expr/ExprPPrinter.cpp
    M lib/Module/FunctionAlias.cpp
    M lib/Module/KModule.cpp
    M lib/Module/Optimize.cpp
    M lib/Solver/CexCachingSolver.cpp
    M lib/Solver/ConstructSolverChain.cpp
    M lib/Solver/QueryLoggingSolver.cpp
    M lib/Solver/STPSolver.cpp
    M lib/Solver/SolverCmdLine.cpp
    M lib/Solver/Z3Solver.cpp
    M tools/kleaver/main.cpp
    M tools/klee/main.cpp

  Log Message:
  -----------
  Moved header files that were placed directly in include/klee/ into appropriate \
existing directories and a new directory Statistics; a few missing renames.

Compare: https://github.com/klee/klee/compare/e6d3f654df90...fc50ab32349a

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits

[prev in list] [next in list] [prev in thread] [next in thread] 