[souffle-commits] [oracle/souffle] 33856b: Add sample specifications for the context-insensit...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/oracle/souffle
  Commit: 33856b531eb1fafc8ded095f447d21e3160e35e8
      https://github.com/oracle/souffle/commit/33856b531eb1fafc8ded095f447d21e3160e35e8
  Author: Nathan Keynes <nathan.keynes at oracle.com>
  Date:   2016-07-22 (Fri, 22 Jul 2016)

  Changed paths:
    A samples/README
    A samples/abstract-pointsto/abstract-pointsto.dl
    A samples/common/common.dl
    A samples/common/edb.dl
    A samples/common/openWorld-external.dl
    A samples/common/restrictedPackages.dl
    A samples/common/types.dl
    A samples/fullCIAnalysis.dl
    A samples/fullCSAnalysis.dl
    A samples/java-ci-pointsto/ci-pointsto.dl
    A samples/java-cs-pointsto/cs-pointsto.dl

  Log Message:
  -----------
  Add sample specifications for the context-insensitive and 2O+1H context-sensitive points-to analyses.