Code

[Draft] Network retriever module#3374

Code

Merged

d0cd merged 25 commits intofeat/stubsProvableHQ/leo:feat/stubsfrom feat/network-retrieverProvableHQ/leo:feat/network-retrieverCopy head branch name to clipboardDec 2, 2023

+1,902-113

Commits

Commits on Dec 1, 2023

• mess

  evan-schott

  committed
  1b9ac65

• Add retriever module

  evan-schott

  committed
  8b28c16

• Examples

  evan-schott

  committed
  551eb1e

• Retriever module

  evan-schott

  committed
  1aac5ef

• Change disassembler structure

  evan-schott

  committed
  26ff2b5

• Compiler::new() changes

  evan-schott

  committed
  da1419c

• Test CLI build command

  evan-schott

  committed
  c7d3cf9

• Integrate network retrieval to build system

  evan-schott

  committed
  650d47f

• Add new errors

  evan-schott

  committed
  c44949c

• Clippy fix

  evan-schott

  committed
  cd3ae36

• Default trait for stubs

  evan-schott

  committed
  3ff41db

• Print imports in post order

  evan-schott

  committed
  184c2f5

• Modify compiler struct

  evan-schott

  committed
  d5cbd8e

• Merge dependencies stated in program.json w/ dependencies stated in .leo file

  evan-schott

  committed
  bb960bf

• clippy

  evan-schott

  committed
  3695ac6

• post rebase patches

  evan-schott

  committed
  a55e5e4

• Working example in . Run test in and to see it in action

  evan-schott

  committed
  babac66

• Working example in utils/tmp/nested. Run test in cli.rs and retriever/src/lib.rs to see it in action

  evan-schott

  committed
  931698f

• add proper error checking

  evan-schott

  committed
  3564389

Commits on Dec 2, 2023

• versioning update

  evan-schott

  committed
  b7e6bca

• return stubs in post order from retrieval module

  evan-schott

  committed
  51dd617

• reorganization of errors

  evan-schott

  committed
  4b3b198

• remove leftover traces of previous import system

  evan-schott

  committed
  94b3290

• allow functions to have empty blocks

  evan-schott

  committed
  20a4278

• merge program.json and .leo dependencies in compiler.rs

  evan-schott

  committed
  db20544