Code

Add object backend specification#188

Code

Open

konradgithuup wants to merge 2 commits intoparcio:masterparcio/julea:masterfrom konradgithuup:dev/object-backend-specificationkonradgithuup/julea:dev/object-backend-specificationCopy head branch name to clipboard

+196

Commits

Commits on Apr 4, 2024

• Add specification

  konradgithuup

  authored
  82b9d7a

Commits on Jun 4, 2024

• Update formal specs

  konradgithuup

  committed
  cade4c5