Code

Feat/global constants #2606

Code

Merged

d0cd merged 44 commits intotestnet3ProvableHQ/leo:testnet3from feat/global-constantsProvableHQ/leo:feat/global-constantsCopy head branch name to clipboardOct 5, 2023

+6,628-5,336

Commits

Commits on Oct 4, 2023

• add constants to execution test

  evan-schott

  committed
  3d573f0

• folder of compiler tests for constants definitions and usages

  evan-schott

  committed
  02422ca

• all test expectations change since AST's are different now (added consts to ProgramScope)

  evan-schott

  committed
  eb606c9

• add loop unrolling errors

  evan-schott

  committed
  98f25b8

• more errors

  evan-schott

  committed
  4b01d41

• recognize "const" as token

  evan-schott

  committed
  38fdb43

• add "const" to AST programscope

  evan-schott

  committed
  422ba16

• parse constant definition statements

  evan-schott

  committed
  40f7ce2

• updated AST pass templates to account for addition of const in programscope

  evan-schott

  committed
  09df202

• constant propagation table to store values of constants (both local and global)

  evan-schott

  committed
  1818631

• Add function to remove variables from ST (so can clear const vars)

  evan-schott

  committed
  3540699

• in response to AST passes change

  evan-schott

  committed
  54b880d

• beautify

  evan-schott

  committed
  ef04d31

• move bounds checking to loop unrolling pass

  evan-schott

  committed
  9aa2553

• propagate constants by substituting constants for there values

  evan-schott

  committed
  be1866f

• tweak loop unrolling so that build constant propagation table simultaneously

  evan-schott

  committed
  c249786

• add constants to CPT and remove constant definitions from ST and AST

  evan-schott

  committed
  a7ee073

• moved bounds checking form TC to LU

  evan-schott

  committed
  22c592b

• Construct CPT during pass without messing up loop unrolling

  evan-schott

  committed
  ae86532

• formatting & test expectation

  evan-schott

  committed
  c5464db

• fixes

  evan-schott

  committed
  24c8879

• simplify

  evan-schott

  committed
  dcf03dd

• create test

  evan-schott

  committed
  b8321a7

• create error for tuple length mismatch

  evan-schott

  committed
  a70a3ff

• add more code coverage

  evan-schott

  committed
  c8b60e8

• create test

  evan-schott

  committed
  5afbb44

• rebase

  evan-schott

  committed
  0a2ea03

• clippy

  evan-schott

  committed
  0d1ed96

• fixes

  evan-schott

  committed
  52bb785

• change AST

  evan-schott

  committed
  0348e61

• Update errors/src/errors/type_checker/type_checker_error.rs

  Show description for 5d194fd
  

  evan-schott

  and

  d0cd

  committed
  5d194fd

• Update compiler/passes/src/function_inlining/function_inliner.rs

  Show description for 3d0be6b
  

  evan-schott

  and

  d0cd

  committed
  3d0be6b

• Update compiler/passes/src/function_inlining/inline_program.rs

  Show description for 141bca3
  

  evan-schott

  and

  d0cd

  committed
  141bca3

• Update compiler/parser/src/parser/file.rs

  Show description for 909289c
  

  evan-schott

  and

  d0cd

  committed
  909289c

• constant time lookups

  evan-schott

  committed
  c37eeaa

• formatting

  evan-schott

  committed
  f3f98ac

• Update compiler/passes/src/function_inlining/inline_program.rs

  Show description for 70e0557
  

  d0cd

  authored and

  evan-schott

  committed
  70e0557

• Update compiler/passes/src/function_inlining/inline_program.rs

  Show description for f6a8f46
  

  d0cd

  authored and

  evan-schott

  committed
  f6a8f46

• Update compiler/passes/src/function_inlining/inline_program.rs

  Show description for 184c306
  

  d0cd

  authored and

  evan-schott

  committed
  184c306

• Fix

  

  d0cd

  authored and

  evan-schott

  committed
  70e0c26

• Apply suggestions from code review

  Show description for e9d5579
  

  evan-schott

  and

  d0cd

  committed
  e9d5579

• remove duplicate reconstruct_const functions

  evan-schott

  committed
  7f7f92b

• small edits to make tests pass

  evan-schott

  committed
  6da2753

• increase test coverage

  evan-schott

  committed
  e55035c