LearnLib / learnlib / 9598322670

Builds Branch Commit Type Ran Committer Via Coverage
9598322670 develop examples: remove (breaking) dependency on test-support module Includes fixes for the (also broken) ResumableExample See the discussion of #128 push mtf90 github
93.44
9503861929 develop Replace xstream with fury (#127) * initial fury transition * switch to fury nightly * use new module names * switch to stable release * remove rebase artifact * bump version push web-flow github
93.44
9503531525 fury Merge 2f53df567 into 5f811f00b Pull #127 web-flow github
93.44
8341348989 develop ttt: faster stateIDs push mtf90 github
93.44
8039961950 develop cleanup optional dependency definitions push mtf90 github
93.44
8039587778 jlink-it Merge 91109957b into 0e22986eb Pull #122 web-flow github
93.44
7879020766 develop cleanup dependency declarations push mtf90 github
93.44
7804926433 develop Cleanup javadoc warnings (#120) push web-flow github
93.44
7804572902 javadoc Merge f4a8837ab into 59d0f87f5 Pull #120 web-flow github
93.44
7802804362 javadoc Merge 66b6cf194 into 59d0f87f5 Pull #120 web-flow github
93.44
7647291847 develop add InterningMembershipOracle push mtf90 github
93.44
7587238472 develop bump built-tools push mtf90 github
93.4
7548924085 develop Drop guava (#119) * initial removal * cleanups push web-flow github
93.4
7548700881 drop-guava Merge 72218c812 into 41f75553d Pull #119 web-flow github
93.4
7461333242 develop adjust to AutomataLib refactorings push mtf90 github
93.45