Code

Set up project#1

Code

Merged

rv-jenkins merged 10 commits intomasterruntimeverification/riscv-semantics:masterfrom project-setupruntimeverification/riscv-semantics:project-setupCopy head branch name to clipboardMay 15, 2024

+1,535-2

Commits

Commits on May 13, 2024

• Instantiate project template

  tothtamas28

  committed
  5adbf8e

  Copy full SHA for 5adbf8e

• Add versioning

  tothtamas28

  committed
  7f69378

  Copy full SHA for 7f69378

• Add dependencies

  tothtamas28

  committed
  c003c27

  Copy full SHA for c003c27

• Add poetry.lock

  tothtamas28

  committed
  6aba0b6

  Copy full SHA for 6aba0b6

• Add kdist setup

  tothtamas28

  committed
  f70ac81

  Copy full SHA for f70ac81

• Add CI tests

  tothtamas28

  committed
  54fc0ac

  Copy full SHA for 54fc0ac

Commits on May 14, 2024

• Add update workflow

  tothtamas28

  committed
  14c0a1b

  Copy full SHA for 14c0a1b

• Set Version: 0.1.1

  

  devops

  committed
  7847fdf

  Copy full SHA for 7847fdf

• Sync Poetry files 7.0.60

  

  devops

  committed
  ba4b187

  Copy full SHA for ba4b187

• Restore workflow trigger

  tothtamas28

  committed
  247a49c

  Copy full SHA for 247a49c