234aa1c | Christian Kästner | 07 September 2021, 13:51:45 UTC | fix github links | 07 September 2021, 13:51:45 UTC |
76f02fa | Christian Kastner | 28 June 2021, 17:39:10 UTC | fix compilation problem (not sure what has changed to break this) | 28 June 2021, 17:39:10 UTC |
fb4d7ad | Christian Kaestner | 06 January 2017, 19:05:02 UTC | remove incorrect javadoc @link references scaladoc now complains about those with a warning, rather remove them | 06 January 2017, 19:05:02 UTC |
7e349cc | Christian Kaestner | 06 January 2017, 18:49:38 UTC | change linker implementation to no longer merge multiple imports by default this makes debugging of linker issues very difficult as the source of the problem is hard to trace | 06 January 2017, 18:49:38 UTC |
0b22454 | Christian Kaestner | 21 December 2016, 18:59:19 UTC | remove obsolete jvm parameter | 21 December 2016, 18:59:19 UTC |
64a6ac1 | Christian Kaestner | 21 December 2016, 18:58:16 UTC | adapt to more strict pattern matching warning in Scala 0.12 introduce additional cases, that were not previously detected as missing, to avoid the warnings | 21 December 2016, 18:58:16 UTC |
1d52793 | Christian Kaestner | 21 December 2016, 18:56:21 UTC | migrated from deprecated scala.collection.JavaConvertions to scala.collection.JavaConverters requires to make many conversions more explicit | 21 December 2016, 18:56:21 UTC |
83f6b8b | Christian Kaestner | 02 December 2016, 15:58:29 UTC | move from Java 1.7 to Java 1.8 (needed for Scala 2.12) | 02 December 2016, 15:58:29 UTC |
8d2485c | Christian Kaestner | 02 December 2016, 15:07:54 UTC | migration to scala 2.12 | 02 December 2016, 15:10:20 UTC |
e757a2b | Christian Kaestner | 15 July 2016, 18:03:51 UTC | regroup and sort methods in FeatureExpr interface | 15 July 2016, 18:08:17 UTC |
2c17d67 | Christian Kaestner | 09 July 2016, 21:56:10 UTC | cleanup options those options were not used anyway, but the preInclude should probably be included before all other includes? making it relative to the system directory makes it useless though. | 09 July 2016, 21:56:10 UTC |
491b3ff | Christian Kaestner | 07 July 2016, 17:20:41 UTC | do not show parser errors in unsatsifiable conditions some corner cases not covered previously, where parser errors overlapped each other | 07 July 2016, 17:20:41 UTC |
202d42c | Christian Kaestner | 01 July 2016, 20:34:31 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef | 01 July 2016, 20:34:31 UTC |
a22e428 | Christian Kaestner | 01 July 2016, 20:25:19 UTC | cleanup of frontend options allow all elements from the .system file be set through parameters | 01 July 2016, 20:25:19 UTC |
461ef26 | Christian Kaestner | 01 July 2016, 16:56:38 UTC | provide direct parameter as alternative to configuration through systems file | 01 July 2016, 16:56:38 UTC |
2a62988 | Jörg Liebig | 06 May 2016, 14:30:17 UTC | move sat checks to latest possible point | 06 May 2016, 14:30:17 UTC |
86247f8 | Jörg Liebig | 06 May 2016, 13:47:23 UTC | fix warnings and simplify code | 06 May 2016, 13:47:23 UTC |
acd2711 | Jörg Liebig | 06 May 2016, 13:47:03 UTC | enable stdlibfuncreturn eof | 06 May 2016, 13:47:03 UTC |
8e2ff2c | Jörg Liebig | 06 May 2016, 13:17:02 UTC | remove redundant braces, var => val, and use nonempty instead of size not zero checks | 06 May 2016, 13:17:02 UTC |
8f296ff | Jörg Liebig | 06 May 2016, 13:09:30 UTC | bugfix: add missing sat checks for CFG analyses | 06 May 2016, 13:10:20 UTC |
aee797d | Christian Kästner | 28 April 2016, 14:17:20 UTC | Merge pull request #40 from aJanker/ckmaster Correct support of the preprocessor for the #pragma once directive | 28 April 2016, 14:17:20 UTC |
b233933 | Andreas Janker | 28 April 2016, 12:26:22 UTC | Correct support of the preprocessor for the #pragma once directive | 28 April 2016, 12:26:22 UTC |
32096e3 | Jörg Liebig | 16 February 2016, 08:22:26 UTC | fixing bug in ASTNavigation regarding filtering of AST nodes; https://github.com/aJanker/TypeChef/commit/03f541ef10ba2e2d7ee5943a6587aaa9a4a66074 and https://github.com/aJanker/TypeChef/commit/e59b6dd7f24794dd32ea2c462c8c055251ff56f5 | 16 February 2016, 08:22:26 UTC |
1ba8fd5 | Christian Kaestner | 11 December 2015, 01:33:41 UTC | rename test in output to distinguish SAT from BDD test | 11 December 2015, 23:26:36 UTC |
3ef67d0 | Christian Kaestner | 11 December 2015, 23:20:28 UTC | add documentation for FeatureExprLib | 11 December 2015, 23:26:35 UTC |
779a66a | Christian Kaestner | 11 December 2015, 02:15:40 UTC | threadsafe caching for SAT feature expression lib and BDD the library was never designed for multithreading and can lock up if multiple threats try to access caches concurrently. Similarly, the BDD library is not thread-safe, thus the entire access to the BDD library is synchronized bump version number to 0.4.1 to reflect the updated functionality | 11 December 2015, 23:25:06 UTC |
f1e59d6 | Christian Kästner | 10 December 2015, 18:20:26 UTC | Merge pull request #39 from szabta89/master adds check to avoid duplicate inclusion in the preprocessor #38 | 10 December 2015, 18:20:26 UTC |
6f8ff5e | Tamas Szabo | 30 November 2015, 15:31:09 UTC | adds check to avoid duplicate inclusion in the preprocessor #36 | 30 November 2015, 15:31:09 UTC |
42ad570 | Christian Kaestner | 20 November 2015, 20:08:43 UTC | avoid merging "const int" and "int" types added test case to ensure correct behavior. required to change the default comparison among CType objects | 20 November 2015, 22:06:01 UTC |
5b7145b | Christian Kaestner | 20 November 2015, 19:50:25 UTC | additional check for reinitializing variables checks "const int" especially | 20 November 2015, 19:50:25 UTC |
5ae91df | Christian Kaestner | 19 November 2015, 23:13:13 UTC | fix compound initializer again (regression in previous attempts for more accurate cast checks) | 19 November 2015, 23:13:13 UTC |
23e3284 | Christian Kaestner | 19 November 2015, 23:00:49 UTC | fix regression from scala update fix handling of type erasure (not sure why, shouldn't happen with compiler update?) | 19 November 2015, 23:00:49 UTC |
789ff90 | Christian Kaestner | 19 November 2015, 02:41:30 UTC | update scala and library dependency versions | 19 November 2015, 02:41:42 UTC |
db77529 | Christian Kaestner | 19 November 2015, 02:39:00 UTC | update scoverage and coveralls version | 19 November 2015, 02:39:00 UTC |
684744a | Christian Kästner | 19 November 2015, 02:29:45 UTC | Update README.md | 19 November 2015, 02:29:45 UTC |
b7c833c | Christian Kästner | 19 November 2015, 02:26:57 UTC | add build status badge | 19 November 2015, 02:26:57 UTC |
a1f5732 | Christian Kaestner | 19 November 2015, 02:17:31 UTC | fix too strict typing of cast expressions for structs allow {} initializers to be casts into structs | 19 November 2015, 02:17:31 UTC |
894fa3b | Christian Kaestner | 15 November 2015, 23:25:16 UTC | fix test case the problem was downgraded from an error to a warning in response to gcc reaction to the issue (llvm is more strict here) | 15 November 2015, 23:25:16 UTC |
537bc9f | Christian Kaestner | 15 November 2015, 20:11:20 UTC | improve function redeclaration detection and fix tests | 15 November 2015, 20:16:55 UTC |
9e87d76 | Christian Kaestner | 15 November 2015, 19:23:00 UTC | improve precision of void values checks for void in parameters and variable declarations and produces corresponding errors or warnings (with tests that align with gcc behavior). also only drop void parameters if they are unnamed. | 15 November 2015, 19:23:00 UTC |
2f72153 | Christian Kaestner | 15 November 2015, 18:11:56 UTC | disallow void variable declarations | 15 November 2015, 18:11:56 UTC |
0b51fd4 | Christian Kaestner | 15 November 2015, 17:33:43 UTC | improve accuracy of redeclaration checks | 15 November 2015, 17:33:43 UTC |
f85b26f | Christian Kaestner | 15 November 2015, 16:28:45 UTC | add tests for constants in assignments and returns generated tests using differential testing against gcc for the oracle | 15 November 2015, 16:28:45 UTC |
d8c41f3 | Christian Kaestner | 15 November 2015, 16:27:44 UTC | add tests for addition generated tests using differential testing against gcc for the oracle | 15 November 2015, 16:27:44 UTC |
8bd4dda | Christian Kaestner | 15 November 2015, 16:10:06 UTC | improve type system accuracy and fix failing tests better support for anonymous structs, improved accuracy for coerce function, handling of Double literals | 15 November 2015, 16:20:19 UTC |
929187a | Christian Kaestner | 15 November 2015, 02:45:16 UTC | revise coerce function and improve type checking of assignments and initializers based on generated test cases, checked against gcc. Should be much stricter than before, also checks assignment to constants and dropping of volatile etc. Makes use of warnings | 15 November 2015, 02:45:16 UTC |
a9b34dd | Christian Kaestner | 15 November 2015, 01:36:09 UTC | support for warnings during type coercion | 15 November 2015, 01:46:23 UTC |
0641a47 | Christian Kaestner | 15 November 2015, 01:20:12 UTC | support for tests that distinguish errors from warnings | 15 November 2015, 01:20:12 UTC |
dbf956a | Christian Kaestner | 15 November 2015, 00:46:47 UTC | revise type checking of casts based on generated tests (differential testing against gcc) this should be much more precise now. previous tests still pass | 15 November 2015, 00:47:12 UTC |
e6862da | Christian Kaestner | 15 November 2015, 00:16:52 UTC | test generators for differential testing against gcc | 15 November 2015, 00:16:52 UTC |
a182ae0 | Christian Kaestner | 14 November 2015, 15:36:56 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef Conflicts: PartialPreprocessor/src/test/scala/de/fosd/typechef/lexer/JcppDiffFileTest.scala PartialPreprocessor/src/test/scala/de/fosd/typechef/lexer/XtcDiffFileTest.scala | 14 November 2015, 15:36:56 UTC |
f395b0b | Jörg Liebig | 10 September 2015, 17:12:36 UTC | add regression test for dead-store | 10 September 2015, 17:12:36 UTC |
de1a163 | Jörg Liebig | 10 September 2015, 17:05:02 UTC | fix: improve configuration check to yield lower number of false positives | 10 September 2015, 17:05:02 UTC |
e5ced93 | Jörg Liebig | 10 September 2015, 12:14:40 UTC | fix erroneous lookup that caused false positives in data-flow analysis | 10 September 2015, 12:14:40 UTC |
1c74e32 | Christian Kaestner | 28 May 2015, 13:48:02 UTC | update parameter list with genpages.sh | 28 May 2015, 13:48:02 UTC |
d2a914c | Christian Kaestner | 28 May 2015, 13:46:06 UTC | update parameter list with genpages.sh | 28 May 2015, 13:46:06 UTC |
b80933e | Christian Kaestner | 28 May 2015, 13:42:43 UTC | update readme file added recent publications | 28 May 2015, 13:42:43 UTC |
641894f | Jörg Liebig | 18 April 2015, 21:42:25 UTC | fix test cases (by adding a break expression to infinite for loops) to stop triggering an assertion in source-code preparation by enforcetreehelper | 18 April 2015, 21:42:25 UTC |
9ea2bf8 | Jörg Liebig | 18 April 2015, 21:41:00 UTC | add testcase of issue 37; https://github.com/ckaestne/TypeChef/issues/37 | 18 April 2015, 21:41:00 UTC |
cabd1e1 | Jörg Liebig | 18 April 2015, 21:38:44 UTC | fix typos | 18 April 2015, 21:38:44 UTC |
7e2eee2 | Jörg Liebig | 18 April 2015, 21:38:04 UTC | avoid searching for function calls, when looking for successor nodes within the parent; use computed presence condition for successor nodes, when the function itself is the successor | 18 April 2015, 21:38:04 UTC |
160f3fa | Jörg Liebig | 18 April 2015, 21:33:06 UTC | fix wrong presence condition for node: use pc for target and not origin (o) | 18 April 2015, 21:33:06 UTC |
3606955 | Jörg Liebig | 15 April 2015, 12:01:19 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef | 15 April 2015, 12:01:19 UTC |
083e742 | Christian Kästner | 10 April 2015, 11:44:06 UTC | Merge pull request #36 from clhunsen/dimacs_prefix_argument --dimacsFeaturePrefix command-line option | 10 April 2015, 11:44:06 UTC |
5633d85 | Claus Hunsen | 27 March 2015, 12:35:11 UTC | respect argument that was given via --dimacsFeaturePrefix command-line option the command-line option was advertised in --help, but was not parsed and, hence, set to a given value | 27 March 2015, 12:47:51 UTC |
bc789c8 | Christian Kaestner | 13 March 2015, 13:15:30 UTC | do not crash on invalid -I parameter | 13 March 2015, 13:15:30 UTC |
db9cd46 | Christian Kaestner | 12 March 2015, 21:42:32 UTC | fix problem when a return expression is only expected conditionally | 12 March 2015, 21:42:32 UTC |
29e62c2 | Christian Kaestner | 12 March 2015, 20:09:42 UTC | fix parser to support `struct { ; ; }` | 12 March 2015, 20:09:42 UTC |
27da01e | Christian Kaestner | 10 March 2015, 20:47:38 UTC | include (ignored) test case that pinpoints the creation of dead AST nodes | 10 March 2015, 20:47:38 UTC |
c90ae62 | Christian Kaestner | 13 February 2015, 21:10:48 UTC | support cast of an expression to that expression's type i.e. nop, ggc doesn't complain | 13 February 2015, 21:10:48 UTC |
9cad597 | Christian Kaestner | 12 February 2015, 23:56:11 UTC | support attributes also before declarators in lists with corresponding test case. occurred in drivers/gpu/drm/nouveau/core/engine/disp/nvd0 | 12 February 2015, 23:56:11 UTC |
718c7e8 | Christian Kaestner | 12 February 2015, 23:49:00 UTC | support for "0x000" as CZero | 12 February 2015, 23:49:00 UTC |
7b16d3a | Christian Kaestner | 12 February 2015, 23:26:36 UTC | codify expectations toward redeclarations with tests confirmed with GCC that these are actually enforced (a function with an enum type is not compatible with a function with an int type) | 12 February 2015, 23:26:36 UTC |
aff7962 | Christian Kaestner | 12 February 2015, 23:25:44 UTC | support casts from ints to structs the GCC compiler doesn't seem to mind | 12 February 2015, 23:25:44 UTC |
705911d | Christian Kaestner | 12 February 2015, 17:53:51 UTC | fixed test case (not sure where this issue came from. not even sure the purpose of this test) | 12 February 2015, 17:53:51 UTC |
c2d1279 | Christian Kaestner | 12 February 2015, 17:47:41 UTC | fixing the handling of position information inside Frontend | 12 February 2015, 17:47:41 UTC |
b839b7c | Christian Kaestner | 12 February 2015, 14:29:25 UTC | enable warnings within sbt itself | 12 February 2015, 14:29:25 UTC |
7c4d796 | Christian Kaestner | 12 February 2015, 14:29:14 UTC | clarify expectations in old test case | 12 February 2015, 14:29:14 UTC |
77090e5 | Christian Kaestner | 12 February 2015, 14:28:55 UTC | preserve position information when typing a->b | 12 February 2015, 14:28:55 UTC |
34542ce | Christian Kaestner | 25 January 2015, 20:44:55 UTC | Merge branch 'master' of github.com:ckaestne/TypeChef | 25 January 2015, 20:44:55 UTC |
b05c723 | Christian Kaestner | 25 January 2015, 20:44:38 UTC | force java 1.7 for java compiler | 25 January 2015, 20:44:38 UTC |
feb0b55 | Christian Kaestner | 25 January 2015, 20:30:49 UTC | additional struct test case to check assumptions | 25 January 2015, 20:30:49 UTC |
a77e4dc | Christian Kaestner | 25 January 2015, 20:30:12 UTC | enforce java 7 compiler | 25 January 2015, 20:30:12 UTC |
2d276a3 | Christian Kaestner | 25 January 2015, 20:29:43 UTC | eliminate warnings when building the sbt project | 25 January 2015, 20:29:43 UTC |
d0982ed | Christian Kaestner | 25 January 2015, 20:29:17 UTC | avoid unnecessary computations in struct environment | 25 January 2015, 20:29:17 UTC |
8aa1b65 | Jörg Liebig | 24 January 2015, 16:51:18 UTC | code simplification | 24 January 2015, 16:51:18 UTC |
60abe9b | Jörg Liebig | 24 January 2015, 16:27:17 UTC | code simplification | 24 January 2015, 16:27:17 UTC |
fbf2de1 | Jörg Liebig | 24 January 2015, 16:18:04 UTC | fix typo | 24 January 2015, 16:18:04 UTC |
4c39a72 | Jörg Liebig | 24 January 2015, 16:12:21 UTC | clean up code after changing fixpoint computation in monotone remove the functiondef reference which was necessary in several df analyses to compute the fixpoint. the reference is not necessary in the new infrastructure. | 24 January 2015, 16:12:21 UTC |
2f3e5e3 | Christian Kaestner | 23 January 2015, 21:54:46 UTC | update sbt-coveralls version | 23 January 2015, 21:54:46 UTC |
6cbbe0a | Christian Kaestner | 23 January 2015, 21:50:03 UTC | avoid cluttering the output with text messages during testing | 23 January 2015, 21:50:03 UTC |
4e7704e | Christian Kaestner | 23 January 2015, 21:38:01 UTC | fight random failures on travis on travis-ci a few of the hundreds of external CPP calls typically fail for no apparent reason. it's unclear whether it's a problem on travis or with the scala process API or something else. it's now simply trying to preprocess a file up to three times if the output is empty to work around those problems | 23 January 2015, 21:38:01 UTC |
c62e735 | Jörg Liebig | 23 January 2015, 16:27:15 UTC | additional information for ignored test case | 23 January 2015, 16:27:15 UTC |
dd710ed | Jörg Liebig | 23 January 2015, 15:34:36 UTC | use kiama's infrastructure for fixpoint computation previously we implemented our own fixpoint computation because of performance issues in kiama. first performance tests show that the variant using kiama is faster than the old, self-written fixpoint implementation. | 23 January 2015, 16:13:57 UTC |
156640a | Jörg Liebig | 23 January 2015, 14:29:23 UTC | bugfix: fixpoint computation stops to early; feature expressions are not properly propagated using solely the size of the map to determine knowledge gain is not enough. we compare maps directly to track differences in feature expressions also. | 23 January 2015, 14:29:23 UTC |
dd7cd8e | Christian Kästner | 22 January 2015, 17:59:04 UTC | Merge pull request #33 from alexrhein/alexmaster optional simplification of presence condtions after parsing | 22 January 2015, 17:59:04 UTC |
6862568 | rhein | 22 January 2015, 09:09:54 UTC | fix for Choice case | 22 January 2015, 09:09:54 UTC |
03618b1 | rhein | 20 January 2015, 14:18:00 UTC | optimization | 20 January 2015, 14:18:00 UTC |
ea3170f | rhein | 20 January 2015, 13:35:12 UTC | Merge branch 'alexmaster' of https://github.com/alexrhein/TypeChef into alexmaster Conflicts: CParser/src/main/scala/de/fosd/typechef/parser/c/ParserMain.scala | 20 January 2015, 13:35:12 UTC |
18af921 | rhein | 20 January 2015, 13:32:09 UTC | changed presence condition simplification method using ASTEnv | 20 January 2015, 13:32:09 UTC |