LearnLib / automatalib / 83

Builds Branch Commit Type Ran Committer Via Coverage
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
75 develop setup tidy-pom plugin push mtf90 travis-ci pending completion   set done
74 develop Add import and export formats for LTSmin. (#20) * Add serialization for ETF, and FSM formats. * Fix copyright date * Add option to mvn command so that all errors are collected. * Fix unchecked call. * Add author to pom.xml. * Add m... push mtf90 travis-ci pending completion   set done
73 develop Add sources to distribution too. Pull #20 web-flow travis-ci pending completion   set done
72 develop util: add option to ignore undefined transitions for equivalence checks push mtf90 travis-ci pending completion   set done
71 develop replace some more custom hashcode/equals methods with lombok EqualsAndHashCode push mtf90 travis-ci pending completion   set done
70 develop add unit test for PaigeTarjan for partial automata push mtf90 travis-ci pending completion   set done
69 develop replace some hashcode/equals implementations with @EqualsAndHashCode of Lombok push mtf90 travis-ci pending completion   set done