Permalink
Switch branches/tags
Nothing to show
Commits on May 27, 2015
Commits on Mar 23, 2015
  1. test fix

    amaurremi committed Mar 23, 2015
Commits on Mar 17, 2015
  1. import

    amaurremi committed Mar 17, 2015
Commits on Mar 14, 2015
  1. removing benchmarks

    amaurremi committed Mar 14, 2015
  2. making cc work

    amaurremi committed Mar 14, 2015
  3. reverting

    amaurremi committed Mar 14, 2015
Commits on Mar 11, 2015
  1. lazy val to def

    amaurremi committed Mar 11, 2015
  2. lazy val to def

    amaurremi committed Mar 11, 2015
  3. removing old functions

    amaurremi committed Mar 11, 2015
Commits on Mar 10, 2015
  1. running times

    amaurremi committed Mar 10, 2015
Commits on Mar 9, 2015
  1. running times

    amaurremi committed Mar 9, 2015
Commits on Dec 20, 2014
  1. lables

    amaurremi committed Dec 20, 2014
Commits on Dec 5, 2014
Commits on Dec 4, 2014
Commits on Dec 2, 2014
  1. refactoring

    amaurremi committed Dec 2, 2014
  2. unnecessary new line

    amaurremi committed Dec 2, 2014
  3. check tpe for not null

    amaurremi committed Dec 2, 2014
  4. running single bm

    amaurremi committed Dec 2, 2014
  5. script fix for dacapo

    amaurremi committed Dec 2, 2014
Commits on Dec 1, 2014
  1. adjusting tests

    amaurremi committed Dec 1, 2014
  2. adding constructor test

    amaurremi committed Dec 1, 2014
  3. spacing

    amaurremi committed Dec 1, 2014
  4. - simplifying return secret value handling

    amaurremi committed Dec 1, 2014
    - removing obsolete partialPropagate
    - fixing d4 map handling (invoking exit node handling from call node handling, as described in "practical extensions to IFDS"
    - imports
Commits on Nov 28, 2014
  1. spacing

    amaurremi committed Nov 28, 2014
  2. -changing Method case class to deal with MethodReference; doesn't kee…

    amaurremi committed Nov 28, 2014
    …p track of static/non-static any more
    
    -dealing with TypeReference instead of TypeAbstraction (might introduce errors)
    -moving secret method handling to call-return edge (instead of call-start)