Permalink
Commits on Mar 8, 2013
  1. Force sbt version

    colder committed Mar 8, 2013
  2. Fix script

    colder committed Mar 8, 2013
  3. Move from 2.10.0-M5 to 2.10.0

    colder committed Mar 8, 2013
Commits on Sep 28, 2012
  1. Add pdf version of the poster

    colder committed Sep 28, 2012
Commits on Sep 20, 2012
  1. Fix crap

    colder committed Sep 20, 2012
  2. Merge branch 'master' of github.com:colder/insane

    colder committed Sep 20, 2012
    Conflicts:
    	src/insane/AnalysisComponent.scala
    	src/insane/alias/PointToAnalysis.scala
  3. Blub

    colder committed Sep 20, 2012
  4. Some cleaning

    colder committed Sep 20, 2012
Commits on Jul 13, 2012
  1. Bring insane up to date with M5

    colder committed Jul 13, 2012
  2. Blu

    colder committed Jul 13, 2012
  3. Improved scripts

    colder committed Jul 13, 2012
Commits on Jul 10, 2012
  1. Add all flags and times

    colder committed Jul 10, 2012
  2. Some fixes, some breaks

    colder committed Jul 10, 2012
Commits on Jul 9, 2012
  1. Bleh

    colder committed Jul 9, 2012
  2. Improve displayed results

    colder committed Jul 9, 2012
Commits on Jul 5, 2012
  1. Fix bug

    colder committed Jul 5, 2012
Commits on Jul 4, 2012
  1. Fix ConditionalAnalysis

    colder committed Jul 4, 2012
Commits on Jul 3, 2012
  1. Make debug messages part of debug checks, so that we can analyze without

    colder committed Jul 3, 2012
    100Mb logs every minutes
Commits on Jul 2, 2012
Commits on Jun 29, 2012
  1. Crap crap crap

    colder committed Jun 29, 2012
  2. no need for this

    colder committed Jun 29, 2012
  3. plop

    colder committed Jun 29, 2012
  4. Fix regex generation

    colder committed Jun 29, 2012
  5. Catch them early, before even computing targets for the method, as th…

    colder committed Jun 29, 2012
    …e method itself might be short-circuited
Commits on Jun 28, 2012