Code

Overloaded Operators for KeY lang#3032

Code

Draft

wadoon wants to merge 56 commits intoKeYProject:mainKeYProject/key:mainfrom wadoon:weigl/overopwadoon/key:weigl/overopCopy head branch name to clipboard

+1,728-420

Commits

Commits on Feb 4, 2022

• allow multi-char operators

  wadoon

  committed
  fac35af

  Copy full SHA for fac35af

• add metadata information to functions and predicates

  wadoon

  committed
  9689360

  Copy full SHA for 9689360

• add MixFitInfo to capture information

  wadoon

  committed
  2876402

  Copy full SHA for 2876402

• change the loopup functions

  wadoon

  committed
  a30b91e

  Copy full SHA for a30b91e

• remove seq +, use annotation

  wadoon

  committed
  58ab4f0

  Copy full SHA for 58ab4f0

Commits on Feb 6, 2022

• remove old lookup and add metadata

  wadoon

  committed
  3790027

  Copy full SHA for 3790027

• NotationInfo recognizes MixFitInfos

  Show description for 6c4f1a6
  wadoon

  committed
  6c4f1a6

  Copy full SHA for 6c4f1a6

• fix clash with <->

  wadoon

  committed
  d059b75

  Copy full SHA for d059b75

• minors

  wadoon

  committed
  eecbccf

  Copy full SHA for eecbccf

Commits on Feb 8, 2022

• fixes failing tests

  Show description for 0222157
  wadoon

  committed
  0222157

  Copy full SHA for 0222157

• Merge branch 'master' into weigl/overop

  Show description for c3708ae
  wadoon

  committed
  c3708ae

  Copy full SHA for c3708ae

Commits on Feb 13, 2022

• remove prefix from neglit

  wadoon

  committed
  9baeb5b

  Copy full SHA for 9baeb5b

• Merge branch 'master' into weigl/overop

  Show description for fd4963a
  wadoon

  committed
  fd4963a

  Copy full SHA for fd4963a

• add prefix at negDouble

  wadoon

  committed
  4ff4563

  Copy full SHA for 4ff4563

• fix tests, add whitepsaces

  wadoon

  committed
  b14b741

  Copy full SHA for b14b741

Commits on Feb 16, 2022

• Merge branch 'master' into weigl/overop

  Show description for 9b54c0b
  wadoon

  committed
  9b54c0b

  Copy full SHA for 9b54c0b

Commits on Apr 17, 2022

• allow multi-char operators

  wadoon

  committed
  dda6ea1

  Copy full SHA for dda6ea1

• add metadata information to functions and predicates

  wadoon

  committed
  b9fd5a6

  Copy full SHA for b9fd5a6

• add MixFitInfo to capture information

  wadoon

  committed
  ab2a6be

  Copy full SHA for ab2a6be

• change the loopup functions

  wadoon

  committed
  2aa5097

  Copy full SHA for 2aa5097

• remove seq +, use annotation

  wadoon

  committed
  75efea8

  Copy full SHA for 75efea8

• remove old lookup and add metadata

  wadoon

  committed
  36efc6b

  Copy full SHA for 36efc6b

• NotationInfo recognizes MixFitInfos

  Show description for e7d9172
  wadoon

  committed
  e7d9172

  Copy full SHA for e7d9172

• fix clash with <->

  wadoon

  committed
  e59b436

  Copy full SHA for e59b436

• minors

  wadoon

  committed
  c5abd20

  Copy full SHA for c5abd20

• fixes failing tests

  Show description for 241cd20
  wadoon

  committed
  241cd20

  Copy full SHA for 241cd20

• remove prefix from neglit

  wadoon

  committed
  41c5fb6

  Copy full SHA for 41c5fb6

• add prefix at negDouble

  wadoon

  committed
  b388f45

  Copy full SHA for b388f45

• fix tests, add whitepsaces

  wadoon

  committed
  0f2788b

  Copy full SHA for 0f2788b

• fix merge

  wadoon

  committed
  dcdaf04

  Copy full SHA for dcdaf04

