Code

Add xtext project for contracts#896

Code

Merged

bwiesmayr merged 4 commits intoeclipse-4diac:developeclipse-4diac/4diac-ide:developfrom Felix-Schmid:contractspec-pluginFelix-Schmid/4diac-ide:contractspec-pluginCopy head branch name to clipboardFeb 8, 2025

+9,837

Commits

Commits on Dec 21, 2024

• Add xtext project for contracts

  Show description for 2942668
  Felix-Schmid

  committed
  2942668

  Copy full SHA for 2942668

• Fix broken test case

  Felix-Schmid

  committed
  fea0313

  Copy full SHA for fea0313

• Add dummy test for automatic build

  Felix-Schmid

  committed
  1d1ff55

  Copy full SHA for 1d1ff55

Commits on Feb 8, 2025

• Resolve review issues

  Felix-Schmid

  committed
  adb5630

  Copy full SHA for adb5630