LearnLib / automatalib / 12304247582

Builds Branch Commit Type Ran Committer Via Coverage
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
10167589650 develop serialization/aut: use semantically correct assertEquals order push mtf90 github
90.07
9246133918 trim_automata Merge 14a1685c3 into 36d79ea70 Pull #73 web-flow github
90.07
9120194806 develop incremental: improve handling of confluent states in DAG builders (#80) push web-flow github
90.01
9119927884 issue79 Merge 06831b7ec into af4a3af1d Pull #80 web-flow github
90.01
8902745600 develop fix bug in AllCombinationsIterator push mtf90 github
90.01
8878658367 develop ci: bump versions and OSes * do not use M1 macOS since M3C does not support it push mtf90 github
90.01