https://github.com/ckaestne/TypeChef

sort by:
Revision Author Date Message Commit Date
205572c increase release number after pushing to maven repo 10 May 2012, 12:27:05 UTC
f528f35 Merge branch 'maven' 10 May 2012, 09:18:12 UTC
c7c7b51 update sbt to 0.11.3 10 May 2012, 09:17:58 UTC
e7a61ad Merge branch 'maven' 10 May 2012, 09:12:16 UTC
aca83e6 update sbt version 10 May 2012, 09:11:53 UTC
ef59b97 prepare for push to maven repo and update some plugins 10 May 2012, 09:10:10 UTC
39d7873 Merge branch 'NullLocation' 10 May 2012, 07:43:19 UTC
c8605ff 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 more tests 10 May 2012, 07:40:32 UTC
85de15d propagate more position information 10 May 2012, 07:10:33 UTC
5fda328 propagate more position information 10 May 2012, 07:10:06 UTC
13ec759 use kiama only in tests and disable overly aggressive test again 10 May 2012, 07:09:56 UTC
47d7463 prepare infrastructure to find problem 10 May 2012, 06:58:12 UTC
f84b0d1 add variability-aware module system paper to README 10 May 2012, 06:43:52 UTC
095bc3e create typechef.sh with less default memory 04 May 2012, 21:33:33 UTC
f124e38 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 fixed typo 04 May 2012, 21:32:38 UTC
82ebaae update parameter list with genpages.sh 04 May 2012, 21:31:48 UTC
12aa350 include JavaParser in fat jar 04 May 2012, 21:15:38 UTC
ad952ed also update Parameters.txt documentation when updating the page 04 May 2012, 21:15:19 UTC
fcc405b update collaborators 04 May 2012, 21:15:04 UTC
dfbe76b Merge branch 'master' of github.com:ckaestne/TypeChef 04 May 2012, 21:11:20 UTC
ffa373a mention mapCombination in tutorial 04 May 2012, 21:10:37 UTC
50fa91e update parameter list with genpages.sh 04 May 2012, 20:53:34 UTC
e13c4d4 fix script error appended file instead of replacing it 04 May 2012, 18:45:29 UTC
273ba8d add script to generate site and deploy new binary 04 May 2012, 18:39:16 UTC
e081ef0 more specific readme, added link 04 May 2012, 17:50:00 UTC
3e950e8 move --bdd option for earlier evaluation previously it was initialized after already other parameters were set 19 April 2012, 10:58:57 UTC
b66c4b8 add --bdd command line option existed before, but was not actually interpreted 19 April 2012, 10:44:09 UTC
e35a097 fix for previous commit forgot to patch also CParser project 19 April 2012, 09:48:00 UTC
c5bca32 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 fix test cases related to enum as unsigned int follow up to commit 4b65ae58c1a79450cc180cad3f53425036fc9b51 19 April 2012, 08:32:46 UTC
e6102a7 increase release number 18 April 2012, 17:04:30 UTC
efe9a37 replaced base and dead by True and False (finally) 18 April 2012, 16:57:17 UTC
3b3f140 update CRewrite for new FeatureExprLib 18 April 2012, 16:44:29 UTC
a95b577 fix test case for BDDs 18 April 2012, 16:42:46 UTC
b6f5e0a update Frontend for new FeatureExprLib 18 April 2012, 14:00:16 UTC
4ec90d3 update CTypeChecker for new FeatureExprLib 18 April 2012, 13:53:19 UTC
9576b21 update JavaParser for new FeatureExprLib (automatic search replace) 18 April 2012, 13:31:20 UTC
0eccbcd update CParser for new FeatureExprLib 18 April 2012, 13:30:14 UTC
90388aa update Lexer for new FeatureExprLib 18 April 2012, 13:23:47 UTC
697666e rewrite feature model factory and make it accessible 18 April 2012, 13:23:06 UTC
d715879 fix error management 18 April 2012, 13:22:31 UTC
4048e40 update featureExprLib in ParserFramework 18 April 2012, 08:23:06 UTC
a0c8898 update documentation 18 April 2012, 08:10:34 UTC
95ee59a update conditionallib with FeatureExprFactory 18 April 2012, 08:07:39 UTC
b3e955a fix FeatureExprLib tests 18 April 2012, 08:04:01 UTC
c03daf8 add BDD command-line option 18 April 2012, 07:17:08 UTC
2e67682 first (compiling) attempt to integrate both libraries did not change client sides yet 17 April 2012, 16:24:48 UTC
e3c04c2 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 correctly propagate feature expression when checking conditional expression 19 March 2012, 13:46:48 UTC
d0a660d option for behavior equivalent to -Wno-pointer-sign also added options infrastructure for future extensions 19 March 2012, 13:46:27 UTC
c1c4130 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 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 fix coersion between two integer pointers with different int types 19 March 2012, 13:44:14 UTC
b4c6648 coersion between two integer pointers with different int types 19 March 2012, 13:43:54 UTC
fd37131 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 paolos fix 19 March 2012, 13:40:12 UTC
65af371 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 output location for "no type specifier found" error 19 March 2012, 13:35:11 UTC
779c520 Merge branch 'master' into BDD 12 March 2012, 14:27:22 UTC
e8027cc fix redeclaration error definition after compatible declaration is okay 12 March 2012, 14:25:33 UTC
3e0023f ignore failing test for now fix forward declarations of structures later 12 March 2012, 13:49:45 UTC
4754d3a Merge branch 'master' of github.com:ckaestne/TypeChef 12 March 2012, 13:47:49 UTC
0ca4c0a 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 fix check for variabile declaration store kind of declaration/definition in symbol table. 12 March 2012, 13:37:28 UTC
55fea68 Merge branch 'master' into BDD 12 March 2012, 11:22:06 UTC
2d2deb6 fix bug13; continue statement 07 March 2012, 23:59:44 UTC
4636447 wip 07 March 2012, 14:20:13 UTC
a532bc5 consider continue statements in predecessor determination of loop statements; unfinished 07 March 2012, 12:14:43 UTC
8fc3f3a adding comments to functions 07 March 2012, 12:12:30 UTC
1f2e8f2 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 Merge branch 'gh-pages' of github.com:ckaestne/TypeChef 06 March 2012, 15:07:30 UTC
28fa102 rewrite filterBreakStatements; remove integer for level of break enviroment 06 March 2012, 14:57:15 UTC
9276542 remove dead code 06 March 2012, 13:17:06 UTC
0fe1dbc minor layout changes 05 March 2012, 22:27:15 UTC
ce561f1 ignore failing test cases; infinite loops mostly 05 March 2012, 22:21:56 UTC
1b9bccd update filetests 05 March 2012, 22:04:29 UTC
169ec7d fix break statements filter 05 March 2012, 21:14:06 UTC
2db6bda update filetests 05 March 2012, 21:13:50 UTC
c5764de updated ideas section 05 March 2012, 17:11:06 UTC
c3ce11e add failing test case for expected behavior on variable definition conflicts 05 March 2012, 16:43:20 UTC
16b4c47 fix rollup if statement 05 March 2012, 15:46:34 UTC
5d83469 change filter of break statements that are the result of the predecessor determination 05 March 2012, 15:20:32 UTC
496b9d8 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 bug fixing switch case 02 March 2012, 16:10:48 UTC
23efa06 adding handling of nested cases; works for now, but should be rewritten 02 March 2012, 15:57:45 UTC
911f2cd wip 02 March 2012, 14:52:29 UTC
e5ecd8d fix issue pred returns a returnstatements 02 March 2012, 13:01:28 UTC
58a5032 fix pred for case and default statements 02 March 2012, 12:49:30 UTC
0011934 fix pred for iteration statements 02 March 2012, 09:25:32 UTC
0429cc1 move rollup method to pred 02 March 2012, 09:12:09 UTC
e236852 wip; pred for compoundstatement isn't working anymore, after some restructurings of the code 01 March 2012, 19:46:10 UTC
3352bd6 wip 01 March 2012, 18:49:27 UTC
f6ecd1a fix file test 991026_2 01 March 2012, 18:17:19 UTC
a23721a renaming some methods for better naming scheme 01 March 2012, 16:26:41 UTC
fde8a58 ignore failing testcases 01 March 2012, 15:21:57 UTC
4b63131 fix testcase 20000224-1 01 March 2012, 15:20:16 UTC
92043d3 wip 01 March 2012, 14:42:50 UTC
568b5e8 fix bug05 predecessor determination for case blocks 29 February 2012, 17:11:42 UTC
back to top