Code

Support native stdlib#201

Code

Merged

katat merged 37 commits intomainzksecurity/noname:mainfrom feat/init-stdlibzksecurity/noname:feat/init-stdlibCopy head branch name to clipboardOct 28, 2024

+1,743-274

Commits

Commits on Oct 9, 2024

• fix: avoid re-instantiate functions/methods

  katat

  committed
  fbfa222

• fix: monomorphized expr shouldn't override existing nodes

  katat

  committed
  4eaed5b

• fmt

  katat

  committed
  10432c3

• support unsafe/hint attributes

  katat

  committed
  0221102

• fmt

  katat

  committed
  5353d42

Commits on Oct 10, 2024

• fix: always check the resolved qualified name

  katat

  committed
  253f4b5

Commits on Oct 11, 2024

• incorporate native stdlib for testing

  katat

  committed
  64f1758

• add int module

  katat

  committed
  be66e55

• add comparator stdlib

  katat

  committed
  6f26d5b

• native bits stdlib

  katat

  committed
  b283046

• move init_stdlib_dep to stdlib

  katat

  committed
  00d230b

• add bits stdlib

  katat

  committed
  1d2cba7

• remove bits builtin

  katat

  committed
  9b94dfb

• download stdlib

  katat

  committed
  64c2352

• add comparator methods for uint8

  katat

  committed
  3c0b022

• fmt

  katat

  committed
  f54a53c

• remove unused import

  katat

  committed
  5c8918e

Commits on Oct 22, 2024

• Fix: Allow struct fields to propagate constants (#204)

  Show description for 18825a3
  katat

  authored
  18825a3

Commits on Oct 23, 2024

• add uint16/32/64

  katat

  committed
  ca35175

• update tests

  katat

  committed
  55f441a

Commits on Oct 24, 2024

• fix: remove bit_len from uints

  katat

  committed
  2b47a8d

• simplify to_bits

  katat

  committed
  8ef0993

• add const var STDLIB_DIRECTORY

  katat

  committed
  1f8826a

• move native stdlib to their own folder

  katat

  committed
  8834fff

• fmt

  katat

  committed
  a822a1b

• Add u16/32/64 (#206)

  Show description for 3f91646
  katat

  authored
  3f91646

• remove deadcode

  katat

  committed
  c2c78c9

• point to zksecurity repo

  katat

  committed
  328ffbf

• Merge remote-tracking branch 'origin/main' into feat/init-stdlib

  katat

  committed
  7befb6b

Commits on Oct 25, 2024

• remove deadcode

  katat

  committed
  42a520a

• doc bits

  katat

  committed
  be8127d

• use main branch as the release branch for downloading

  katat

  committed
  665ef2e

• clean up

  katat

  committed
  ab75d85

• ci: init stdlib from the latest code in pr

  katat

  committed
  34cf5c4

• add docs to stdlib

  katat

  committed
  4cfb0c5

Commits on Oct 28, 2024

• Support multiplexer (#207)

  Show description for eb1def1
  katat

  authored
  eb1def1

• Add MIMC stdlib (#208)

  Show description for 83e3491
  katat

  authored
  83e3491