Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
LearnLib
/
learnlib
Public
Notifications
You must be signed in to change notification settings
Fork
57
Star
234
Code
Issues
4
Pull requests
0
Discussions
Actions
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Wiki
Security and quality
Insights
Commits
Breadcrumbs
History for
learnlib
oracles
on
develop
User selector
All users
Datepicker
All time
Commit history
Commits on Aug 12, 2026
[maven-release-plugin] prepare for next development iteration
mtf90
committed
371eea3
View commit details
Copy full SHA for 371eea3
View code at this point
Browse repository at this point
[maven-release-plugin] prepare release learnlib-19.0.0
mtf90
committed
9ad8feb
View commit details
Copy full SHA for 9ad8feb
View code at this point
Browse repository at this point
use new version scheme
mtf90
committed
f1ee29d
View commit details
Copy full SHA for f1ee29d
View code at this point
Browse repository at this point
adjust some points adressed by IntelliJ's analysis
mtf90
committed
1768e27
View commit details
Copy full SHA for 1768e27
View code at this point
Browse repository at this point
Commits on Aug 11, 2026
LearnLib CLI (#166)
Show description for b76d423
mtf90
authored
b76d423
View commit details
Copy full SHA for b76d423
View code at this point
Browse repository at this point
Commits on Jul 30, 2026
bump dependencies
Show description for 6c9a24b
mtf90
committed
6c9a24b
View commit details
Copy full SHA for 6c9a24b
View code at this point
Browse repository at this point
Commits on Jul 22, 2026
adjust to AutomataLib refacotrings
mtf90
committed
413e0c8
View commit details
Copy full SHA for 413e0c8
View code at this point
Browse repository at this point
Commits on Jul 11, 2026
add support + examples of context-free BBC
Show description for 1cc3cbb
mtf90
committed
1cc3cbb
View commit details
Copy full SHA for 1cc3cbb
View code at this point
Browse repository at this point
Commits on Mar 20, 2026
bump analysis plugins + corresponding cleanups
mtf90
committed
a876054
View commit details
Copy full SHA for a876054
View code at this point
Browse repository at this point
Commits on Jan 6, 2026
bump license header
Show description for b4222fa
mtf90
committed
b4222fa
View commit details
Copy full SHA for b4222fa
View code at this point
Browse repository at this point
Commits on Dec 17, 2025
parallelism: add tests for adaptive SULs
mtf90
committed
c01b890
View commit details
Copy full SHA for c01b890
View code at this point
Browse repository at this point
Commits on Dec 15, 2025
Add equivalence oracles based on k-way state/transition coverage (#156)
Show description for 88d7cb1
mtf90
authored
88d7cb1
View commit details
Copy full SHA for 88d7cb1
View code at this point
Browse repository at this point
Commits on Dec 13, 2025
Implementation for learning MMLTs, new model for collecting statistics (#153)
Show description for f278465
3 people
authored
f278465
View commit details
Copy full SHA for f278465
View code at this point
Browse repository at this point
Commits on Dec 6, 2025
adjust to AutomataLib refactorings
mtf90
committed
8799589
View commit details
Copy full SHA for 8799589
View code at this point
Browse repository at this point
Commits on Nov 21, 2025
Bump Java Version to 17/25 (#155)
Show description for d43669b
mtf90
authored
d43669b
View commit details
Copy full SHA for d43669b
View code at this point
Browse repository at this point
Commits on Aug 2, 2025
add CLI membership oracles
Show description for 1cba8af
mtf90
committed
1cba8af
View commit details
Copy full SHA for 1cba8af
View code at this point
Browse repository at this point
Commits on Jul 31, 2025
equivalence-oracles: add EarlyExitEQOracle
mtf90
committed
e5e6d39
View commit details
Copy full SHA for e5e6d39
View code at this point
Browse repository at this point
Commits on Feb 6, 2025
[maven-release-plugin] prepare for next development iteration
mtf90
committed
442787f
View commit details
Copy full SHA for 442787f
View code at this point
Browse repository at this point
[maven-release-plugin] prepare release learnlib-0.18.0
mtf90
committed
ac1a3b2
View commit details
Copy full SHA for ac1a3b2
View code at this point
Browse repository at this point
Commits on Feb 3, 2025
improve error message
mtf90
committed
3cae11b
View commit details
Copy full SHA for 3cae11b
View code at this point
Browse repository at this point
Commits on Jan 29, 2025
add utility constructors
mtf90
committed
f446e09
View commit details
Copy full SHA for f446e09
View code at this point
Browse repository at this point
Commits on Jan 20, 2025
parallelism: streamline builder interfaces
mtf90
committed
bf66741
View commit details
Copy full SHA for bf66741
View code at this point
Browse repository at this point
Commits on Jan 7, 2025
bump license header
mtf90
committed
c458f1c
View commit details
Copy full SHA for c458f1c
View code at this point
Browse repository at this point
Update dependencies (#139)
Show description for b0fcccd
mtf90
authored
b0fcccd
View commit details
Copy full SHA for b0fcccd
View code at this point
Browse repository at this point
Commits on Dec 22, 2024
cleanups
Show description for 7c7aa9d
mtf90
committed
7c7aa9d
View commit details
Copy full SHA for 7c7aa9d
View code at this point
Browse repository at this point
cleanup/fix settings + AutomataLib adjustments
mtf90
committed
c46cefd
View commit details
Copy full SHA for c46cefd
View code at this point
Browse repository at this point
Commits on Sep 1, 2024
Parallelize ADT Learner (#132)
Show description for bd602cb
3 people
authored
bd602cb
View commit details
Copy full SHA for bd602cb
View code at this point
Browse repository at this point
Commits on Jul 5, 2024
remove mutability from PropertyOracles
mtf90
committed
fd769e5
View commit details
Copy full SHA for fd769e5
View code at this point
Browse repository at this point
Commits on Feb 25, 2024
Add jlink integration test (#122)
Show description for 7a40a75
mtf90
authored
7a40a75
View commit details
Copy full SHA for 7a40a75
View code at this point
Browse repository at this point
Commits on Feb 6, 2024
Cleanup javadoc warnings (#120)
mtf90
authored
b759e83
View commit details
Copy full SHA for b759e83
View code at this point
Browse repository at this point
Commits on Jan 24, 2024
update doc
mtf90
committed
338d0d7
View commit details
Copy full SHA for 338d0d7
View code at this point
Browse repository at this point
Commits on Jan 16, 2024
Drop guava (#119)
Show description for 90e8553
mtf90
authored
90e8553
View commit details
Copy full SHA for 90e8553
View code at this point
Browse repository at this point
Commits on Jan 8, 2024
fix rendering of javadoc
mtf90
committed
5a3303d
View commit details
Copy full SHA for 5a3303d
View code at this point
Browse repository at this point
Add support for JPMS modules (#118)
Show description for 448bbc7
mtf90
authored
448bbc7
View commit details
Copy full SHA for 448bbc7
View code at this point
Browse repository at this point
Commits on Jan 4, 2024
Switch to in-house annotation processing (#111)
Show description for aff229a
mtf90
authored
aff229a
View commit details
Copy full SHA for aff229a
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
