LearnLib / automatalib / 7832201043

Builds Branch Commit Type Ran Committer Via Coverage
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
7627151419 develop Add more comments and make some small refactors and changes to PaigeTarjan folder (#68) * Extract method to update Paige-Tarjan fields. * Extract updateBlockAndPosData. * Add more comments about behavior. * Use getOrCreateBlock for init ... push web-flow github
89.82
7626935849 paige_tarjan Merge 0d3e1eb96 into 2eaa2c45a Pull #68 web-flow github
89.82
7615002930 add_tv_automata Merge fa2cfce31 into 2eaa2c45a Pull #69 web-flow github
89.84
7613382172 paige_tarjan Merge e2c77113d into 2eaa2c45a Pull #68 web-flow github
89.82
7587070738 develop bump build-tools push mtf90 github
89.83
7548682479 develop Drop guava (#67) * initial removal * refactorings, documentation, tests * cleanups * refactorings * add additional utility method * bump guava version * formatting * cleanups * formatting * extract functionality * Re... push web-flow github
89.83
7547441357 drop-guava Merge 8b7b905dc into 79650c5c7 Pull #67 web-flow github
89.83