8fce420 | Jörg Liebig | 19 May 2014, 08:51:30 UTC | merging master | 19 May 2014, 08:51:30 UTC |
5b9156e | Jörg Liebig | 19 May 2014, 08:28:18 UTC | code compiles again | 19 May 2014, 08:28:18 UTC |
fdffc2d | Jörg Liebig | 16 May 2014, 15:00:31 UTC | wip; does not compile | 16 May 2014, 15:00:31 UTC |
a924306 | Jörg Liebig | 16 May 2014, 13:50:40 UTC | update kiama version to version 1.6.0; this version solves the previous performance issues we faced with circular computations in busybox | 16 May 2014, 13:50:40 UTC |
b82efcb | Christian Kaestner | 14 May 2014, 20:58:17 UTC | changed handling of approx.fm and full feature model Significant refactoring renaming the two into small feature model and full feature model (explained in the comment in FeatureModelOptions.java) Lexer and parser now also use the full feature model to prune the results at the end. This means that the approx.fm does no longer need to be complete, it is sufficient if it prunes the most common error paths | 14 May 2014, 21:16:18 UTC |
e6b0de0 | Christian Kaestner | 14 May 2014, 20:55:43 UTC | support simplify also using a feature model instead of just an fexpr context | 14 May 2014, 20:55:43 UTC |
2ed496f | Christian Kaestner | 14 May 2014, 19:45:39 UTC | add __DATE__ and __TIME__ macros to xtc preprocessor | 14 May 2014, 19:45:39 UTC |
6755222 | Christian Kaestner | 14 May 2014, 19:10:51 UTC | eliminate compiler warning | 14 May 2014, 19:10:51 UTC |
267ee6b | Christian Kaestner | 14 May 2014, 14:32:28 UTC | explaining formula | 14 May 2014, 14:32:28 UTC |
6fb3448 | Christian Kaestner | 14 May 2014, 14:32:03 UTC | cosmetic improvements in frontend | 14 May 2014, 14:32:03 UTC |
ebe7ab8 | Christian Kaestner | 14 May 2014, 13:43:57 UTC | fix description of how to use sbt-idea (it's an external plugin now no longer referenced from within the sbt scripts) | 14 May 2014, 13:43:57 UTC |
b5ad813 | Christian Kaestner | 14 May 2014, 13:39:58 UTC | minor changes to frontend | 14 May 2014, 13:39:58 UTC |
6233317 | Jörg Liebig | 05 May 2014, 10:42:51 UTC | reduce amount of JVM memory for typechefsampling.sh starting script | 05 May 2014, 10:42:51 UTC |
f47563b | Jörg Liebig | 05 May 2014, 10:41:54 UTC | bring variability-aware analysis and error checking in order | 05 May 2014, 10:41:54 UTC |
aba1d16 | Jörg Liebig | 05 May 2014, 10:23:52 UTC | fix counting of statements | 05 May 2014, 10:23:52 UTC |
73141cf | Jörg Liebig | 05 May 2014, 07:55:23 UTC | typechefsampling.sh now created with mkrun | 05 May 2014, 07:55:23 UTC |
196c913 | Jörg Liebig | 05 May 2014, 07:34:16 UTC | change sampling-configuration result data structure to set | 05 May 2014, 07:53:40 UTC |
2ea848c | Jörg Liebig | 02 May 2014, 12:18:35 UTC | Merge branch 'liveness' of github.com:ckaestne/TypeChef into originliveness | 02 May 2014, 12:18:35 UTC |
2926236 | Jörg Liebig | 02 May 2014, 11:39:23 UTC | count number of statements for error detection | 02 May 2014, 11:39:23 UTC |
f079849 | Jörg Liebig | 01 May 2014, 15:38:29 UTC | clean up dangling switch code; adding new test case | 01 May 2014, 15:38:29 UTC |
bd016b4 | Jörg Liebig | 01 May 2014, 15:25:36 UTC | rewrite of dangling switch code | 01 May 2014, 15:25:36 UTC |
e66960d | Jörg Liebig | 01 May 2014, 12:12:23 UTC | bug fix | 01 May 2014, 12:12:23 UTC |
eb23483 | Jörg Liebig | 01 May 2014, 11:48:27 UTC | add new test cases for dead store and cfg in non-void function | 01 May 2014, 11:48:27 UTC |
e7f5dfa | Jörg Liebig | 01 May 2014, 11:48:01 UTC | add new version of dangling switch-code analysis | 01 May 2014, 11:48:01 UTC |
2d3266f | Jörg Liebig | 01 May 2014, 11:44:57 UTC | fixing bug in successor relation with dangling switch code | 01 May 2014, 11:44:57 UTC |
a7757f1 | Jörg Liebig | 29 April 2014, 12:24:16 UTC | Merge branch 'liveness' of github.com:ckaestne/TypeChef into liveness | 29 April 2014, 12:24:16 UTC |
8837877 | Jörg Liebig | 29 April 2014, 12:23:50 UTC | fix error in example | 29 April 2014, 12:23:50 UTC |
6577361 | Jörg Liebig | 10 April 2014, 11:18:41 UTC | minor refactorings and optimizations; comments | 10 April 2014, 11:18:41 UTC |
7f410ee | Jörg Liebig | 10 April 2014, 10:39:04 UTC | merging master | 10 April 2014, 10:39:04 UTC |
bcbb7dc | Jörg Liebig | 10 April 2014, 10:28:37 UTC | use getCurrentThreadCPUTime instead of System.currentTimeMillis for time measurements | 10 April 2014, 10:28:37 UTC |
24d231c | Christian Kaestner | 09 April 2014, 21:56:45 UTC | fix fexpr propagation error in rare cases would show the incorrect feature expression for an error message # Please enter the commit message for your changes. Lines starting # with '#' will be ignored, and an empty message aborts the commit. # Explicit paths specified without -i nor -o; assuming --only paths... # On branch master # Changes to be committed: # (use "git reset HEAD <file>..." to unstage) # # modified: PartialPreprocessor/lib/xtc_2.9.1-2.3.1.jar # # Changes not staged for commit: # (use "git add <file>..." to update what will be committed) # (use "git checkout -- <file>..." to discard changes in working directory) # # modified: Frontend/src/main/scala/de/fosd/typechef/Frontend.scala # # Untracked files: # (use "git add <file>..." to include in what will be committed) # # JavaScriptParser/ # test.c # treevis/ | 09 April 2014, 21:56:45 UTC |
4a40903 | Christian Kaestner | 09 April 2014, 21:31:48 UTC | update xtc (lexer issue) | 09 April 2014, 21:31:48 UTC |
ad7c8d7 | Jörg Liebig | 08 April 2014, 17:09:58 UTC | simplify product derivation | 08 April 2014, 17:09:58 UTC |
32c392a | Christian Kaestner | 03 April 2014, 18:37:00 UTC | avoid false positive lexer errors with xtc | 03 April 2014, 18:37:00 UTC |
d9ed30a | Christian Kaestner | 03 April 2014, 17:45:35 UTC | adjust Frontend text output for consistency | 03 April 2014, 17:45:35 UTC |
e35fff7 | Christian Kaestner | 03 April 2014, 15:19:58 UTC | fix to use the BDD library JDD to avoid error messages | 03 April 2014, 15:19:58 UTC |
f9b77ee | Christian Kaestner | 03 April 2014, 15:10:11 UTC | slightly changed frontend output to indicate phases | 03 April 2014, 15:19:40 UTC |
9ac88d8 | Christian Kaestner | 03 April 2014, 15:04:37 UTC | fix lexer changes in tests | 03 April 2014, 15:04:37 UTC |
a199365 | Christian Kaestner | 03 April 2014, 14:57:22 UTC | fix remaining test cases | 03 April 2014, 14:57:22 UTC |
490bb29 | Christian Kaestner | 03 April 2014, 14:47:15 UTC | refining error handling | 03 April 2014, 14:47:15 UTC |
fb3f468 | Christian Kaestner | 03 April 2014, 14:09:17 UTC | adjust testing infrastructure to support partial lexer failures | 03 April 2014, 14:09:17 UTC |
d4b2df1 | Jörg Liebig | 03 April 2014, 11:30:28 UTC | change info strings | 03 April 2014, 11:30:28 UTC |
4554caa | Jörg Liebig | 03 April 2014, 11:27:52 UTC | renaming refactoring | 03 April 2014, 11:27:52 UTC |
fcdf895 | Jörg Liebig | 03 April 2014, 11:24:41 UTC | remove obsolete code | 03 April 2014, 11:24:41 UTC |
5b65246 | Jörg Liebig | 03 April 2014, 11:24:08 UTC | fixing intellij warnings; code layout | 03 April 2014, 11:24:08 UTC |
a9875f2 | Christian Kaestner | 02 April 2014, 15:29:29 UTC | redesign of the lexer interface The lexer no longer returns a list of tokens but a conditional lexing result (part of which can be conditional errors and success consisting of a tokenlist) At the same time, main classes have been renamed and merged to avoid multiple frontend classes with different behavior. Now tests and real executions go through the same look requesting and processing tokens, but tests use empty option objects. For that purpose LexerOptions was generalized to allow lexing from arbitrary sources, not just files. The signature changes have rippling effects throughout many tests and Frontend classes | 02 April 2014, 18:36:31 UTC |
e48a520 | Jörg Liebig | 02 April 2014, 15:38:41 UTC | remove erroneous CONFIG_ prefix from single-conf generation; redundant prefix caused failing sampling-set generation | 02 April 2014, 15:38:41 UTC |
830868b | Jörg Liebig | 02 April 2014, 15:35:59 UTC | code layout | 02 April 2014, 15:35:59 UTC |
6d49644 | Jörg Liebig | 02 April 2014, 15:35:14 UTC | set default BDD library to get rid of warning during typechef run | 02 April 2014, 15:35:14 UTC |
f0697fc | Jörg Liebig | 02 April 2014, 15:05:22 UTC | code layout; typo | 02 April 2014, 15:05:28 UTC |
f4d2eee | Jörg Liebig | 02 April 2014, 15:04:51 UTC | bugfix; missed renaming | 02 April 2014, 15:04:59 UTC |
188e917 | Christian Kaestner | 02 April 2014, 14:08:57 UTC | removing old main methods it's not a good idea to run subsystems independent of the main Frontend class, since options are not parsed and preserved. Instead we would use plenty of boilerplate code for default options or debugging code | 02 April 2014, 14:08:57 UTC |
46be5b4 | Jörg Liebig | 02 April 2014, 13:20:36 UTC | check single-conf for satisfiability | 02 April 2014, 13:20:36 UTC |
c4d6b3a | Jörg Liebig | 02 April 2014, 13:16:47 UTC | code layout | 02 April 2014, 13:16:47 UTC |
ec7e23f | Jörg Liebig | 02 April 2014, 13:15:52 UTC | speed up simple-conf generation | 02 April 2014, 13:15:52 UTC |
3aeaec7 | Jörg Liebig | 02 April 2014, 13:15:13 UTC | remove debugging code | 02 April 2014, 13:15:13 UTC |
a73acd5 | Christian Kaestner | 02 April 2014, 12:40:32 UTC | refactor for nicer getVersion abstraction | 02 April 2014, 12:40:32 UTC |
87d4f52 | Jörg Liebig | 02 April 2014, 11:57:53 UTC | renaming refactoring | 02 April 2014, 11:57:53 UTC |
be99484 | Jörg Liebig | 02 April 2014, 11:07:34 UTC | comment code-coverage implementation | 02 April 2014, 11:07:34 UTC |
68bc625 | Jörg Liebig | 02 April 2014, 10:48:02 UTC | remove unneccessary function fix codecoverage sampling generation | 02 April 2014, 10:48:09 UTC |
25a3090 | Christian Kaestner | 26 March 2014, 20:22:59 UTC | replace deprecated method call from updated testing library replace expect() with expectResult() | 26 March 2014, 20:22:59 UTC |
4400448 | Christian Kaestner | 26 March 2014, 20:00:44 UTC | bump sbt version to 0.13.1 | 26 March 2014, 20:02:46 UTC |
fc500e2 | Christian Kaestner | 26 March 2014, 19:24:37 UTC | fixed regression due to library upgrade test needed to implement additional interface | 26 March 2014, 19:24:37 UTC |
01a7ca7 | Christian Kaestner | 26 March 2014, 19:23:26 UTC | add inactive test for future checking | 26 March 2014, 19:23:26 UTC |
4364b42 | Christian Kaestner | 26 March 2014, 17:07:18 UTC | update version numbers of scala and dependencies | 26 March 2014, 17:07:18 UTC |
e2f72d6 | Christian Kaestner | 24 March 2014, 18:19:40 UTC | fix import of CIgnore from xml | 24 March 2014, 18:19:40 UTC |
ee16b6a | Christian Kaestner | 22 March 2014, 08:20:56 UTC | bump up version number | 22 March 2014, 08:20:56 UTC |
99b18c7 | Christian Kaestner | 22 March 2014, 08:19:35 UTC | javabdd dependency as managed maven dependency repackaged Javabdd library as maven package which is now automatically imported from maven this avoids having to copy the jar file around in every project | 22 March 2014, 08:19:35 UTC |
721e2df | Christian Kaestner | 14 March 2014, 12:52:34 UTC | Merge branch 'NormalizeLinker' | 14 March 2014, 12:52:34 UTC |
20f474b | Christian Kaestner | 14 March 2014, 12:51:59 UTC | add missing test file for prior commit (linker normalization) | 14 March 2014, 12:51:59 UTC |
b16325e | Christian Kaestner | 13 March 2014, 21:56:57 UTC | rename refactoring for readability | 13 March 2014, 21:56:57 UTC |
d24605d | Christian Kaestner | 13 March 2014, 21:55:14 UTC | support different strictness levels in linking the previous comparison was too strict. now it compares normalized signatures. normalization can be done at different strictness levels. at the strictest level signatures are compared and must be identical except for simple equivalence rules like CPointer(x) == CArray(x) at the most relaxed level only names are compared without types at the medium level various normalizations are performed treating all integers and all pointers as equals fixes bug #18 | 13 March 2014, 21:55:14 UTC |
038f8d0 | Christian Kaestner | 13 March 2014, 21:43:59 UTC | normalize CFunction creation when a CFunction is created with a single CVoid() parameter that parameter is removed. Arrays and Function parameters are automatically converted into pointers | 13 March 2014, 21:55:02 UTC |
05143f1 | Christian Kaestner | 13 March 2014, 20:18:30 UTC | skip initial hidden tokens when assigning a position this is slower but more accurate. before, the position may point to a too broad text fragment although part of the text fragment is not included in the corresponding condition of the result. this is a minor issue and may not be worth the performance overhead of making this more accurate. | 13 March 2014, 20:19:28 UTC |
745a557 | Jörg Liebig | 12 March 2014, 14:25:22 UTC | remove assertion featurelist is not empty | 12 March 2014, 14:25:30 UTC |
e46ff76 | Jörg Liebig | 12 March 2014, 13:34:49 UTC | fix infinite loop (cfg cycle) in case termination computation; add test cases to check this corner cases | 12 March 2014, 13:34:49 UTC |
db09775 | Jörg Liebig | 12 March 2014, 13:33:17 UTC | fix typo | 12 March 2014, 13:33:17 UTC |
61e5c8f | Jörg Liebig | 12 March 2014, 12:38:15 UTC | use collect instead of map for partial function | 12 March 2014, 12:38:15 UTC |
e0c396b | Jörg Liebig | 12 March 2014, 08:27:47 UTC | renaming refactoring | 12 March 2014, 08:27:47 UTC |
6283b55 | Jörg Liebig | 12 March 2014, 08:27:16 UTC | introduce new configuration option to run dfg-error checking | 12 March 2014, 08:27:16 UTC |
a4fe0e6 | Jörg Liebig | 12 March 2014, 08:20:08 UTC | revert 00c2039b7da066f96d918b17c671de40f6a85032; renaming refactoring | 12 March 2014, 08:20:08 UTC |
b3e2b0e | Jörg Liebig | 11 March 2014, 16:17:26 UTC | merging master | 11 March 2014, 16:17:26 UTC |
8eef8c6 | Jörg Liebig | 11 March 2014, 16:15:38 UTC | switch to vaa analysis | 11 March 2014, 16:15:38 UTC |
00c2039 | Jörg Liebig | 11 March 2014, 14:23:13 UTC | rule out many false positives for standard-lib-function return | 11 March 2014, 14:23:13 UTC |
143b37e | Jörg Liebig | 11 March 2014, 14:09:02 UTC | renaming refactoring | 11 March 2014, 14:09:02 UTC |
13678e5 | Jörg Liebig | 11 March 2014, 14:08:45 UTC | enable error detection | 11 March 2014, 14:08:45 UTC |
3bfdf3e | Jörg Liebig | 11 March 2014, 12:32:35 UTC | rewrite sampling-configuration generation | 11 March 2014, 12:32:35 UTC |
ebb1e12 | Jörg Liebig | 10 March 2014, 17:26:32 UTC | add more test cases for dead-store analysis | 10 March 2014, 17:26:32 UTC |
506e383 | Jörg Liebig | 10 March 2014, 16:24:39 UTC | fix compile errors | 10 March 2014, 16:24:39 UTC |
3c146c2 | Jörg Liebig | 10 March 2014, 15:49:52 UTC | fixing test cases introduced after previous refactorings | 10 March 2014, 15:49:52 UTC |
f986fd1 | Jörg Liebig | 10 March 2014, 13:30:06 UTC | cleanup imports | 10 March 2014, 13:30:06 UTC |
10b3366 | Jörg Liebig | 10 March 2014, 13:16:39 UTC | refactoring | 10 March 2014, 13:19:39 UTC |
cb38b9b | Jörg Liebig | 10 March 2014, 13:14:50 UTC | renaming refactoring | 10 March 2014, 13:15:16 UTC |
06badc0 | Jörg Liebig | 10 March 2014, 13:10:45 UTC | code layout | 10 March 2014, 13:10:45 UTC |
82e1682 | Jörg Liebig | 10 March 2014, 13:09:10 UTC | renaming refactoring | 10 March 2014, 13:09:10 UTC |
8db6c1f | Jörg Liebig | 10 March 2014, 13:06:04 UTC | renaming refactoring | 10 March 2014, 13:06:04 UTC |
d289d40 | Jörg Liebig | 10 March 2014, 12:59:46 UTC | fix error in checking DFG property condition | 10 March 2014, 12:59:46 UTC |
46154f5 | Jörg Liebig | 10 March 2014, 12:58:53 UTC | renaming refactoring | 10 March 2014, 12:58:53 UTC |
259b85e | Jörg Liebig | 10 March 2014, 12:53:26 UTC | code simplification | 10 March 2014, 12:53:26 UTC |
fb60b85 | Jörg Liebig | 10 March 2014, 12:46:35 UTC | code layout | 10 March 2014, 12:46:35 UTC |