• Merge remote-tracking branch 'origin/weigl/overop' into weigl/overop

  Show description for 2e48d16
  wadoon

  committed
  2e48d16

  Copy full SHA for 2e48d16

• adts to KeY grammar

  wadoon

  committed
  9188f0c

  Copy full SHA for 9188f0c

Commits on Apr 26, 2022

• wip

  wadoon

  committed
  097994a

  Copy full SHA for 097994a

Commits on Jun 24, 2022

• Merge remote-tracking branch 'origin/master' into weigl/overop

  Show description for 91abf3d
  wadoon

  committed
  91abf3d

  Copy full SHA for 91abf3d

Commits on Feb 7, 2023

• spotless apply

  wadoon

  committed
  62c5c50

  Copy full SHA for 62c5c50

Commits on Feb 8, 2023

• Merge remote-tracking branch 'origin/main' into weigl/overop

  Show description for 470be0a
  wadoon

  committed
  470be0a

  Copy full SHA for 470be0a

• spotless

  wadoon

  committed
  20b3020

  Copy full SHA for 20b3020

Commits on Jul 23, 2023

• Merge remote-tracking branch 'origin/main' into weigl/overop

  wadoon

  committed
  29fda88

  Copy full SHA for 29fda88

Commits on Jul 24, 2023

• wip

  wadoon

  committed
  8f5e534

  Copy full SHA for 8f5e534

Commits on Jul 30, 2023

• fix last problems

  wadoon

  committed
  953a33f

  Copy full SHA for 953a33f

• Merge remote-tracking branch 'origin/main' into weigl/overop

  wadoon

  committed
  dc11e4c

  Copy full SHA for dc11e4c

Commits on Aug 2, 2023

• fix parser

  wadoon

  committed
  06f7acb

  Copy full SHA for 06f7acb

Commits on Aug 27, 2023

• Merge branch 'main' into weigl/overop

  Show description for ccbe4c1
  wadoon

  committed
  ccbe4c1

  Copy full SHA for ccbe4c1

Commits on Oct 12, 2023

• Merge branch 'main' into weigl/overop

  wadoon

  authored
  1247f70

  Copy full SHA for 1247f70

Commits on Nov 19, 2023

• Merge remote-tracking branch 'origin/main' into weigl/overop

  Show description for 2b5d499
  wadoon

  committed
  2b5d499

  Copy full SHA for 2b5d499

• fix compile errors & spotless

  wadoon

  committed
  ea65e16

  Copy full SHA for ea65e16

Commits on Nov 27, 2023

• Merge branch 'main' into weigl/overop

  wadoon

  authored
  f9975f2

  Copy full SHA for f9975f2

Commits on Dec 16, 2023

• Merge branch 'main' into weigl/overop

  wadoon

  authored
  48ca4e7

  Copy full SHA for 48ca4e7

Commits on Dec 29, 2023

• Merge branch 'main' into weigl/overop

  wadoon

  authored
  a723d29

  Copy full SHA for a723d29

• fix merge error

  wadoon

  committed
  77eab70

  Copy full SHA for 77eab70

• Merge remote-tracking branch 'origin/main' into weigl/overop

  Show description for 4c44e9a
  wadoon

  committed
  4c44e9a

  Copy full SHA for 4c44e9a

• fix merge error

  wadoon

  committed
  9c1dd90

  Copy full SHA for 9c1dd90

• wip

  wadoon

  committed
  bbe9db4

  Copy full SHA for bbe9db4

Commits on Feb 3, 2024

• Merge branch 'main' into weigl/overop

  Show description for 8157393
  wadoon

  committed
  8157393

  Copy full SHA for 8157393

Commits on Feb 11, 2024

• Merge branch 'main' into weigl/overop

  wadoon

  authored
  71354b6

  Copy full SHA for 71354b6

Commits on Feb 18, 2024

• Merge remote-tracking branch 'origin/main' into weigl/overop

  Show description for 3053fc1
  wadoon

  committed
  3053fc1

  Copy full SHA for 3053fc1