LearnLib / automatalib / 10167589650

Builds Branch Commit Type Ran Committer Via Coverage
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
8485857219 develop Overhaul powersetViews (#78) * initial overhaul * some more refactorings * cleanups and speedups * switch to powerset based determinization * improve test cases * update docs * update changelog * renaming push web-flow github
90.01
8485655915 powerset-overhaul Merge 2fe76a358 into c92bc1a5c Pull #78 web-flow github
90.01
8485429552 powerset-overhaul Merge 52d126103 into c92bc1a5c Pull #78 web-flow github
90.01
8208485978 develop allow non-deterministic targets in FSABuilder push mtf90 github
89.88
8039888651 develop cleanup optional dependency definitions push mtf90 github
89.92
8039143587 develop Add jlink integration test (#75) * add jlink integration test * end file with newline * end file with proper newline push web-flow github
89.92
8039061890 jlink-it Merge 5e218951c into 484d3bfb3 Pull #75 web-flow github
89.92
7965237106 develop cleanups push mtf90 github
89.92
7919910371 develop bump ADDlib version push mtf90 github
89.92