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
algorithms
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 17, 2026
aaar: make learner wrapper publicly available
mtf90
committed
5784df9
View commit details
Copy full SHA for 5784df9
View code at this point
Browse repository at this point
Commits on Jul 8, 2026
Enforce `LearningAlgorithm` contracts more rigorously (#163)
Show description for f020ddd
mtf90
authored
f020ddd
View commit details
Copy full SHA for f020ddd
View code at this point
Browse repository at this point
Commits on Jul 7, 2026
aaar: also test DHC in integration tests
mtf90
committed
44070fc
View commit details
Copy full SHA for 44070fc
View code at this point
Browse repository at this point
Commits on Jul 2, 2026
Make L^s support growing alphabets (#160)
Show description for cd19f69
mtf90
and
stateMachinist
authored
cd19f69
View commit details
Copy full SHA for cd19f69
View code at this point
Browse repository at this point
Commits on Apr 12, 2026
make most regular learners implement AccessSequenceTransformer
mtf90
committed
692cf7b
View commit details
Copy full SHA for 692cf7b
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 Feb 16, 2026
Llambda: implement the OTLearner interface
mtf90
committed
5192e3c
View commit details
Copy full SHA for 5192e3c
View code at this point
Browse repository at this point
Commits on Feb 13, 2026
Add `Resumable` support for remaining Lambda learners (#159)
Show description for 110ed62
mtf90
authored
110ed62
View commit details
Copy full SHA for 110ed62
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 16, 2025
Add checks for stable hypothesis constructions (#157)
Show description for 8976da1
mtf90
authored
8976da1
View commit details
Copy full SHA for 8976da1
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 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 Nov 6, 2025
vpa: widen required types of oracles
mtf90
committed
0bd42df
View commit details
Copy full SHA for 0bd42df
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
partially revert e368a91
Show description for 555b0e4
mtf90
committed
555b0e4
View commit details
Copy full SHA for 555b0e4
View code at this point
Browse repository at this point
Commits on Feb 5, 2025
test api conformance
Show description for d3a192d
mtf90
committed
d3a192d
View commit details
Copy full SHA for d3a192d
View code at this point
Browse repository at this point
make ADT configurable in its suffix finder
mtf90
committed
9909fdd
View commit details
Copy full SHA for 9909fdd
View code at this point
Browse repository at this point
cleanup ADT documentation
mtf90
committed
9afd161
View commit details
Copy full SHA for 9afd161
View code at this point
Browse repository at this point
lambda: analyze counterexamples exhaustively
Show description for e368a91
mtf90
committed
e368a91
View commit details
Copy full SHA for e368a91
View code at this point
Browse repository at this point
lsharp: remove side-effects of getHypothesisModel()
Show description for 527f580
mtf90
committed
527f580
View commit details
Copy full SHA for 527f580
View code at this point
Browse repository at this point
clarify documentation
mtf90
committed
68eabd4
View commit details
Copy full SHA for 68eabd4
View code at this point
Browse repository at this point
Commits on Feb 3, 2025
improve parallelizability of TTT
Show description for 1849dcd
mtf90
committed
1849dcd
View commit details
Copy full SHA for 1849dcd
View code at this point
Browse repository at this point
Commits on Jan 29, 2025
spmm: improve assertions
mtf90
committed
5c3820f
View commit details
Copy full SHA for 5c3820f
View code at this point
Browse repository at this point
relax type-constraint on LearnerConstructor
Show description for 4ce7d94
mtf90
committed
4ce7d94
View commit details
Copy full SHA for 4ce7d94
View code at this point
Browse repository at this point
add utility constructors
mtf90
committed
f446e09
View commit details
Copy full SHA for f446e09
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
