Code

A new grammar for configuration#3099

Code

Merged

wadoon merged 48 commits intoKeYProject:mainKeYProject/key:mainfrom wadoon:weigl/config2wadoon/key:weigl/config2Copy head branch name to clipboardNov 20, 2023

+1,830-533

Commits

Commits on Apr 3, 2023

• added new configuration language

  wadoon

  committed
  cf5535c

  Copy full SHA for cf5535c

• some bug fixes in the configuration

  wadoon

  committed
  bb0300e

  Copy full SHA for bb0300e

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

  Show description for 1924a0d
  wadoon

  committed
  1924a0d

  Copy full SHA for 1924a0d

Commits on Apr 5, 2023

• Change syntax to JSON-compatible format.

  wadoon

  committed
  275e0bd

  Copy full SHA for 275e0bd

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  31a10b4

  Copy full SHA for 31a10b4

• Proof dependent settings

  wadoon

  committed
  26529be

  Copy full SHA for 26529be

• add support for KeY files

  wadoon

  committed
  0d9d370

  Copy full SHA for 0d9d370

Commits on Apr 6, 2023

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

  Show description for d46a871
  wadoon

  committed
  d46a871

  Copy full SHA for d46a871

Commits on Apr 7, 2023

• every internal configuration number is long or double

  Show description for dd98cca
  wadoon

  committed
  dd98cca

  Copy full SHA for dd98cca

Commits on Apr 14, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  a9ec83b

  Copy full SHA for a9ec83b

Commits on Apr 17, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  ec1bd47

  Copy full SHA for ec1bd47

• fix compilation error, spotless

  wadoon

  committed
  1e3b8b2

  Copy full SHA for 1e3b8b2

Commits on Apr 21, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  b6e29a5

  Copy full SHA for b6e29a5

Commits on May 30, 2023

• Update key.core/src/main/java/de/uka/ilkd/key/settings/Settings.java

  Show description for 20bf964
  

  wadoon

  and

  Drodt

  authored
  20bf964

  Copy full SHA for 20bf964

• Update key.core/src/main/java/de/uka/ilkd/key/nparser/KeyAst.java

  Show description for 6956549
  

  wadoon

  and

  Drodt

  authored
  6956549

  Copy full SHA for 6956549

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  46156cd

  Copy full SHA for 46156cd

Commits on Jul 21, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  e1b2bf6

  Copy full SHA for e1b2bf6

Commits on Aug 21, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  7d1d66f

  Copy full SHA for 7d1d66f

Commits on Aug 27, 2023

• Merge branch 'main' into weigl/config2

  Show description for 1f95187
  wadoon

  committed
  1f95187

  Copy full SHA for 1f95187

• fix merge errors

  wadoon

  committed
  fa2f749

  Copy full SHA for fa2f749

Commits on Sep 28, 2023

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

  Show description for ef00123
  wadoon

  committed
  ef00123

  Copy full SHA for ef00123

Commits on Oct 2, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  4fdf3b6

  Copy full SHA for 4fdf3b6

• fix compilation

  wadoon

  committed
  bf45e0a

  Copy full SHA for bf45e0a

Commits on Oct 12, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  5d2d26b

  Copy full SHA for 5d2d26b

Commits on Oct 13, 2023

• Apply spotless

  wadoon

  committed
  f272c5e

  Copy full SHA for f272c5e

• pin down the problem with one file.

  Show description for 5bf77a9
  wadoon

  committed
  5bf77a9

  Copy full SHA for 5bf77a9

Commits on Oct 16, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  eb1c075

  Copy full SHA for eb1c075

Commits on Oct 17, 2023

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

  Show description for e7b9464
  wadoon

  committed
  e7b9464

  Copy full SHA for e7b9464

• Merge remote-tracking branch 'mine/weigl/config2' into weigl/config2

  Show description for 7d3a49a
  wadoon

  committed
  7d3a49a

  Copy full SHA for 7d3a49a

• Fix parsing errors and bugs in the StrategyProperties.java

  wadoon

  committed
  2f7606f

  Copy full SHA for 2f7606f

• restart default ProofCollections

  wadoon

  committed
  ca1637f

  Copy full SHA for ca1637f

Commits on Oct 22, 2023

• adding javadocs

  wadoon

  committed
  bf40f74

  Copy full SHA for bf40f74

• check the suffix checks for floats

  wadoon

  committed
  ae9fe01

  Copy full SHA for ae9fe01

• add test cases

  wadoon

  committed
  9672332

  Copy full SHA for 9672332

Commits on Oct 23, 2023

• fix tests

  Show description for d37584b
  wadoon

  committed
  d37584b

  Copy full SHA for d37584b

Commits on Oct 24, 2023

• Merge branch 'main' into weigl/config2

  Show description for ab79ee6
  wadoon

  committed
  ab79ee6

  Copy full SHA for ab79ee6

• spotless fixes

  wadoon

  committed
  6c08ea9

  Copy full SHA for 6c08ea9

Commits on Oct 28, 2023

• Merge branch 'main' into weigl/config2

  Show description for 283f597
  wadoon

  committed
  283f597

  Copy full SHA for 283f597

• fix merge errors

  wadoon

  committed
  62f919a

  Copy full SHA for 62f919a

Commits on Nov 3, 2023

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

  wadoon

  committed
  d5ef566

  Copy full SHA for d5ef566

• fixes from review

  wadoon

  committed
  e57e3d4

  Copy full SHA for e57e3d4

• spotless

  wadoon

  committed
  720dcce

  Copy full SHA for 720dcce

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  4278583

  Copy full SHA for 4278583

Commits on Nov 18, 2023

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  80885dc

  Copy full SHA for 80885dc

Commits on Nov 19, 2023

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

  Show description for bf66467
  wadoon

  committed
  bf66467

  Copy full SHA for bf66467

• Merge errors

  wadoon

  committed
  0a46626

  Copy full SHA for 0a46626

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

  Show description for d5d8a48
  wadoon

  committed
  d5d8a48

  Copy full SHA for d5d8a48

• Merge branch 'main' into weigl/config2

  wadoon

  authored
  d1b9485

  Copy full SHA for d1b9485