Code

[Feature] Native tests.#28449

Code

Open

d0cd wants to merge 25 commits intomainnetProvableHQ/leo:mainnetfrom feat/compile-testsProvableHQ/leo:feat/compile-testsCopy head branch name to clipboard

+1,714-347

Commits

Commits on Nov 18, 2024

• Attributes and symbols in preparation for the test framework.

  mikebenfield

  committed
  99089d9

  Copy full SHA for 99089d9

• Add scaffolding for leo test

  d0cd

  committed
  77d646c

  Copy full SHA for 77d646c

Commits on Nov 19, 2024

• Add dev dependencies to CLI and Manifest

  d0cd

  committed
  7c4f9bd

  Copy full SHA for 7c4f9bd

• Add build_tests flag to compiler options

  d0cd

  committed
  53abcdc

  Copy full SHA for 53abcdc

• WIP

  d0cd

  committed
  7a19c83

  Copy full SHA for 7a19c83

Commits on Nov 23, 2024

• Add test to AST

  d0cd

  committed
  1ea1c7d

  Copy full SHA for 1ea1c7d

• Add test visitors

  d0cd

  committed
  dc60453

  Copy full SHA for dc60453

• Initialize tests directory on leo new

  d0cd

  committed
  520f1f8

  Copy full SHA for 520f1f8

• Add parser for Tests

  d0cd

  committed
  caa4366

  Copy full SHA for caa4366

Commits on Nov 26, 2024

• WIP

  d0cd

  committed
  7ea23ca

  Copy full SHA for 7ea23ca

• WIP

  d0cd

  committed
  17c8ad3

  Copy full SHA for 17c8ad3

Commits on Nov 27, 2024

• Fix build pathway for tests

  d0cd

  committed
  c6e49ad

  Copy full SHA for c6e49ad

• Test flow up to loop unrolling working

  d0cd

  committed
  ff4e46f

  Copy full SHA for ff4e46f

Commits on Dec 9, 2024

• Remove Test and use Program; tests are programs

  d0cd

  committed
  8f0b836

  Copy full SHA for 8f0b836

• Delete temp, add to gitignore

  d0cd

  committed
  1623a77

  Copy full SHA for 1623a77

• Simplify default test definition, add dev dependencies to retriever

  d0cd

  committed
  3152050

  Copy full SHA for 3152050

Commits on Dec 20, 2024

• Merge branch 'mainnet' into feat/compile-tests

  d0cd

  committed
  2cf9934

  Copy full SHA for 2cf9934

Commits on Jan 6, 2025

• Support annotation bodies

  d0cd

  committed
  c80f748

  Copy full SHA for c80f748

• Improve validation for test annotations

  d0cd

  committed
  a43458e

  Copy full SHA for a43458e

Commits on Jan 10, 2025

• Merge branch 'mainnet' into feat/compile-tests

  d0cd

  committed
  e232f0c

  Copy full SHA for e232f0c

• Introduce test manifest generation pass, improve test build

  d0cd

  committed
  f1e37d3

  Copy full SHA for f1e37d3

Commits on Jan 19, 2025

• WIP test driver

  d0cd

  committed
  42dc09a

  Copy full SHA for 42dc09a

Commits on Jan 20, 2025

• Capture test results

  d0cd

  committed
  93c06e7

  Copy full SHA for 93c06e7

• Remove process and use VM to drive test execution

  d0cd

  committed
  848f27f

  Copy full SHA for 848f27f

Commits on Jan 26, 2025

• Baseline framework is working

  d0cd

  committed
  b2234ba

  Copy full SHA for b2234ba