Code

Toplevel rust translation#1905

Code

Merged

eddywestbrook merged 12 commits intomasterGaloisInc/saw-script:masterfrom toplevel-rust-translationGaloisInc/saw-script:toplevel-rust-translationCopy head branch name to clipboardAug 16, 2023

+136-20

Commits

Commits on Jul 18, 2023

• Add translate_rust_type so we can call the function from the command line

  scuellar

  committed
  951fb17

  Copy full SHA for 951fb17

Commits on Aug 11, 2023

• Last details to get rust translation working at the toplevel

  scuellar

  committed
  3b67591

  Copy full SHA for 3b67591

• add example file

  scuellar

  committed
  82d34dd

  Copy full SHA for 82d34dd

• Better descriptions

  scuellar

  committed
  c9c88b4

  Copy full SHA for c9c88b4

Commits on Aug 14, 2023

• Remove comments

  scuellar

  committed
  c7fe919

  Copy full SHA for c7fe919

• Improve description for heapster_parse_test

  scuellar

  committed
  fb24c94

  Copy full SHA for fb24c94

• Description was on the wrong function

  scuellar

  committed
  2a79212

  Copy full SHA for 2a79212

• Deduplicating functions parseFunPermFromRust and parseSome3FunPermFromRust

  scuellar

  committed
  72dbd3e

  Copy full SHA for 72dbd3e

• Fix the arguments

  scuellar

  committed
  d204452

  Copy full SHA for d204452

• Generalize un3SomeFunPerm

  scuellar

  committed
  8326fc7

  Copy full SHA for 8326fc7

• wrap line to 80 columns

  scuellar

  committed
  453b05e

  Copy full SHA for 453b05e

Commits on Aug 15, 2023

• Simplify expression (and add alignment)

  scuellar

  committed
  56bfeac

  Copy full SHA for 56bfeac