LearnLib / automatalib / 6385059758

Builds Branch Commit Type Ran Committer Via Coverage
6385059758 develop cleanups * remove redundant files/classes * add some nullability annotations * fix docs according to grammar checks by IntelliJ push mtf90 github
88.02
6383758444 develop cleanup modal transition system code remove/migrate code revolving around modal contracts and membership modal contracts since this code has only been used by the (private) generator of the RERS challenge. push mtf90 github
88.01
6311320183 develop refactor 'vpda' acronym to 'vpa' acronym Throughout literature, 'VPA' is the more commonly used abbreviation for visibly push-down automata. push mtf90 github
87.92
6310178238 develop Re-integrate the work on procedural systems (#58) * initial import of SBAs and SPMMs * refactorings / cleanups * small cleanups and test cases * add SPA-to-SEVPA converters * initial W-method implementations for SBAs & SPMMs * shar... push web-flow github
87.92
6304970812 diss Merge 84ac84450 into d7d81b0c5 Pull #58 web-flow github
87.92
6303493314 diss Merge 42e7a171a into d7d81b0c5 Pull #58 web-flow github
87.88
5743668167 develop cleanup push mtf90 github pending completion   set done
5732724029 develop fix build on graphviz-less setups Workaround the setUp method of AssertJSwingTestngTestCase that is always run. push mtf90 github pending completion   set done
5685672415 develop fix error in JavaDoc push mtf90 github pending completion   set done
5667837835 develop do not include undefined transitions in transitionCoverIterator push mtf90 github pending completion   set done
5580157727 develop fix a bug in the W-method implementation The original paper includes epsilon in the transition cover set. The code did not reflect that, potentially not detecting non-conformance of two automaton models. push mtf90 github pending completion   set done
5120307827 develop m3c: fix bug in ADDTransformer Since BooleanVector stores arrays via reference, we need to create a new array for each modalNode to prevent overriding previous data. push mtf90 github pending completion   set done
4958588368 develop bump dependency versions to address CVEs. This also includes refactorings to address newly introduced warnings. push Markus Frohme github pending completion   set done
4937801137 develop fix a bug in CFMPSView which previously accessed undefined input symbols of partial SPAs. push Markus Frohme github pending completion   set done
4929136199 develop dot-visualizer: make image draggable including some cleanups/refactorings push Markus Frohme github pending completion   set done