Code

Several fixes for the modality class#6

Code

Closed

unp1 wants to merge 44 commits intomainDrodt/key:mainfrom severalFixesDrodt/key:severalFixesCopy head branch name to clipboard

+3,193-1,884

Commits

Commits on Oct 6, 2023

• Initial commit for refactoring KeY towards modular support for target programming languages

  Show description for bb5611a
  

  unp1

  authored and

  Drodt

  committed
  bb5611a

  Copy full SHA for bb5611a

• Add LanguageElement

  Drodt

  committed
  6e77036

  Copy full SHA for 6e77036

• Add dependency on ncore project to core project

  Drodt

  committed
  13351ed

  Copy full SHA for 13351ed

• Turn key.util into module

  Drodt

  committed
  470d11d

  Copy full SHA for 470d11d

• Start work on ops and sorts

  Drodt

  committed
  6c96f9a

  Copy full SHA for 6c96f9a

• Spotless fixes

  

  unp1

  authored and

  Drodt

  committed
  6777e14

  Copy full SHA for 6777e14

• Spotless

  Drodt

  committed
  0bebc98

  Copy full SHA for 0bebc98

• removed redundant classes

  

  unp1

  authored and

  Drodt

  committed
  01bb46a

  Copy full SHA for 01bb46a

• Made Sort generic to enforce method signature specialization

  Drodt

  committed
  512d26d

  Copy full SHA for 512d26d

• Move interfaces to ncore

  Drodt

  committed
  1cb68d0

  Copy full SHA for 1cb68d0

• Fix sort method

  Drodt

  committed
  887ba64

  Copy full SHA for 887ba64

• Removed unnecessary term dependency from Operator

  Show description for 53a0e09
  

  unp1

  authored and

  Drodt

  committed
  53a0e09

  Copy full SHA for 53a0e09

• Cleaned up style using spotless

  

  unp1

  authored and

  Drodt

  committed
  39ff2fa

  Copy full SHA for 39ff2fa

• Reorganized inheritance structure to minimize parallel (and unrelated) tye hierachies for sorts

  Show description for 871cd9e
  

  unp1

  authored and

  Drodt

  committed
  871cd9e

  Copy full SHA for 871cd9e

• Spotless fixes

  

  unp1

  authored and

  Drodt

  committed
  99f0090

  Copy full SHA for 99f0090

• Fixed some tests

  

  unp1

  authored and

  Drodt

  committed
  0e04331

  Copy full SHA for 0e04331

• Added some comments to JavaDLTheory

  

  unp1

  authored and

  Drodt

  committed
  2bc388d

  Copy full SHA for 2bc388d

• Some fixes to type converters widening method

  

  unp1

  authored and

  Drodt

  committed
  fe2f385

  Copy full SHA for fe2f385

• Minor cleanup

  

  unp1

  authored and

  Drodt

  committed
  55ffba7

  Copy full SHA for 55ffba7

• Added some tests for Name

  

  unp1

  authored and

  Drodt

  committed
  bd989f4

  Copy full SHA for bd989f4

• Switch to jSpecify.org nullable annotations

  Show description for 93b144e
  

  unp1

  authored and

  Drodt

  committed
  93b144e

  Copy full SHA for 93b144e

• Fixed broken test

  

  unp1

  authored and

  Drodt

  committed
  a1a21b4

  Copy full SHA for a1a21b4

• Merge Sort and AbstractSort in JavaDL core

  

  unp1

  authored and

  Drodt

  committed
  b2bb4d7

  Copy full SHA for b2bb4d7

• Spotless checks

  Drodt

  committed
  3dd1bdd

  Copy full SHA for 3dd1bdd

• Start design doc

  Drodt

  committed
  33ecf52

  Copy full SHA for 33ecf52

• Move methods to ncore.Term

  Drodt

  committed
  9a29406

  Copy full SHA for 9a29406

• Add missing generics

  Drodt

  committed
  6872b26

  Copy full SHA for 6872b26

• Revert generics for now

  Drodt

  committed
  2b25037

  Copy full SHA for 2b25037

• Move visitors to ncore

  Drodt

  committed
  bbcf3de

  Copy full SHA for bbcf3de

• Spotless checks

  Drodt

  committed
  067aa40

  Copy full SHA for 067aa40

• Reduce usage of generics sorts and the Term interface of ncore in JavaDL core

  

  unp1

  authored and

  Drodt

  committed
  8c72bcd

  Copy full SHA for 8c72bcd

• removed unnecessary casts introduce by previous commit

  

  unp1

  authored and

  Drodt

  committed
  1a0f148

  Copy full SHA for 1a0f148

• spotless cleanup

  

  unp1

  authored and

  Drodt

  committed
  74953c3

  Copy full SHA for 74953c3

• REmoved remianing redundant casts

  

  unp1

  authored and

  Drodt

  committed
  69e93cb

  Copy full SHA for 69e93cb

• Reduce number of generic type parameters in visitor

  

  unp1

  authored and

  Drodt

  committed
  d3f146e

  Copy full SHA for d3f146e

• Prepare Modality to contain the program

  Drodt

  committed
  3c259a0

  Copy full SHA for 3c259a0

• Fix faulty comparisons to modality

  Drodt

  committed
  d732e8f

  Copy full SHA for d732e8f

• Cleanup

  Drodt

  committed
  a890f4c

  Copy full SHA for a890f4c

• Attempt to fix term construction

  Drodt

  committed
  f51bab3

  Copy full SHA for f51bab3

Commits on Oct 16, 2023

• Fix Modality matching

  Drodt

  committed
  8596671

  Copy full SHA for 8596671

• cleanup

  Drodt

  committed
  525857c

  Copy full SHA for 525857c

• Move Modality kinds and clean up

  Drodt

  committed
  316bdad

  Copy full SHA for 316bdad

• Fix string output

  Drodt

  committed
  b3f376f

  Copy full SHA for b3f376f

Commits on Oct 21, 2023

• Several fixes. Temporarily moved modalities caching into static HashMap

  unp1

  committed
  fc3e614

  Copy full SHA for fc3e614