LearnLib / automatalib / 12562237475

Builds Branch Commit Type Ran Committer Via Coverage
12562237475 develop widen type-constraint on AbstractBasicLinkedListEntry push mtf90 github
91.54
12474765892 develop github: restrict CI permissions push mtf90 github
91.53
12459498118 develop Create CODE_OF_CONDUCT.md push web-flow github
91.53
12459117572 develop cleanups as reported by IntelliJ's analysis push mtf90 github
91.53
12323302934 develop cleanups push mtf90 github
91.18
12304577693 develop Overhaul minimization code (#83) * add valmaris algorithm * initial PT refactoring * implement bisimulation via valmari * add documentation * cleanups * add invasive hopcroft methods * some more universal tests * performance ... push web-flow github
91.18
12304247582 min-overhaul Merge f25050d4a into f4b6a5be9 Pull #83 web-flow github
91.18
12300740443 min-overhaul Merge 2ca0ddb15 into f4b6a5be9 Pull #83 web-flow github
91.18
12242735401 develop Add serialization-ba module. (#82) * Add serialization-ba module. This allows serialization/deserialization of the BA format. This format is used in several automata tools, including RABIT, SPOT, and soon Walnut and OTF. * Fix Spotbugs, PMD. ... push web-flow github
90.8
12241028391 develop Merge 27ec3654e into 28bde82b1 Pull #82 web-flow github
90.8
12190464019 develop Merge 22b351e8a into 28bde82b1 Pull #82 web-flow github
90.79
12019076191 develop add KTS abstraction push mtf90 github
90.74
10248696670 develop Serialization Overhaul (#81) * overhaul serizalition code * unify access to Input(De)Serializers behind facades to leverage the default methods for various input/output channels * drop implicit buffering/decompressing as this should be decide... push web-flow github
90.74
10248190347 serialization-overhaul taf cleanups push mtf90 github
90.74
10220057657 serialization-overhaul overhaul serizalition code * unify access to Input(De)Serializers behind facades to leverage the default methods for various input/output channels * drop implicit buffering/decompressing as this should be decided where the stream are constructed ... push mtf90 github
90.37