Code

Generate rewrite relation#4745

Code

Merged

automergerpr-permission-manager[bot] merged 16 commits intodevelopruntimeverification/k:developfrom rewrite-relationruntimeverification/k:rewrite-relationCopy head branch name to clipboardJan 27, 2025

+353-56

Commits

Commits on Jan 24, 2025

• Fix prelude

  tothtamas28

  committed
  2b1cc11

  Copy full SHA for 2b1cc11

• Fix method from_definition in KoreDefn

  tothtamas28

  committed
  dc4e6e3

  Copy full SHA for dc4e6e3

• Extract property structures

  tothtamas28

  committed
  94ed607

  Copy full SHA for 94ed607

• Add property structure_symbols

  tothtamas28

  committed
  6e78d9f

  Copy full SHA for 6e78d9f

• Add transformation skeleton

  tothtamas28

  committed
  97897f8

  Copy full SHA for 97897f8

• Implement method _elim_aliases

  tothtamas28

  committed
  44d087a

  Copy full SHA for 44d087a

• Move method _elim_aliases to kore.manip

  tothtamas28

  committed
  c22f8d1

  Copy full SHA for c22f8d1

• Implement method _free_binders

  tothtamas28

  committed
  30a85a4

  Copy full SHA for 30a85a4

• Implement method _elim_fun_apps

  tothtamas28

  committed
  c5c8c0b

  Copy full SHA for c5c8c0b

• Implement method '_def_binders'

  tothtamas28

  committed
  e76f6e0

  Copy full SHA for e76f6e0

• Implement bytes literal generation

  tothtamas28

  committed
  0d7250f

  Copy full SHA for 0d7250f

• Implement string literal generation

  tothtamas28

  committed
  b8aabdf

  Copy full SHA for b8aabdf

• Parenthesize negative integer literals

  tothtamas28

  committed
  e292446

  Copy full SHA for e292446

• Special case inj application generation

  tothtamas28

  committed
  541f4ec

  Copy full SHA for 541f4ec

• Do not parenthesize structure literals

  tothtamas28

  committed
  a9a34dd

  Copy full SHA for a9a34dd

• Work around pydocstyle false positive

  tothtamas28

  committed
  b10dbf0

  Copy full SHA for b10dbf0