[DynInst_API:] [dyninst/dyninst] d1a783: Added implementation for RiscOperators::addWithCar...

[Sunny Shah <shah28@xxxxxxxx>]

  Branch: refs/heads/arm64/feature/semantics_setup
  Home:   https://github.com/dyninst/dyninst
  Commit: d1a7838d0cf39c6f38842802d6104cbcf93c4748
      https://github.com/dyninst/dyninst/commit/d1a7838d0cf39c6f38842802d6104cbcf93c4748
  Author: Sunny Shah <shah28@xxxxxxxx>
  Date:   2016-07-13 (Wed, 13 Jul 2016)

  Changed paths:
    M dataflowAPI/rose/semantics/SymEvalSemantics.C
    M dataflowAPI/rose/semantics/SymEvalSemantics.h

  Log Message:
  -----------
  Added implementation for RiscOperators::addWithCarries().


  Commit: e2b4d7cefa72cfdaf53b6d2b38f86977cdd6e26d
      https://github.com/dyninst/dyninst/commit/e2b4d7cefa72cfdaf53b6d2b38f86977cdd6e26d
  Author: Sunny Shah <shah28@xxxxxxxx>
  Date:   2016-07-13 (Wed, 13 Jul 2016)

  Changed paths:
    M dataflowAPI/rose/SgNode.h
    M dataflowAPI/rose/semantics/SMTSolver.h
    M dataflowAPI/rose/util/BitVectorSupport.h
    M dataflowAPI/src/RoseInsnFactory.C
    M dataflowAPI/src/RoseInsnFactory.h

  Log Message:
  -----------
  Fixed issues seen while building SymEvalSemantics.C.


  Commit: 7070044ee86101410cf82988b9259caaeb003333
      https://github.com/dyninst/dyninst/commit/7070044ee86101410cf82988b9259caaeb003333
  Author: Sunny Shah <shah28@xxxxxxxx>
  Date:   2016-07-13 (Wed, 13 Jul 2016)

  Changed paths:
    M dataflowAPI/rose/semantics/DispatcherARM64.C
    M dataflowAPI/src/SymbolicExpansion.C
    M dataflowAPI/src/SymbolicExpansion.h

  Log Message:
  -----------
  Create Dispatcher object during symbolic expansion for instruction processing

A BaseSemantics::Dispatcher object is created using the passed in RiscOperators object during the expansion of ARM64 instructions. A similar thing will be done for other architectures once they move to the new semantics.


Compare: https://github.com/dyninst/dyninst/compare/322964ef7b00...7070044ee861