Code

First step to using rustup.#33

Code

Draft

dkcumming wants to merge 7 commits intomasterruntimeverification/smir_pretty:masterfrom remove-building-reporuntimeverification/smir_pretty:remove-building-repoCopy head branch name to clipboard

+46-195

Commits

Commits on Jan 24, 2025

• First step to using rustup.

  Show description for 23671ee
  dkcumming

  committed
  23671ee

  Copy full SHA for 23671ee

• Added rustup stuff into build.rs

  dkcumming

  committed
  9c3436b

  Copy full SHA for 9c3436b

• added build snippet for clarity

  dkcumming

  committed
  86e9316

  Copy full SHA for 86e9316

• Updated Makefile and README.md

  dkcumming

  committed
  2608687

  Copy full SHA for 2608687

• tried removed 'Denial'

  dkcumming

  committed
  56e3182

  Copy full SHA for 56e3182

• Added simple rustup install to CI. Probably wrong

  dkcumming

  committed
  50494b8

  Copy full SHA for 50494b8

• trying with dtolnay/toolchain again

  dkcumming

  committed
  b113e9f

  Copy full SHA for b113e9f