LearnLib / automatalib / 7919910371

Builds Branch Commit Type Ran Committer Via Coverage
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
7832201043 develop m3c: allow tokens as action labels Closes #70. push mtf90 github
89.84
7830704648 develop Add NFAs, DFAs, and Automata documentation and coverage (#71) * Add documentation for determinize methods. Add more test coverage. * Add more DFA coverage. * Add invasiveMinimize comments. * Don't change code here unless necessary. *... push web-flow github
89.84
7830539569 add_fsa_docs Merge 793a01730 into 2765fd517 Pull #71 web-flow github
89.84
7817436944 add_fsa_docs Merge 3181be711 into 2765fd517 Pull #71 web-flow github
89.84
7662312583 develop remove obsolete dependency push mtf90 github
89.83
7633620592 develop Add Tabakov-Vardi random automata generator (#69) * Add Tabakov-Vardi random automata generator. * Switch assert order to match proper (actual, expected). Use set equality rather than String equality. * Switch from Integer to generic type.... push web-flow github
89.83
7633479176 add_tv_automata Merge f66bf06c3 into 0fbf0c51a Pull #69 web-flow github
89.83
7628511328 add_tv_automata Merge fa30da86a into 0fbf0c51a Pull #69 web-flow github
89.83