Skip to content
GitLab
  • Explore
  • Sign in
  • key-public
  • keykey
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • KeY-2.12.0
    1384c9d6 · deactivating "diverges true" from loop specification · Aug 04, 2023
    Download source code
    zip tar.gz tar.bz2 tar
  • main
    694ee9a0 · Merge branch 'pfeifer/tacletTriggersToString' into 'master' · Jan 29, 2023
    Download source code
    zip tar.gz tar.bz2 tar
  • master protected
    a9d81506 · Merge branch 'pfeifer/tacletTriggersToString' into 'master' · Jan 29, 2023
    Download source code
    zip tar.gz tar.bz2 tar
  • stable default
    694ee9a0 · Merge branch 'pfeifer/tacletTriggersToString' into 'master' · Jan 29, 2023
    Download source code
    zip tar.gz tar.bz2 tar
  • KeY-2.10.0
    abd930a0 · Fix version information in README.md · Dec 23, 2021
    Download source code
    zip tar.gz tar.bz2 tar
  • KeY-2.8.0-eclipse-fixes
    3df0c39b · Merge remote-tracking branch 'origin/master' into grebingWeigl/ExploreGradle · Aug 03, 2021
    Download source code
    zip tar.gz tar.bz2 tar
  • KeY-2.8.0
    9849f7ba · change settings for gitlab repo · Dec 20, 2020
    Download source code
    zip tar.gz tar.bz2 tar