Code

Updated tool infrastructure#2

Code

Merged

chyanju merged 17 commits intomainVeridise/vanguard-aleo:mainfrom devVeridise/vanguard-aleo:devCopy head branch name to clipboardMar 2, 2024

+36,117-1,508

Commits

Commits on Feb 14, 2024

• wip: abstract interpretation

  chyanju

  committed
  ba2de10

  Copy full SHA for ba2de10

Commits on Feb 28, 2024

• wip: brand new infra

  Show description for f333f01
  chyanju

  committed
  f333f01

  Copy full SHA for f333f01

• wip: refactoring divz detector

  chyanju

  committed
  14012e2

  Copy full SHA for 14012e2

• wip: updated divz and other small fixes

  chyanju

  committed
  72ff8b0

  Copy full SHA for 72ff8b0

• wip: update workflows

  chyanju

  committed
  1b4bc76

  Copy full SHA for 1b4bc76

• Update test4.ipynb

  chyanju

  committed
  825b9f5

  Copy full SHA for 825b9f5

• update workflow

  chyanju

  committed
  a39a03c

  Copy full SHA for a39a03c

• added parsing CI

  chyanju

  committed
  caeb37e

  Copy full SHA for caeb37e

• update gitignore to include precompiled leo tests

  chyanju

  committed
  22521ec

  Copy full SHA for 22521ec

• added test for detector divz

  chyanju

  committed
  27a0bc6

  Copy full SHA for 27a0bc6

• added CI for existing detectors

  chyanju

  committed
  4c87595

  Copy full SHA for 4c87595

• update CI and fixed infoleak detector

  chyanju

  committed
  884c938

  Copy full SHA for 884c938

• Update infoleak.py

  chyanju

  committed
  21bbf21

  Copy full SHA for 21bbf21

• update CI and testing suite

  chyanju

  committed
  db43e80

  Copy full SHA for db43e80

• update CI and testing suite

  chyanju

  committed
  004d622

  Copy full SHA for 004d622

Commits on Mar 2, 2024

• update parser/lexer with Antlrr

  chyanju

  committed
  417c436

  Copy full SHA for 417c436

• fixed CI, requirements and nits

  chyanju

  committed
  d2223ca

  Copy full SHA for d2223ca