https://github.com/ckaestne/TypeChef
Name Target Message Date
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
back to top