Code

Constants lookup#72

Code

Closed

ACassimiro wants to merge 8 commits intomainPi-Squared-Inc/rust-demo-semantics:mainfrom constant-lookupPi-Squared-Inc/rust-demo-semantics:constant-lookupCopy head branch name to clipboard

+75-718

Commits

Commits on Aug 30, 2024

• Adding arithmetic operations in the preprocessing stage

  ACassimiro

  committed
  d4b9b5c

  Copy full SHA for d4b9b5c

• Fix typo

  ACassimiro

  authored
  8d7551e

  Copy full SHA for 8d7551e

• Updating to match main (#69)

  Show description for e012fe1
  

  ACassimiro

  and

  virgil-serbanuta

  authored
  e012fe1

  Copy full SHA for e012fe1

• Adding constant lookup

  ACassimiro

  committed
  66f542c

  Copy full SHA for 66f542c

Commits on Sep 2, 2024

• Update approach for constant lookup

  ACassimiro

  committed
  12a9048

  Copy full SHA for 12a9048

Commits on Sep 3, 2024

• Addressing constants with type identifiers, introducing tests and fixing path typo in rust-lite

  ACassimiro

  committed
  5390063

  Copy full SHA for 5390063

• Merge branch 'main' into constant-lookup

  ACassimiro

  authored
  5f1f5d9

  Copy full SHA for 5f1f5d9

• Revert "Merge branch 'main' into constant-lookup"

  Show description for 804d9d9
  ACassimiro

  committed
  804d9d9

  Copy full SHA for 804d9d9