LearnLib / automatalib / 4919426710

Builds Branch Commit Type Ran Committer Via Coverage
4919426710 develop gracefully handle non-existent DOT installation in example push Markus Frohme github pending completion   set done
4872324042 develop bump license headers welcome to 2023, finally. push Markus Frohme github pending completion   set done
4871950181 develop bump dependency version for compatibility with current/future Java versions. Includes some necessary refactorings. push Markus Frohme github pending completion   set done
4796958272 develop m3c: add check whether PMPGs are terminating push Markus Frohme github pending completion   set done
4789655459 develop m3c: do not mask potential initialization errors push Markus Frohme github pending completion   set done
4786491273 develop m3c: ensure resources are freed even in case of exceptions push Markus Frohme github pending completion   set done
4187567908 develop feed an LTL formula to LTSMin via a file (#53) * feed an LTL formula to LTSMin via a file * Use try-with-resource block * add a test case of long LTL formula * cleanup code analysis errors * refactor testcase * move case in a separ... push GitHub github pending completion   set done
4187429373 develop m3c: use var name and var index in when deserializing transformers push AlnisM github pending completion   set done
3379392414 develop m3c: replace Set<Integer>s with BitSets push Markus Frohme github pending completion   set done
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