Code

Map with new equalities#3486

Code

Merged

wadoon merged 35 commits intoKeYProject:mainKeYProject/key:mainfrom tobias-rnh:map-with-new-equalitiestobias-rnh/key:map-with-new-equalitiesCopy head branch name to clipboardJul 20, 2024

+1,094-40

Commits

Commits on Jan 9, 2024

• move utility method from ProofIrrelevancyProperty to new dedicated class EqualityUtils and make it more general

  tobias-rnh

  committed
  486f6e3

• add implementations to hashCodeModProperty for IrrelevantTermLabelsProperty and TermLabelsProperty

  tobias-rnh

  committed
  756d79c

Commits on Jan 21, 2024

• Merge branch 'combine-equals-methods' into map-with-new-equalities

  tobias-rnh

  committed
  a54cc05

Commits on Jan 23, 2024

• add wrapper of LinkedHashMap that uses equalsModProperty in equals method

  tobias-rnh

  committed
  8178953

Commits on Jan 24, 2024

• move EqualityUtils and LinkedHashMapWrapper from equality to util

  tobias-rnh

  committed
  0f7c1b5

• add doc to LinkedHashMapWrapper

  tobias-rnh

  committed
  868dc42

Commits on Apr 25, 2024

• Merge branch 'more-general-equalsModProperty' into map-with-new-equalities

  Show description for bb63e1c
  tobias-rnh

  committed
  bb63e1c

• fix errors introduced through merge

  tobias-rnh

  committed
  a499abd

Commits on Apr 30, 2024

• change LinkedHashMapWrapper to be more general

  tobias-rnh

  committed
  b14e38f

Commits on May 5, 2024

• add tests for hashCodeModProperty at various spots where equalsModProperty was asserted to be true

  tobias-rnh

  committed
  5c47fc1

Commits on May 10, 2024

• change small things about hashCodeModProperty() when ignoring irrelevant or all term labels

  tobias-rnh

  committed
  2c88493

Commits on May 12, 2024

• start idea for hash codes modulo renaming on SourceElements

  tobias-rnh

  committed
  f3f9533

Commits on May 16, 2024

• start implementation of more complex hash function (still has a bug)

  tobias-rnh

  committed
  76f7258

• fix and finish hashCodeModThisProperty for RenamingSourceElementProperty

  tobias-rnh

  committed
  7cfdcc2

Commits on May 17, 2024

• start implementation of hashCodeModThisProperty for RenamingTermProperty (wip)

  tobias-rnh

  committed
  09ebe68

Commits on May 21, 2024

• finish implementation of hashCodeModThisProperty for RenamingTermProperty

  tobias-rnh

  committed
  3d70ce0

Commits on May 22, 2024

• add doc to RenamingTermProperty

  tobias-rnh

  committed
  9bda17a

Commits on Jun 13, 2024

• Merge branch 'refs/heads/main' into map-with-new-equalities

  Show description for 5a749e6
  tobias-rnh

  committed
  5a749e6

• move LinkedHashMapWrapper

  tobias-rnh

  committed
  672b6b7

• start tests for LinkedHashMapWrapper

  tobias-rnh

  committed
  e4a563e

Commits on Jun 17, 2024

• write more tests for LinkedHashMapWrapper (WIP)

  tobias-rnh

  committed
  c250516

• fix bug where equals() of ElementWrapper did not function properly

  tobias-rnh

  committed
  cf76f0b

Commits on Jun 18, 2024

• write more tests (WIP)

  tobias-rnh

  committed
  25c2d02

• write more tests for LinkedHashMapWrapper (still WIP)

  tobias-rnh

  committed
  e8b44eb

• finish tests for LinkedHashMapWrapper

  tobias-rnh

  committed
  cecf12f

• write long comment about hashCodeModThisProperty for SourceElements

  tobias-rnh

  committed
  7da937c

Commits on Jun 21, 2024

• add nullable annotations in LinkedHashMapWrapper

  tobias-rnh

  committed
  6dd07b8

• add to test case for LinkedHashMapWrapper

  tobias-rnh

  committed
  9327119

• Merge remote-tracking branch 'origin/map-with-new-equalities' into map-with-new-equalities

  tobias-rnh

  committed
  5de08f1

• add test for iterator of LinkedHashMapWrapper

  tobias-rnh

  committed
  74af642

• Merge branch 'refs/heads/more-general-equalsModProperty' into map-with-new-equalities

  tobias-rnh

  committed
  862064a

• fix test for LinkedHashMapWrapper

  tobias-rnh

  committed
  98f8008

Commits on Jun 27, 2024

• Merge branch 'main' into map-with-new-equalities

  Drodt

  authored
  58c2a96

• use general navigation structure for hashCodeModThisProperty in RenamingSourceElementProperty

  tobias-rnh

  committed
  c042152

Commits on Jul 12, 2024

• Merge branch 'main' into map-with-new-equalities

  Drodt

  authored
  0ebb8b5