Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 11, 2024

• update mathlib and lean again

  javra

  committed
  b5e24d6

• update mathlib, lean

  javra

  committed
  ae559d3

• ci: remove lake update

  Show description for ba1ea5e
  RaitoBezarius

  authored
  ba1ea5e

• implement get_execution_info_v2_syscall and test

  javra

  committed
  df5a6f0

Commits on Jul 10, 2024

• add felt252 to types able to form constants

  javra

  committed
  17d89cc

• add placeholder to identifier parameters

  javra

  committed
  5957dc8

Commits on Jun 26, 2024

• implement const_as_box libfunc

  javra

  committed
  16cc192

• implement Const<..> types and const_as_immediate libfunc

  javra

  committed
  6934263

Commits on Jun 21, 2024

• fix typo in u128s_from_felt252

  javra

  committed
  6318bf0

Commits on Jun 20, 2024

• bump lean and mathlib versions, adapt to new reducibility

  javra

  committed
  a6d1f64

Commits on May 29, 2024

• fix Tests.Commands

  javra

  committed
  1d74771

Commits on Apr 9, 2024

• improve implementation of u128s_from_felt252 and add test

  javra

  committed
  b5f054b

• implement u128_sqrt, add u128 libfunc tests

  javra

  committed
  d284220

• implement u64_sqrt, add u64 libfunc tests

  javra

  committed
  bc26e8a

• implement u32_sqrt, add u32 libfunc tests

  javra

  committed
  0aba08e

• implement u16_sqrt, add u16 libfunc tests

  javra

  committed
  6ce1b6d

• add remaining u8 libfunc tests

  javra

  committed
  65a37fe

• add libfunc tests for U8, fix u8_sqrt implementation

  javra

  committed
  6d9f2ae

Commits on Mar 26, 2024

• implement u8_sqrt

  javra

  committed
  5dae527

• improve nullable implementation and add tests

  javra

  committed
  5df8be1

• fix storage address conversion and add tests

  javra

  committed
  f8bab5d

• add e2e tests for contract address

  javra

  committed
  84f70f1

Commits on Mar 22, 2024

• implement box_forward_snapsho and add tests

  javra

  committed
  9de3197

• add e2e tests for bool libfuncs

  javra

  committed
  1f79aa8

• implement missing bitwise libfuncs and test them

  javra

  committed
  530b0f9

• make trying to load non-existent sierra files fail more gracefully

  javra

  committed
  989781d

• add missing array libfunc tests

  javra

  committed
  488e533

• implement array_slice

  javra

  committed
  65c56ba

• implement array_snapshot_pop_back

  javra

  committed
  bc31385

• start adding individual libfunc tests

  javra

  committed
  fb4b29a

• implememnt array_pop_front_consume

  javra

  committed
  7ddb85f

• fix boxing issue of array_get

  javra

  committed
  f4c524a

Commits on Mar 21, 2024

• fix little bug in aegis_use_contract_call

  javra

  committed
  a75502b

• Merge pull request #18 from lindy-labs/e2e-funcs

  Show description for 16f50f6
  RaitoBezarius

  authored
  16f50f6

• test(e2e): add many e2e libfuncs sierra code

  Show description for 57611da
  RaitoBezarius

  committed
  57611da

Pagination

PreviousNext