LearnLib / automatalib / 8485857219

Builds Branch Commit Type Ran Committer Via Coverage
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
7848521914 develop Cleanup reported javadoc warnings (#72) * initial fixes of non-generated javadoc * exclude ParseExceptions from javadocs * add missing throws doc push web-flow github
89.92
7848117963 javadoc Merge ba5098141 into df9be8cb4 Pull #72 web-flow github
89.92
7848080436 develop Unify parsing exceptions and hide implementation details (#74) * unify parsing exceptions and hide implementation details * add changelog entry * add missing throws statements push web-flow github
89.89
7847919160 formatException Merge c52e3f438 into e96f7ec5a Pull #74 web-flow github
89.89
7845975205 javadoc Merge 4ed864454 into e96f7ec5a Pull #72 web-flow github
89.86
7838221011 trim_automata Merge 46a937454 into e96f7ec5a Pull #73 web-flow github
89.88