Code

Improved treatment of final fields#3495

Code

Open

mattulbrich wants to merge 33 commits intoKeYProject:mainKeYProject/key:mainfrom mattulbrich:newFinalHeapsmattulbrich/key:newFinalHeapsCopy head branch name to clipboard

+3,403-6,188

Commits

Commits on Jul 6, 2024

• introducing infrastructure for final values w/o select.

  Show description for 4c36ba7
  mattulbrich

  committed
  4c36ba7

  Copy full SHA for 4c36ba7

• adding taclets for wellformedness of final fields

  Show description for 11539db
  mattulbrich

  committed
  11539db

  Copy full SHA for 11539db

• soundness bugfix for final values

  Show description for 8ebaa61
  mattulbrich

  committed
  8ebaa61

  Copy full SHA for 8ebaa61

• introducing a taclet option for the new final field mechanism

  Show description for d4f7ec0
  mattulbrich

  committed
  d4f7ec0

  Copy full SHA for d4f7ec0

• more general way to respect taclet options for final fields

  Show description for 79a50da
  mattulbrich

  committed
  79a50da

  Copy full SHA for 79a50da

• adapt rule for new syntax

  Show description for bbafd0f
  mattulbrich

  committed
  bbafd0f

  Copy full SHA for bbafd0f

• Add pretty printing for final fields

  Show description for d928eb0
  mattulbrich

  committed
  d928eb0

  Copy full SHA for d928eb0

• set statements may also assign to final fields

  Show description for 82e1aad
  mattulbrich

  committed
  82e1aad

  Copy full SHA for 82e1aad

Commits on Jul 7, 2024

• spotlessing ...

  mattulbrich

  committed
  44d8634

  Copy full SHA for 44d8634

Commits on Aug 25, 2024

• Merge remote-tracking branch 'origin/main' into newFinalHeaps

  mattulbrich

  committed
  80c9112

  Copy full SHA for 80c9112

Commits on Dec 10, 2024

• towards final heaps with static analysis

  mattulbrich

  committed
  ea6e9ca

  Copy full SHA for ea6e9ca

• final field code validator and tests

  Show description for e46b239
  mattulbrich

  committed
  e46b239

  Copy full SHA for e46b239

• cleaning up towards PR

  mattulbrich

  committed
  9bae13f

  Copy full SHA for 9bae13f

• documentation, towards PR

  mattulbrich

  committed
  0c991b0

  Copy full SHA for 0c991b0

• spotlessing

  mattulbrich

  committed
  ae9ea9b

  Copy full SHA for ae9ea9b

• mostly fixing the prettyprinting and parsing problem

  mattulbrich

  committed
  c647495

  Copy full SHA for c647495

Commits on Dec 13, 2024

• test cases for pp and parsing, mainly wrt. final fields

  mattulbrich

  committed
  aa749dd

  Copy full SHA for aa749dd

• repairing failing test cases

  mattulbrich

  committed
  c3a28ef

  Copy full SHA for c3a28ef

• more automation for finals in constructors

  mattulbrich

  committed
  3af8775

  Copy full SHA for 3af8775

• repairing test cases

  mattulbrich

  committed
  7c81700

  Copy full SHA for 7c81700

• Merge remote-tracking branch 'origin/main' into newFinalHeaps

  Show description for 491cfca
  mattulbrich

  committed
  491cfca

  Copy full SHA for 491cfca

Commits on Dec 20, 2024

• Merge remote-tracking branch 'origin/main' into newFinalHeaps

  mattulbrich

  committed
  f88dd46

  Copy full SHA for f88dd46

• adding two rules for final fields.

  Show description for dad8aca
  mattulbrich

  committed
  dad8aca

  Copy full SHA for dad8aca

• applying spotless

  mattulbrich

  committed
  d99efd2

  Copy full SHA for d99efd2

Commits on Dec 21, 2024

• making non-final fields in interfaces possible

  mattulbrich

  committed
  da84fda

  Copy full SHA for da84fda

Commits on Jan 20, 2025

• changing one rule for final fields

  Show description for 3e8fbbd
  mattulbrich

  committed
  3e8fbbd

  Copy full SHA for 3e8fbbd

• enabling static final fields

  mattulbrich

  committed
  27f1584

  Copy full SHA for 27f1584

Commits on Feb 22, 2025

• make information flow examples use traditional final treatment.

  mattulbrich

  committed
  e921c72

  Copy full SHA for e921c72

Commits on Feb 23, 2025

• Merge remote-tracking branch 'origin/main' into newFinalHeaps

  mattulbrich

  committed
  e137c77

  Copy full SHA for e137c77

• cleaning up code for upcoming review.

  mattulbrich

  committed
  2f599d3

  Copy full SHA for 2f599d3

Commits on Feb 26, 2025

• taking static final fields into account for createdness proofs.

  mattulbrich

  committed
  e995740

  Copy full SHA for e995740

Commits on Feb 28, 2025

• addressing the review

  mattulbrich

  committed
  9bb8e45

  Copy full SHA for 9bb8e45

Commits on Mar 1, 2025

• adding missing rule for final static fields

  mattulbrich

  committed
  fe0954a

  Copy full SHA for fe0954a