Code

Tracing2#3504

Code

Draft

lks9 wants to merge 16 commits intomainKeYProject/key:mainfrom LukasTracing2KeYProject/key:LukasTracing2Copy head branch name to clipboard

+586-45

Commits

Commits on Jun 7, 2024

• retracing rules for if/else in Java

  lks9

  committed
  3871d89

  Copy full SHA for 3871d89

Commits on Jun 21, 2024

• added traceIfNoElse, traceElseNoElse tracing rules

  lks9

  committed
  e5ca98a

  Copy full SHA for e5ca98a

Commits on Jun 25, 2024

• fix traceElseNoElse rule

  lks9

  committed
  5976ad6

  Copy full SHA for 5976ad6

Commits on Jun 26, 2024

• added quicksort example

  lks9

  committed
  2ea6787

  Copy full SHA for 2ea6787

Commits on Jun 30, 2024

• quicksort retrace in runallproofs

  lks9

  committed
  5174398

  Copy full SHA for 5174398

Commits on Jul 23, 2024

• trace recording

  lks9

  committed
  1b92dfd

  Copy full SHA for 1b92dfd

• trace_I ==> trace_O simplification rules

  lks9

  committed
  5c05100

  Copy full SHA for 5c05100

Commits on Jul 24, 2024

• string-based trace representation

  lks9

  committed
  83b574a

  Copy full SHA for 83b574a

Commits on Jul 25, 2024

• cleaned and commented

  lks9

  committed
  49d9cee

  Copy full SHA for 49d9cee

Commits on Aug 5, 2024

• Merge branch 'main' into LukasTracing2

  lks9

  committed
  621e873

  Copy full SHA for 621e873

• traceIndexInit should be used differently

  lks9

  committed
  eef4236

  Copy full SHA for eef4236

• short-circuit && should not convert to if-else

  lks9

  committed
  344534b

  Copy full SHA for 344534b

• Merge branch 'main' into LukasTracing2

  lks9

  committed
  d06688d

  Copy full SHA for d06688d

• formatting

  lks9

  committed
  ca6b419

  Copy full SHA for ca6b419

Commits on Aug 6, 2024

• taclet option for tracing; replacement rules when tracing; taclet displaynames

  lks9

  committed
  e4c9016

  Copy full SHA for e4c9016

• Fix TestTacletEquality

  Show description for ce8bec8
  lks9

  committed
  ce8bec8

  Copy full SHA for ce8bec8