Commits

Branch selector

 develop

User selector

All users

All time

Commit History

Commits on Feb 16, 2026

• Llambda: implement the OTLearner interface

  mtf90

  committed
  5192e3c

  Copy full SHA for 5192e3c

Commits on Feb 13, 2026

• Add `Resumable` support for remaining Lambda learners (#159)

  Show description for 110ed62
  mtf90

  authored
  110ed62

  Copy full SHA for 110ed62

Commits on Jan 23, 2026

• Bump ch.qos.logback:logback-core from 1.5.19 to 1.5.25 (#158)

  Show description for 8bc2787
  dependabot[bot]

  authored
  8bc2787

  Copy full SHA for 8bc2787

Commits on Jan 6, 2026

• bump license header

  Show description for b4222fa
  mtf90

  committed
  b4222fa

  Copy full SHA for b4222fa

Commits on Dec 24, 2025

• Sparse Learner (#152)

  Show description for 868d975
  

  stateMachinist

  and

  mtf90

  authored
  868d975

  Copy full SHA for 868d975

Commits on Dec 17, 2025

• parallelism: add tests for adaptive SULs

  mtf90

  committed
  c01b890

  Copy full SHA for c01b890

Commits on Dec 16, 2025

• Add checks for stable hypothesis constructions (#157)

  Show description for 8976da1
  mtf90

  authored
  8976da1

  Copy full SHA for 8976da1

Commits on Dec 15, 2025

• Add equivalence oracles based on k-way state/transition coverage (#156)

  Show description for 88d7cb1
  mtf90

  authored
  88d7cb1

  Copy full SHA for 88d7cb1

Commits on Dec 13, 2025

• Implementation for learning MMLTs, new model for collecting statistics (#153)

  Show description for f278465
  

  3 peopleauthored
  f278465

  Copy full SHA for f278465

Commits on Dec 6, 2025

• adjust to AutomataLib refactorings

  mtf90

  committed
  8799589

  Copy full SHA for 8799589

Commits on Nov 21, 2025

• Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 (#154)

  Show description for 6f85301
  dependabot[bot]

  authored
  6f85301

  Copy full SHA for 6f85301

• Bump Java Version to 17/25 (#155)

  Show description for d43669b
  mtf90

  authored
  d43669b

  Copy full SHA for d43669b

Commits on Nov 20, 2025

• reuse-tree: extend documentation

  Show description for 7c236fe
  mtf90

  committed
  7c236fe

  Copy full SHA for 7c236fe

Commits on Nov 6, 2025

• vpa: widen required types of oracles

  mtf90

  committed
  0bd42df

  Copy full SHA for 0bd42df

Commits on Aug 2, 2025

• add CLI membership oracles

  Show description for 1cba8af
  mtf90

  committed
  1cba8af

  Copy full SHA for 1cba8af

• bump AutomataLib version

  mtf90

  committed
  2345eea

  Copy full SHA for 2345eea

Commits on Jul 31, 2025

• equivalence-oracles: add EarlyExitEQOracle

  mtf90

  committed
  e5e6d39

  Copy full SHA for e5e6d39

• add CITATION file

  Show description for ee368bf
  mtf90

  committed
  ee368bf

  Copy full SHA for ee368bf

Commits on Jun 10, 2025

• migrate to Sonatype Central Portal

  mtf90

  committed
  a021f31

  Copy full SHA for a021f31

Commits on May 22, 2025

• update changelog

  Show description for 5599f0c
  mtf90

  committed
  5599f0c

  Copy full SHA for 5599f0c

• Bump minimal Java version to 11 (#150)

  Show description for a449450
  mtf90

  authored
  a449450

  Copy full SHA for a449450

Commits on May 19, 2025

• learner-it-support: improve nullability declarations

  mtf90

  committed
  43611f5

  Copy full SHA for 43611f5

Commits on Mar 17, 2025

• fix checkerframework config

  Show description for f135932
  mtf90

  committed
  f135932

  Copy full SHA for f135932

Commits on Feb 6, 2025

• bump changelog

  Show description for 1a22c1d
  mtf90

  committed
  1a22c1d

  Copy full SHA for 1a22c1d

• [maven-release-plugin] prepare for next development iteration

  mtf90

  committed
  442787f

  Copy full SHA for 442787f

• [maven-release-plugin] prepare release learnlib-0.18.0

  mtf90

  committed
  ac1a3b2

  Copy full SHA for ac1a3b2

• partially revert e368a91

  Show description for 555b0e4
  mtf90

  committed
  555b0e4

  Copy full SHA for 555b0e4

• wording

  Show description for d527929
  mtf90

  committed
  d527929

  Copy full SHA for d527929

Commits on Feb 5, 2025

• test api conformance

  Show description for d3a192d
  mtf90

  committed
  d3a192d

  Copy full SHA for d3a192d

• make ADT configurable in its suffix finder

  mtf90

  committed
  9909fdd

  Copy full SHA for 9909fdd

• cleanup ADT documentation

  mtf90

  committed
  9afd161

  Copy full SHA for 9afd161

• lambda: analyze counterexamples exhaustively

  Show description for e368a91
  mtf90

  committed
  e368a91

  Copy full SHA for e368a91

• lsharp: remove side-effects of getHypothesisModel()

  Show description for 527f580
  mtf90

  committed
  527f580

  Copy full SHA for 527f580

• switch to AutomataLib 0.12.0

  mtf90

  committed
  689f8fb

  Copy full SHA for 689f8fb

• clarify documentation

  mtf90

  committed
  68eabd4

  Copy full SHA for 68eabd4

Pagination

Previous

Next