LearnLib / automatalib / 92

Builds Branch Commit Type Ran Committer Via Coverage
92 develop core: add SymbolHidingAlphabet Adds a wrapper class for GrowingAlphabets that allows to temporarily circumvent the caching logic of certain components (automata, learning alogirithms) by hiding a specific alphabet symbol. push mtf90 travis-ci pending completion   set done
91 develop <a href="https://github.com/LearnLib/automatalib/commit/ceb9f9633">Fixing issue #21 (#22) * Fixing an error in the Tarjan&#39;s strong connected component algorithm and extended the test case set for this algorithm.... push mtf90 travis-ci pending completion   set done
90 develop Rework fix for SCC algorithm - revert most of the changes of 8231a671 because they introduced a change in the API and unnecessarily traversed nodes multiple times. However the commit discovered one core issue, which was during cycle detection... Pull #22 web-flow travis-ci pending completion   set done
88 develop travis: config updates Another try at achieving wanted behavior push mtf90 travis-ci pending completion   set done
87 develop travis: config updates - handle oraclejdk9 build as regular build to test whether the Java8 version compiles on JDK9 - add an additional matrix entry (which is allowed to fail) to test Java 9 independently push mtf90 travis-ci pending completion   set done
86 develop travis: config updates - yet another try at setting JDK spefic environment variables - removed --fail-at-end flag, because it makes it hard to see where the actual error happened in the logs push mtf90 travis-ci pending completion   set done
85 develop add lombok as additional javadoc dependency required to successfully build on Java 9 push mtf90 travis-ci pending completion   set done
83 develop Update travis config - Added 'oraclejdk9' environment (although we cannot target Java9 yet, due to dependencies) - Moved the code-coverage to a separate build stage, so that breaking builds do not pollute the coverage history. push mtf90 travis-ci pending completion   set done
82 develop Making pmd pass in the util subproject Pull #22 web-flow travis-ci pending completion   set done
81 develop Fixing an error in the Tarjan's strong connected component algorithm and extended the test case set for this algorithm. Pull #22 web-flow travis-ci pending completion   set done
80 develop Rework settings implementation - Aggregate currently used system properties in an enum, which allows to have a central place for managing supported properties (also as a reference for end-users) and to prevent typos in future code. The getPro... push mtf90 travis-ci pending completion   set done
79 develop incremental: fix another off-by-one error see df2e6313. Now for the PCDFA tree builder. Includes tests for this and previous bug. push mtf90 travis-ci pending completion   set done
78 develop dot: skip rather than wrongfully pass tests, if DOT is not installed push mtf90 travis-ci pending completion   set done
77 develop util: add some more tests push mtf90 travis-ci pending completion   set done
76 develop remove javadoc references to methods generated by lombok push mtf90 travis-ci pending completion   set done