Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 22, 2025

• update citations

  mtf90

  committed
  7fc4fe3

  Copy full SHA for 7fc4fe3

• add CAV news

  mtf90

  committed
  d399cdc

  Copy full SHA for d399cdc

Commits on Feb 6, 2025

• LearnLib 0.18.0 release

  mtf90

  committed
  e85ba5a

  Copy full SHA for e85ba5a

• cleanups

  mtf90

  committed
  a46a925

  Copy full SHA for a46a925

• AutomataLib 0.12.0 release

  mtf90

  committed
  677b6cc

  Copy full SHA for 677b6cc

Commits on Feb 4, 2025

• cleanups

  mtf90

  committed
  c30e177

  Copy full SHA for c30e177

• bundle update github-pages

  mtf90

  committed
  fd25966

  Copy full SHA for fd25966

Commits on Nov 9, 2024

• update URL

  mtf90

  committed
  5fb3926

  Copy full SHA for 5fb3926

• update team

  mtf90

  committed
  1ee7b41

  Copy full SHA for 1ee7b41

Commits on Mar 14, 2024

• tools: fix order

  mtf90

  committed
  ea6add5

  Copy full SHA for ea6add5

• cleanup descriptions

  mtf90

  committed
  e3f908e

  Copy full SHA for e3f908e

• tools: add Tomte

  mtf90

  committed
  7d79dc5

  Copy full SHA for 7d79dc5

Commits on Dec 20, 2023

• setup sitemap

  mtf90

  committed
  a66a9f8

  Copy full SHA for a66a9f8

• add robots.txt

  mtf90

  committed
  094c7f5

  Copy full SHA for 094c7f5

Commits on Dec 12, 2023

• typos

  mtf90

  committed
  ef9a885

  Copy full SHA for ef9a885

• add more tools

  mtf90

  committed
  13460ae

  Copy full SHA for 13460ae

Commits on Dec 7, 2023

• tools: add contributors notice

  mtf90

  committed
  1da45b2

  Copy full SHA for 1da45b2

• adding tools page

  mtf90

  committed
  97e8835

  Copy full SHA for 97e8835

Commits on Nov 26, 2023

• fix sidebar wording

  mtf90

  committed
  8e39c02

  Copy full SHA for 8e39c02

• add news

  mtf90

  committed
  63893c7

  Copy full SHA for 63893c7

Commits on Nov 25, 2023

• update information for contributors

  mtf90

  committed
  b802955

  Copy full SHA for b802955

• fix typo

  mtf90

  committed
  56b2135

  Copy full SHA for 56b2135

• some seo optimizations

  mtf90

  committed
  99714cb

  Copy full SHA for 99714cb

Commits on Nov 24, 2023

• Create CNAME

  mtf90

  authored
  263c479

  Copy full SHA for 263c479

• Delete CNAME

  mtf90

  authored
  07aa5d4

  Copy full SHA for 07aa5d4

• Update CNAME

  mtf90

  authored
  3822475

  Copy full SHA for 3822475

• Create CNAME

  mtf90

  authored
  3c012dc

  Copy full SHA for 3c012dc

• jekyll: exclude non-page files

  mtf90

  committed
  e0cc4e7

  Copy full SHA for e0cc4e7

• mv LICENSE LICENSE.txt

  mtf90

  committed
  3f68641

  Copy full SHA for 3f68641

• add CONTRIBUTING.md

  mtf90

  committed
  1ccd995

  Copy full SHA for 1ccd995

• migrate ase2013 page

  mtf90

  committed
  7fcd1a9

  Copy full SHA for 7fcd1a9

• cleanups

  mtf90

  committed
  4213eb5

  Copy full SHA for 4213eb5

• simplify navigation css

  mtf90

  committed
  5c566ef

  Copy full SHA for 5c566ef

• fix navbar css

  mtf90

  committed
  4d497c4

  Copy full SHA for 4d497c4

• improve docs

  mtf90

  committed
  14d6297

  Copy full SHA for 14d6297

Pagination

Previous

Next