LearnLib / automatalib / 29770120138

Builds Branch Commit Type Ran Committer Via Coverage
29770120138 develop serialization: refactor some unneeded generics push mtf90 github
93.04
29622048893 semantics Merge 8e66953a6 into edbbaaaa4 Pull #103 web-flow github
92.9
29620562348 develop remove DFAs#minimize push mtf90 github
93.04
29578746597 develop commons/util: add documentation push mtf90 github
93.03
29423381876 semantics Merge 4f79219ab into b68d5cf70 Pull #103 web-flow github
92.9
29355161923 develop javadoc: disable metainf-services link push mtf90 github
93.03
29161451305 develop generify some nomenclature push mtf90 github
93.03
28579382029 develop improve integration of GrowingAlphabet into collection semantics push mtf90 github
93.01
28022375589 develop ci: bump actions versions push mtf90 github
93.01
28013097648 semantics Merge 1553bac46 into 87b9d660b Pull #103 web-flow github
92.88
27292641968 develop SPMMs: fix in equivalence testing push mtf90 github
93.01
24129838356 develop bump analysis plugins + corresponding cleanups push mtf90 github
92.97
22064887880 develop add supported formalisms to serializers' documentation push mtf90 github
92.94
21822444536 develop Add DOT parser for CFMPSs (#102) * initial work on CFMPS parser * some more work * add more tests and documentation * improve documentation push web-flow github
92.94
21821568820 cfmps-parser Merge 404be977f into 429f928ee Pull #102 web-flow github
92.94