Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Feb 12, 2015
  1. support for "0x000" as CZero

  2. codify expectations toward redeclarations with tests

    confirmed with GCC that these are actually enforced (a function with an enum type is not compatible with a function with an int type)
  3. support casts from ints to structs

    the GCC compiler doesn't seem to mind
  4. fixed test case

    (not sure where this issue came from. not even sure the purpose of this test)
Commits on Jan 25, 2015
  1. enforce java 7 compiler

Commits on Jan 24, 2015
  1. code simplification

    Jörg Liebig authored
  2. fix typo

    Jörg Liebig authored
  3. clean up code after changing fixpoint computation in monotone

    Jörg Liebig authored
    remove the functiondef reference which was necessary in several df
    analyses to compute the fixpoint. the reference is not necessary in
    the new infrastructure.
Commits on Jan 23, 2015
  1. update sbt-coveralls version

  2. fight random failures on travis

    on travis-ci a few of the hundreds of external CPP calls typically fail for no apparent reason. it's unclear whether it's a problem on travis or with the scala process API or something else.
    it's now simply trying to preprocess a file up to three times if the output is empty to work around those problems
  3. additional information for ignored test case

    Jörg Liebig authored
  4. use kiama's infrastructure for fixpoint computation

    Jörg Liebig authored
    previously we implemented our own fixpoint computation because of
    performance issues in kiama. first performance tests show that
    the variant using kiama is faster than the old, self-written fixpoint
  5. bugfix: fixpoint computation stops to early; feature expressions are not

    Jörg Liebig authored
    properly propagated
    using solely the size of the map to determine knowledge gain is not
    enough. we compare maps directly to track differences in feature
    expressions also.
Commits on Jan 22, 2015
  1. Merge pull request #33 from alexrhein/alexmaster

    optional simplification of presence condtions after parsing
  2. alexrhein

    fix for Choice case

    alexrhein authored
Commits on Jan 20, 2015
  1. alexrhein


    alexrhein authored
  2. alexrhein

    Merge branch 'alexmaster' of in…

    alexrhein authored
    …to alexmaster
  3. alexrhein
Commits on Jan 15, 2015
  1. avoid printing lexer errors to stderr in test cases

    this clutters the output of the test log, where errors are often expected and caught.
Something went wrong with that request. Please try again.