Code

Custom placeholders#107

Code

Open

Virtlink wants to merge 11 commits intodevelopmetaborg/spoofax-pie:developfrom custom-placeholdersmetaborg/spoofax-pie:custom-placeholdersCopy head branch name to clipboard

+709-187

Commits

Commits on Jan 26, 2022

• Add placeholder config option

  Virtlink

  committed
  5d50f41

• Extend and use Sdf3Context object

  Virtlink

  committed
  86dc296

• Use Sdf3SpecConfig object

  Virtlink

  committed
  25981e9

• Add SSL_EXT_placeholder_chars primitive

  Virtlink

  committed
  dd728b9

Commits on Jan 28, 2022

• Add Sdf3Config object

  Virtlink

  committed
  a706ce4

• Use Sdf3Config object

  Virtlink

  committed
  a2e9071

• Abstract Sdf3 tranformation tasks

  Virtlink

  committed
  7ad3439

• Attempt to refactor Sdf3ToNormalForm

  Virtlink

  committed
  f9f1409

• Reimplement Sdf3ShowNormalForm

  Virtlink

  committed
  f378300

Commits on Jan 30, 2022

• Thread Sdf3Config

  Virtlink

  committed
  909b60a

Commits on Feb 1, 2022

• Merge branch 'develop' into custom-placeholders

  Virtlink

  committed
  4072554