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
distribution
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
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 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 24, 2025
Sparse Learner (#152)
Show description for 868d975
stateMachinist
and
mtf90
authored
868d975
View commit details
Copy full SHA for 868d975
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 May 22, 2025
Bump minimal Java version to 11 (#150)
Show description for a449450
mtf90
authored
a449450
View commit details
Copy full SHA for a449450
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 Jan 27, 2025
L# Algorithm (#141)
Show description for 83bdeba
tiferrei
and
mtf90
authored
83bdeba
View commit details
Copy full SHA for 83bdeba
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
Commits on Dec 31, 2024
merge datastructure modules
mtf90
committed
9e456ff
View commit details
Copy full SHA for 9e456ff
View code at this point
Browse repository at this point
Commits on Dec 16, 2024
oml: rename to 'lambda'
mtf90
committed
0bb43e8
View commit details
Copy full SHA for 0bb43e8
View code at this point
Browse repository at this point
Commits on Feb 25, 2024
cleanup optional dependency definitions
mtf90
committed
db1406a
View commit details
Copy full SHA for db1406a
View code at this point
Browse repository at this point
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 Jan 8, 2024
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
Merge RPNI implementations (#114)
mtf90
authored
c11d5de
View commit details
Copy full SHA for c11d5de
View code at this point
Browse repository at this point
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
bump license header
mtf90
committed
0ed1dd9
View commit details
Copy full SHA for 0ed1dd9
View code at this point
Browse repository at this point
Commits on Nov 15, 2023
[maven-release-plugin] prepare for next development iteration
mtf90
committed
9bfb824
View commit details
Copy full SHA for 9bfb824
View code at this point
Browse repository at this point
[maven-release-plugin] prepare release learnlib-0.17.0
mtf90
committed
228cec8
View commit details
Copy full SHA for 228cec8
View code at this point
Browse repository at this point
Commits on Nov 8, 2023
cleanup/simplify project structure
mtf90
committed
de402b1
View commit details
Copy full SHA for de402b1
View code at this point
Browse repository at this point
Commits on Nov 1, 2023
fix assemblies after update
Show description for 73bbe95
mtf90
committed
73bbe95
View commit details
Copy full SHA for 73bbe95
View code at this point
Browse repository at this point
Commits on Oct 27, 2023
cleanup release configuration
mtf90
committed
51dfac6
View commit details
Copy full SHA for 51dfac6
View code at this point
Browse repository at this point
Commits on Oct 9, 2023
move 'filters' from 'oracles/' to '/'
mtf90
committed
34865e4
View commit details
Copy full SHA for 34865e4
View code at this point
Browse repository at this point
rename discrimination-tree learner to observation-pack
mtf90
committed
e759a11
View commit details
Copy full SHA for e759a11
View code at this point
Browse repository at this point
Commits on Oct 4, 2023
refactor groupId of build-tools
Show description for 4c4dc9b
mtf90
committed
4c4dc9b
View commit details
Copy full SHA for 4c4dc9b
View code at this point
Browse repository at this point
bump dependency versions
Show description for 01d58ba
mtf90
committed
01d58ba
View commit details
Copy full SHA for 01d58ba
View code at this point
Browse repository at this point
Commits on Sep 26, 2023
Refactor 'vpda' acronym to 'vpa' acronym
Show description for e9ceef7
mtf90
committed
e9ceef7
View commit details
Copy full SHA for e9ceef7
View code at this point
Browse repository at this point
Re-integrate the work on procedural systems (#93)
Show description for d077145
mtf90
authored
d077145
View commit details
Copy full SHA for d077145
View code at this point
Browse repository at this point
Commits on May 12, 2023
Re-integrate AAAR (#91)
Show description for 2e650d9
mtf90
authored
2e650d9
View commit details
Copy full SHA for 2e650d9
View code at this point
Browse repository at this point
Commits on May 3, 2023
bump license headers
Show description for a3e0673
mtf90
committed
a3e0673
View commit details
Copy full SHA for a3e0673
View code at this point
Browse repository at this point
Commits on Apr 23, 2022
Add OML (#81)
Show description for e26605c
mtf90
and
fhowar
authored
e26605c
View commit details
Copy full SHA for e26605c
View code at this point
Browse repository at this point
Commits on Jan 3, 2022
bump license header
mtf90
committed
969a4ee
View commit details
Copy full SHA for 969a4ee
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.