LearnLib / learnlib / 33
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 33 | develop | SymbolQueryOracle: reuse WordBuilder instance | push |  mtf90 |
travis-ci | pending completion set done | |
| 32 | develop | refactor according to AutomataLib changes - Covers class has moved - Use the existing W(p)Method iterators for the lazy EQ oracles | push | mtf90 |
travis-ci | pending completion set done | |
| 31 | develop | alg/ttt: do not set cyclic references in BlockList | push | mtf90 |
travis-ci | pending completion set done | |
| 30 | develop | travis: simplify building of automatalib | push | mtf90 |
travis-ci | pending completion set done | |
| 29 | develop | enable findBugs plugin for integration-tests profile | push | mtf90 |
travis-ci | pending completion set done | |
| 28 | develop | alg: add @GeneratorBuilder to NLStar algorithm | push | mtf90 |
travis-ci | pending completion set done | |
| 27 | develop | remove redundant plugin version specifications | push | mtf90 |
travis-ci | pending completion set done | |
| 26 | develop | add coveralls.io integration | push | mtf90 |
travis-ci | pending completion set done |