Code

Rewriting constants#73

Code

Merged

ACassimiro merged 6 commits intomainPi-Squared-Inc/rust-demo-semantics:mainfrom rewriting-constantsPi-Squared-Inc/rust-demo-semantics:rewriting-constantsCopy head branch name to clipboardSep 4, 2024

+63-4

Commits

Commits on Sep 3, 2024

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

  ACassimiro

  committed
  cc5af4e

  Copy full SHA for cc5af4e

• Fixing warning

  ACassimiro

  committed
  bf9debf

  Copy full SHA for bf9debf

• Addressing comments

  ACassimiro

  committed
  cef53d4

  Copy full SHA for cef53d4

• Minor adjustments in tests

  ACassimiro

  committed
  071c3fe

  Copy full SHA for 071c3fe

Commits on Sep 4, 2024

• Merge branch 'main' into rewriting-constants

  virgil-serbanuta

  authored
  569fb69

  Copy full SHA for 569fb69

• Making an exclusive module for the constant lookup rule and importing it for both preprocessing and execution

  ACassimiro

  committed
  2b2771a

  Copy full SHA for 2b2771a