205572c | Christian Kaestner | 10 May 2012, 12:27:05 UTC | increase release number after pushing to maven repo | 10 May 2012, 12:27:05 UTC |
f528f35 | Christian Kaestner | 10 May 2012, 09:18:12 UTC | Merge branch 'maven' | 10 May 2012, 09:18:12 UTC |
c7c7b51 | Christian Kaestner | 10 May 2012, 09:17:58 UTC | update sbt to 0.11.3 | 10 May 2012, 09:17:58 UTC |
e7a61ad | Christian Kaestner | 10 May 2012, 09:12:16 UTC | Merge branch 'maven' | 10 May 2012, 09:12:16 UTC |
aca83e6 | Christian Kaestner | 10 May 2012, 09:11:53 UTC | update sbt version | 10 May 2012, 09:11:53 UTC |
ef59b97 | Christian Kaestner | 10 May 2012, 09:10:10 UTC | prepare for push to maven repo and update some plugins | 10 May 2012, 09:10:10 UTC |
39d7873 | Christian Kaestner | 10 May 2012, 07:43:19 UTC | Merge branch 'NullLocation' | 10 May 2012, 07:43:19 UTC |
c8605ff | Christian Kaestner | 10 May 2012, 07:42:52 UTC | changes to propagate more position informations to the AST ast nodes created in a nested from within a ^^ block won't get position information. two strategies used here. (a) use ^^ only to create atomic elements and rather compose several ^^ steps (see typedefName) (b) encode position propagation directly in the AST as done for FunctionCall cannot guarantee that we covered all nodes created without position information, but remaining ones can be fixed with the same patterns if necessary | 10 May 2012, 07:42:52 UTC |
d498e3c | Christian Kaestner | 10 May 2012, 07:40:32 UTC | more tests | 10 May 2012, 07:40:32 UTC |
85de15d | Christian Kaestner | 10 May 2012, 07:10:06 UTC | propagate more position information | 10 May 2012, 07:10:33 UTC |
5fda328 | Christian Kaestner | 10 May 2012, 07:10:06 UTC | propagate more position information | 10 May 2012, 07:10:06 UTC |
13ec759 | Christian Kaestner | 10 May 2012, 07:09:56 UTC | use kiama only in tests and disable overly aggressive test again | 10 May 2012, 07:09:56 UTC |
47d7463 | Christian Kaestner | 10 May 2012, 06:58:12 UTC | prepare infrastructure to find problem | 10 May 2012, 06:58:12 UTC |
f84b0d1 | Christian Kaestner | 10 May 2012, 06:43:52 UTC | add variability-aware module system paper to README | 10 May 2012, 06:43:52 UTC |
095bc3e | Christian Kaestner | 04 May 2012, 21:33:33 UTC | create typechef.sh with less default memory | 04 May 2012, 21:33:33 UTC |
f124e38 | Christian Kaestner | 04 May 2012, 21:32:52 UTC | create fat jar only with --mkjar parameter otherwise it takes to long, and often we only want to update the web site not the entire deployment | 04 May 2012, 21:32:52 UTC |
d1a8b14 | Christian Kaestner | 04 May 2012, 21:32:38 UTC | fixed typo | 04 May 2012, 21:32:38 UTC |
82ebaae | Christian Kaestner | 04 May 2012, 21:31:48 UTC | update parameter list with genpages.sh | 04 May 2012, 21:31:48 UTC |
12aa350 | Christian Kaestner | 04 May 2012, 21:15:38 UTC | include JavaParser in fat jar | 04 May 2012, 21:15:38 UTC |
ad952ed | Christian Kaestner | 04 May 2012, 21:15:19 UTC | also update Parameters.txt documentation when updating the page | 04 May 2012, 21:15:19 UTC |
fcc405b | Christian Kaestner | 04 May 2012, 21:15:04 UTC | update collaborators | 04 May 2012, 21:15:04 UTC |
dfbe76b | Christian Kaestner | 04 May 2012, 21:11:20 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef | 04 May 2012, 21:11:20 UTC |
ffa373a | Christian Kästner | 04 May 2012, 21:10:37 UTC | mention mapCombination in tutorial | 04 May 2012, 21:10:37 UTC |
50fa91e | Christian Kaestner | 04 May 2012, 20:53:34 UTC | update parameter list with genpages.sh | 04 May 2012, 20:53:34 UTC |
e13c4d4 | Christian Kaestner | 04 May 2012, 18:45:29 UTC | fix script error appended file instead of replacing it | 04 May 2012, 18:45:29 UTC |
273ba8d | Christian Kaestner | 04 May 2012, 18:39:16 UTC | add script to generate site and deploy new binary | 04 May 2012, 18:39:16 UTC |
e081ef0 | Christian Kaestner | 04 May 2012, 17:50:00 UTC | more specific readme, added link | 04 May 2012, 17:50:00 UTC |
3e950e8 | Christian Kaestner | 19 April 2012, 10:58:57 UTC | move --bdd option for earlier evaluation previously it was initialized after already other parameters were set | 19 April 2012, 10:58:57 UTC |
b66c4b8 | Christian Kaestner | 19 April 2012, 10:44:09 UTC | add --bdd command line option existed before, but was not actually interpreted | 19 April 2012, 10:44:09 UTC |
e35a097 | Christian Kaestner | 19 April 2012, 09:48:00 UTC | fix for previous commit forgot to patch also CParser project | 19 April 2012, 09:48:00 UTC |
c5bca32 | Christian Kaestner | 19 April 2012, 09:40:08 UTC | better error messages on cast errors and fix BDD tests needed to revise internal libraries a bit to avoid mixing different implementations (especially falling back to FeatureExprFactory.default within the library) | 19 April 2012, 09:40:08 UTC |
f9edb0e | Christian Kaestner | 19 April 2012, 08:32:46 UTC | fix test cases related to enum as unsigned int follow up to commit 4b65ae58c1a79450cc180cad3f53425036fc9b51 | 19 April 2012, 08:32:46 UTC |
e6102a7 | Christian Kaestner | 18 April 2012, 17:03:23 UTC | increase release number | 18 April 2012, 17:04:30 UTC |
efe9a37 | Christian Kaestner | 18 April 2012, 16:57:17 UTC | replaced base and dead by True and False (finally) | 18 April 2012, 16:57:17 UTC |
3b3f140 | Christian Kaestner | 18 April 2012, 16:44:29 UTC | update CRewrite for new FeatureExprLib | 18 April 2012, 16:44:29 UTC |
a95b577 | Christian Kaestner | 18 April 2012, 16:42:46 UTC | fix test case for BDDs | 18 April 2012, 16:42:46 UTC |
b6f5e0a | Christian Kaestner | 18 April 2012, 14:00:16 UTC | update Frontend for new FeatureExprLib | 18 April 2012, 14:00:16 UTC |
4ec90d3 | Christian Kaestner | 18 April 2012, 13:53:19 UTC | update CTypeChecker for new FeatureExprLib | 18 April 2012, 13:53:19 UTC |
9576b21 | Christian Kaestner | 18 April 2012, 13:31:20 UTC | update JavaParser for new FeatureExprLib (automatic search replace) | 18 April 2012, 13:31:20 UTC |
0eccbcd | Christian Kaestner | 18 April 2012, 13:30:14 UTC | update CParser for new FeatureExprLib | 18 April 2012, 13:30:14 UTC |
90388aa | Christian Kaestner | 18 April 2012, 13:23:47 UTC | update Lexer for new FeatureExprLib | 18 April 2012, 13:23:47 UTC |
697666e | Christian Kaestner | 18 April 2012, 13:23:06 UTC | rewrite feature model factory and make it accessible | 18 April 2012, 13:23:06 UTC |
d715879 | Christian Kaestner | 18 April 2012, 13:22:31 UTC | fix error management | 18 April 2012, 13:22:31 UTC |
4048e40 | Christian Kaestner | 18 April 2012, 08:23:06 UTC | update featureExprLib in ParserFramework | 18 April 2012, 08:23:06 UTC |
a0c8898 | Christian Kaestner | 18 April 2012, 08:10:34 UTC | update documentation | 18 April 2012, 08:10:34 UTC |
95ee59a | Christian Kaestner | 18 April 2012, 08:07:39 UTC | update conditionallib with FeatureExprFactory | 18 April 2012, 08:07:39 UTC |
b3e955a | Christian Kaestner | 18 April 2012, 08:04:01 UTC | fix FeatureExprLib tests | 18 April 2012, 08:04:01 UTC |
c03daf8 | Christian Kaestner | 18 April 2012, 07:17:08 UTC | add BDD command-line option | 18 April 2012, 07:17:08 UTC |
2e67682 | Christian Kaestner | 17 April 2012, 16:24:48 UTC | first (compiling) attempt to integrate both libraries did not change client sides yet | 17 April 2012, 16:24:48 UTC |
e3c04c2 | Christian Kaestner | 17 April 2012, 09:54:43 UTC | Merge branch 'master' into BDD Conflicts: CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CTypes.scala CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/TypeSystemTest.scala | 17 April 2012, 09:54:43 UTC |
6ee3103 | Christian Kaestner | 28 February 2012, 16:24:33 UTC | correctly propagate feature expression when checking conditional expression | 19 March 2012, 13:46:48 UTC |
d0a660d | Christian Kaestner | 28 February 2012, 15:29:51 UTC | option for behavior equivalent to -Wno-pointer-sign also added options infrastructure for future extensions | 19 March 2012, 13:46:27 UTC |
c1c4130 | Christian Kaestner | 27 February 2012, 15:25:38 UTC | fixed evaluation order of types in n-ary operations used foldr before but should be foldl added foldl in terms of foldr operator (not checked exessively) | 19 March 2012, 13:45:26 UTC |
05e7a72 | Christian Kaestner | 27 February 2012, 14:43:08 UTC | revert change of pointer coersion assignment between pointers of different types should be a warning check with gcc -Wall | 19 March 2012, 13:44:59 UTC |
4beef55 | Christian Kaestner | 27 February 2012, 11:53:02 UTC | fix coersion between two integer pointers with different int types | 19 March 2012, 13:44:14 UTC |
b4c6648 | Christian Kaestner | 27 February 2012, 08:47:19 UTC | coersion between two integer pointers with different int types | 19 March 2012, 13:43:54 UTC |
fd37131 | Christian Kaestner | 23 February 2012, 09:40:29 UTC | more flexible parser for feature expressions accept also X && B in addition to def(A) && def(B) | 19 March 2012, 13:40:40 UTC |
749f113 | Christian Kaestner | 13 February 2012, 16:22:46 UTC | paolos fix | 19 March 2012, 13:40:12 UTC |
65af371 | Christian Kaestner | 13 February 2012, 11:42:23 UTC | fix parser bug that would accept empty declarations (which then lead to a type error) see new test case and the comment there | 19 March 2012, 13:38:44 UTC |
8aa5eaf | Christian Kaestner | 13 February 2012, 09:17:46 UTC | output location for "no type specifier found" error | 19 March 2012, 13:35:11 UTC |
779c520 | Christian Kaestner | 12 March 2012, 14:27:22 UTC | Merge branch 'master' into BDD | 12 March 2012, 14:27:22 UTC |
e8027cc | Christian Kaestner | 12 March 2012, 14:25:33 UTC | fix redeclaration error definition after compatible declaration is okay | 12 March 2012, 14:25:33 UTC |
3e0023f | Christian Kaestner | 12 March 2012, 13:49:45 UTC | ignore failing test for now fix forward declarations of structures later | 12 March 2012, 13:49:45 UTC |
4754d3a | Jörg Liebig | 12 March 2012, 13:47:49 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef | 12 March 2012, 13:47:49 UTC |
0ca4c0a | Jörg Liebig | 12 March 2012, 13:45:44 UTC | Revert "Merge branch 'gh-pages' of github.com:ckaestne/TypeChef" This reverts commit 8443db64a5c917990113e6ae44acee49a8e90400, reversing changes made to 28fa102e83105137b27e15586c9b32693173bdf1. | 12 March 2012, 13:45:44 UTC |
82871b8 | Christian Kaestner | 12 March 2012, 13:34:31 UTC | fix check for variabile declaration store kind of declaration/definition in symbol table. | 12 March 2012, 13:37:28 UTC |
55fea68 | Christian Kaestner | 12 March 2012, 11:22:06 UTC | Merge branch 'master' into BDD | 12 March 2012, 11:22:06 UTC |
2d2deb6 | Joerg Liebig | 07 March 2012, 23:59:30 UTC | fix bug13; continue statement | 07 March 2012, 23:59:44 UTC |
4636447 | Joerg Liebig | 07 March 2012, 14:20:13 UTC | wip | 07 March 2012, 14:20:13 UTC |
a532bc5 | Joerg Liebig | 07 March 2012, 12:14:28 UTC | consider continue statements in predecessor determination of loop statements; unfinished | 07 March 2012, 12:14:43 UTC |
8fc3f3a | Joerg Liebig | 07 March 2012, 12:12:30 UTC | adding comments to functions | 07 March 2012, 12:12:30 UTC |
1f2e8f2 | Joerg Liebig | 07 March 2012, 10:00:54 UTC | filter methods (break, case, default, continue) now only fit the body of loop or switch (Conditional[Statement]); start to add continue statement to predecessor determination | 07 March 2012, 10:00:54 UTC |
8443db6 | Jörg Liebig | 06 March 2012, 15:07:30 UTC | Merge branch 'gh-pages' of github.com:ckaestne/TypeChef | 06 March 2012, 15:07:30 UTC |
28fa102 | Jörg Liebig | 06 March 2012, 14:57:15 UTC | rewrite filterBreakStatements; remove integer for level of break enviroment | 06 March 2012, 14:57:15 UTC |
9276542 | Jörg Liebig | 06 March 2012, 13:17:06 UTC | remove dead code | 06 March 2012, 13:17:06 UTC |
0fe1dbc | Joerg Liebig | 05 March 2012, 22:27:15 UTC | minor layout changes | 05 March 2012, 22:27:15 UTC |
ce561f1 | Joerg Liebig | 05 March 2012, 22:21:56 UTC | ignore failing test cases; infinite loops mostly | 05 March 2012, 22:21:56 UTC |
1b9bccd | Joerg Liebig | 05 March 2012, 22:04:29 UTC | update filetests | 05 March 2012, 22:04:29 UTC |
169ec7d | Joerg Liebig | 05 March 2012, 21:14:06 UTC | fix break statements filter | 05 March 2012, 21:14:06 UTC |
2db6bda | Joerg Liebig | 05 March 2012, 21:13:50 UTC | update filetests | 05 March 2012, 21:13:50 UTC |
c5764de | Christian Kaestner | 05 March 2012, 17:11:06 UTC | updated ideas section | 05 March 2012, 17:11:06 UTC |
c3ce11e | Christian Kaestner | 05 March 2012, 16:43:20 UTC | add failing test case for expected behavior on variable definition conflicts | 05 March 2012, 16:43:20 UTC |
16b4c47 | Joerg Liebig | 05 March 2012, 15:46:34 UTC | fix rollup if statement | 05 March 2012, 15:46:34 UTC |
5d83469 | Joerg Liebig | 05 March 2012, 15:20:32 UTC | change filter of break statements that are the result of the predecessor determination | 05 March 2012, 15:20:32 UTC |
496b9d8 | Joerg Liebig | 05 March 2012, 12:04:54 UTC | fix pred default statement; statements that belong to the default either are embedded in the default statement or are part of the compoundstatement that default is part of | 05 March 2012, 12:04:54 UTC |
17f0b14 | Jörg Liebig | 02 March 2012, 16:10:48 UTC | bug fixing switch case | 02 March 2012, 16:10:48 UTC |
23efa06 | Jörg Liebig | 02 March 2012, 15:57:45 UTC | adding handling of nested cases; works for now, but should be rewritten | 02 March 2012, 15:57:45 UTC |
911f2cd | Jörg Liebig | 02 March 2012, 14:52:29 UTC | wip | 02 March 2012, 14:52:29 UTC |
e5ecd8d | Jörg Liebig | 02 March 2012, 13:01:28 UTC | fix issue pred returns a returnstatements | 02 March 2012, 13:01:28 UTC |
58a5032 | Jörg Liebig | 02 March 2012, 12:49:30 UTC | fix pred for case and default statements | 02 March 2012, 12:49:30 UTC |
0011934 | Jörg Liebig | 02 March 2012, 09:25:32 UTC | fix pred for iteration statements | 02 March 2012, 09:25:32 UTC |
0429cc1 | Jörg Liebig | 02 March 2012, 09:12:09 UTC | move rollup method to pred | 02 March 2012, 09:12:09 UTC |
e236852 | Jörg Liebig | 01 March 2012, 19:46:10 UTC | wip; pred for compoundstatement isn't working anymore, after some restructurings of the code | 01 March 2012, 19:46:10 UTC |
3352bd6 | Jörg Liebig | 01 March 2012, 18:49:27 UTC | wip | 01 March 2012, 18:49:27 UTC |
f6ecd1a | Jörg Liebig | 01 March 2012, 18:17:19 UTC | fix file test 991026_2 | 01 March 2012, 18:17:19 UTC |
a23721a | Jörg Liebig | 01 March 2012, 16:26:41 UTC | renaming some methods for better naming scheme | 01 March 2012, 16:26:41 UTC |
fde8a58 | Jörg Liebig | 01 March 2012, 15:21:57 UTC | ignore failing testcases | 01 March 2012, 15:21:57 UTC |
4b63131 | Jörg Liebig | 01 March 2012, 15:20:16 UTC | fix testcase 20000224-1 | 01 March 2012, 15:20:16 UTC |
92043d3 | Jörg Liebig | 01 March 2012, 14:42:50 UTC | wip | 01 March 2012, 14:42:50 UTC |
568b5e8 | Jörg Liebig | 29 February 2012, 17:11:42 UTC | fix bug05 predecessor determination for case blocks | 29 February 2012, 17:11:42 UTC |