HEAD | 234aa1c | fix github links | 07 September 2021, 13:51:45 UTC |
refs/heads/CallGraph | f899ca5 | Merge branch 'master' into CallGraph Conflicts: Frontend/src/main/scala/de/fosd/typechef/Frontend.scala | 07 February 2014, 16:13:37 UTC |
refs/heads/ChoiceParseResult | b6be8bd | partially refactored ConditionalParserLib | 29 November 2014, 22:40:25 UTC |
refs/heads/Feature_Ambiguity | 665838a | draft to create ambiguity nodes in the parser (breaks all kinds of parts in the type system right now) | 22 April 2015, 19:26:46 UTC |
refs/heads/Ifdef2Modules | 30bdd21 | moving navigation between optional nodes to ConditionalNavigation (module: conditionallib) | 03 August 2011, 12:33:17 UTC |
refs/heads/JavaScript | 54c3a37 | Merge remote-tracking branch 'origin/master' into JavaScript | 01 June 2014, 15:33:55 UTC |
refs/heads/MinimalVariants | 0fd7e9b | add short comment on the algorithm | 30 April 2012, 09:57:38 UTC |
refs/heads/NoDeadNodes | b003d95 | more extensive testing for dead nodes still not all problems fixed unfortunately | 12 January 2014, 18:08:49 UTC |
refs/heads/PrettyPrinterComma | 0cbc564 | fixing comma in declaration that contains alternatives | 22 May 2013, 12:00:23 UTC |
refs/heads/TravisTests | c51427c | test 7 | 22 January 2015, 22:43:00 UTC |
refs/heads/VariabilityStatistics | 6c8ecd0 | commit pending analysis changes | 17 September 2013, 12:28:42 UTC |
refs/heads/canalysisoptions | 14e7807 | add default options to cinteranalysisfrontend to fix compile error | 11 July 2013, 14:38:37 UTC |
refs/heads/ccfg | 6f800af | invert test check because of goto | 26 February 2017, 21:22:34 UTC |
refs/heads/cfgstmt | de9888d | count total and cached sat calls for satfeatureexpr and bddfeatureexpr | 25 September 2013, 09:20:44 UTC |
refs/heads/cleanup | c0bdf5d | adding dependency for junitxml test listener | 20 November 2012, 12:33:42 UTC |
refs/heads/debugcircular | 355da6c | remove unused function definition | 29 November 2013, 21:59:35 UTC |
refs/heads/feature_featureexprlib_substitute | ccd3e51 | implement unique existential quantification for feature expressions | 11 July 2013, 21:52:10 UTC |
refs/heads/feature_fexprconcurrency | 77cca9e | add documentation for FeatureExprLib | 11 December 2015, 23:20:28 UTC |
refs/heads/fix_goto | f49c04c | fix warnings | 18 June 2013, 17:40:07 UTC |
refs/heads/fix_parserattribute | ed0b09d | store __attribute__ specifiers in AST crosscutting change to store __attribute__ specifiers in AST that were previously discarded during parsing. Attempting to pretty print them as well. This is a wide ranging change, not well tested. Since attributes were previously not used it should not introduce new problems. | 10 July 2013, 22:06:51 UTC |
refs/heads/fpusingwhile | 0040f88 | ignore failing decluse tests | 13 December 2013, 12:46:32 UTC |
refs/heads/gh-pages | b8c20f7 | fix urls | 07 September 2021, 13:54:03 UTC |
refs/heads/interactionstats | 4ae5d8f | Merge branch 'master' into interactionstats Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CTypeSystem.scala CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/linker/CInferInterface.scala | 05 July 2013, 20:37:24 UTC |
refs/heads/ldebug | 8fce420 | merging master | 19 May 2014, 08:51:30 UTC |
refs/heads/liveness | 8528242 | merging master | 26 November 2014, 21:05:13 UTC |
refs/heads/master | 234aa1c | fix github links | 07 September 2021, 13:51:45 UTC |
refs/heads/prettyprinting | ca6e110 | adding test file cdrom.c | 04 December 2012, 16:34:00 UTC |
refs/heads/writecf | 962f1b3 | Merge branch 'master' into liveness | 12 September 2013, 10:38:41 UTC |
refs/heads/xtc240 | 8849000 | fix lexer test cases | 29 November 2014, 17:32:53 UTC |