LearnLib / learnlib / 987811676

Builds Branch Commit Type Ran Committer Via Coverage
987811676 develop ci: execute integration tests during coverage push Markus Frohme github pending completion   set done
987616924 develop Switch CI to GitHub Actions (#79) * test initial GitHub Actions config * ci: explicitly use 'develop' branch * ci: build AutomataLib in batch-mode * ci: remove explicit branch * ci: remove old travis configs * ci: skip tests on deploy push GitHub github pending completion   set done
250 develop fix typo push mtf90 travis-ci pending completion   set done
249 develop simplify private constructors Throwing any kind of error is unreachable and unnecessary code. Private constructors are a guidance for library users and not a security relevant concept (where we should prevent reflective instantiation of classes). push mtf90 travis-ci pending completion   set done
248 develop cleanup VPDA/SPA EQ oracles use alphabet from findCounterexample method rather than pre-setting it in the constructor push mtf90 travis-ci pending completion   set done
247 develop bump analysis tools versions Apparently, we run into a false positive with the previous version of PMD. push mtf90 travis-ci pending completion   set done
245 develop cleanup various AccessSequenceTransfomers push mtf90 travis-ci pending completion   set done
244 develop AutomataLib refactorings push mtf90 travis-ci pending completion   set done
243 develop fix typo in PassiveLearnerVariantITCase push mtf90 travis-ci pending completion   set done
242 develop cleanup JavaDoc reference to removed class push mtf90 travis-ci pending completion   set done
240 develop bump license header push mtf90 travis-ci pending completion   set done
239 develop Add OSTIA algorithm (#74) * OSTIA sketch * initial refactoring into separate module * initial integration of LearnLib/AutomataLib interfaces * small adjustment in tests * renaming (Sub)SequentialTransducer * fixed IllegalArgumentEx... push web-flow travis-ci pending completion   set done
238 develop Merge 5b4f29b27 into 9f78eb34b Pull #74 web-flow travis-ci pending completion   set done
237 develop make EDSM tests reproducible push mtf90 travis-ci pending completion   set done
222 develop update changelog push mtf90 travis-ci pending completion   set done