LearnLib / automatalib / 2948080094

Builds Branch Commit Type Ran Committer Via Coverage
2948080094 develop cleanup doc push Markus Frohme github pending completion   set done
2948017674 develop Merge 79b8b583f into 43e8b4593 Pull #54 GitHub github pending completion   set done
2778620411 develop DefaultNSEVPA: simplify method push Markus Frohme github pending completion   set done
2595185222 develop Create states from AUT header (#52) * Parse states from AUT Header * Use numStates for initial automaton size * Throw exception for invalid number of states and invalid state numbers * Add assertions for testing incorrect state numbers ... push GitHub github pending completion   set done
2594009617 develop Merge cb3a2800f into aea107eab Pull #52 GitHub github pending completion   set done
2528691873 develop clean up copy-constructor push Markus Frohme github pending completion   set done
2528678566 develop check whether alphabet contains the initial procedure of SPAs in ATR computation push Markus Frohme github pending completion   set done
2512217142 develop add more copy constructors for compact automata push Markus Frohme github pending completion   set done
2321629951 develop fix bug in IncrementalWMethodTestsIterator single-state automata have no distinguishing suffixes. The iterator wrongfully tried to access an empty suffix list which caused an IndexOutOfBoundsException. push Markus Frohme github pending completion   set done
2055394340 develop fixes, cleanups, convenience push Markus Frohme github pending completion   set done
2031323365 develop (temporary) workaround for bug in SPA equivalence push Markus Frohme github pending completion   set done
1963027634 develop dot: more robust HTML syntax + tests push Markus Frohme github pending completion   set done
1873121529 develop fix another bug in IncrementalPCDFADAGBuilder push Markus Frohme github pending completion   set done
1872642414 develop incremental: more test coverage push Markus Frohme github pending completion   set done
1838346068 develop improve performance of SingletonAlphabet push Markus Frohme github pending completion   set done