LearnLib / automatalib / 3377752464

Builds Branch Commit Type Ran Committer Via Coverage
3377752464 develop Merge CounterExample (#54) * initial commit to include solver * renaming and cleanup (I) * cleanup (II) * cleanup(III) * deleted graphgeneratortest * initial refactoring * cleanup and doc * cleanup * add test case for loo... push GitHub github pending completion   set done
3377484242 develop Merge 70695aea7 into e1e198b4d Pull #54 GitHub github pending completion   set done
3248884239 develop <a href="https://github.com/LearnLib/automatalib/commit/e1e198b4d">&lt;a href=&quot;https://github.com/LearnLib/automatalib/commit/</a><a class="double-link" href="https://github.com/LearnLib/automatalib/commit/&lt;a... push GitHub github pending completion   set done
3246097281 develop Merge 4a718a132 into 8f93c89f8 Pull #56 GitHub github pending completion   set done
3245993452 develop Merge a6d4f761d into 8f93c89f8 Pull #56 GitHub github pending completion   set done
2978197425 develop random 1SEVPA: correct probability for initial location (#55) Good catch! push GitHub github pending completion   set done
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