Code

Guard rename#95

Code

Open

t-lohse wants to merge 6 commits intoEcdar:mainEcdar/j-Ecdar:mainfrom t-lohse:guard-renamet-lohse/j-Ecdar:guard-renameCopy head branch name to clipboard

+1,056-1,062

Commits

Commits on Dec 1, 2022

• Initial rename

  t-lohse

  committed
  53d08fa

  Copy full SHA for 53d08fa

• Updated CDD and Grammar naming

  t-lohse

  committed
  4bb150a

  Copy full SHA for 4bb150a

• Updated tests

  t-lohse

  committed
  2a1e197

  Copy full SHA for 2a1e197

Commits on Jan 16, 2023

• Pull from main

  t-lohse

  committed
  9334d41

  Copy full SHA for 9334d41

• Some refactor

  t-lohse

  committed
  a268ca3

  Copy full SHA for a268ca3

• Expression rename

  t-lohse

  committed
  d118b15

  Copy full SHA for d118b15