LearnLib / learnlib / 6311332745

Builds Branch Commit Type Ran Committer Via Coverage
6311332745 develop Refactor 'vpda' acronym to 'vpa' acronym Throughout literature, 'VPA' is the more commonly used abbreviation for visibly push-down automata. push mtf90 github
92.28
6310585053 develop Re-integrate the work on procedural systems (#93) * initial import of SBAs and SPMMs * cleanups / refactorings * refactorings * adjust to Automatalib refactorings * add procedural W-method oracles * make SBA/SPMM learner add non-co... push web-flow github
92.28
6310188124 diss Merge 0a4214684 into 9ea440ed7 Pull #93 web-flow github
92.28
5733166356 develop fix some nullability related issues push mtf90 github pending completion   set done
5685723463 develop adjust to AutomataLib changes The partial W-method implementation has changed (the order of test sequences) which results in different discriminators being extracted by the abstraction tree. push mtf90 github pending completion   set done
4961617758 develop simplify integration tests of AAAR inner wrapper classes are no longer needed for implementing the automaton-specific interfaces push Markus Frohme github pending completion   set done
4958470422 develop bump xstream version to address CVE push Markus Frohme github pending completion   set done
4958271589 develop Re-integrate AAAR (#91) * initial aaar commit not everything is working yet * switch to a single AbstractionTree * aaar: enable integration tests again * cleanup AAAR code in preparation for re-integration. * some more cleanups/... push GitHub github pending completion   set done
4958275841 develop Bump testng from 7.1.0 to 7.5.1 (#90) Bumps [testng](https://github.com/cbeust/testng) from 7.1.0 to 7.5.1. - [Release notes](https://github.com/cbeust/testng/releases) - [Changelog](https://github.com/testng-team/testng/blob/master/CHANGES.txt... push GitHub github pending completion   set done
4958015052 aaar Merge 0275a46f7 into c88a065c3 Pull #91 GitHub github pending completion   set done
4952951537 develop fix bug in counterexample analysis of TTTLearnerMoore push Markus Frohme github pending completion   set done
4929353784 dependabot/maven/org.testng-testng-7.5.1 Bump testng from 7.1.0 to 7.5.1 Bumps [testng](https://github.com/cbeust/testng) from 7.1.0 to 7.5.1. - [Release notes](https://github.com/cbeust/testng/releases) - [Changelog](https://github.com/testng-team/testng/blob/master/CHANGES.txt) - [Com... push GitHub github pending completion   set done
4929353781 dependabot/maven/org.testng-testng-7.5.1 Merge 62c331233 into e5243edf0 Pull #90 GitHub github pending completion   set done
4884442785 develop fix typo push Markus Frohme github pending completion   set done
4872327036 develop bump license headers welcome to 2023, finally. push Markus Frohme github pending completion   set done