lindy-labs/aegis

Issues

• Make `aegis_use_contract_call` more useful

  #20 opened 6 months ago by javra
  1

• Add all Cairo e2e libfunc tests

  #11 opened 6 months ago by javra
  1

• Replace tree-based semantics by DAG based one

  #21 opened 6 months ago by javra
  0

• Clean up `SierraType`

  #16 opened 8 months ago by javra
  0

• Add support for backward jumps

  #15 opened 8 months ago by javra
  0

• Support recurive types

  #6 opened 8 months ago by javra
  0

• Port to Cairo v2

  #7 opened 8 months ago by javra
  0

• Add support for non-SSA Sierra

  #14 opened 8 months ago by javra
  0

• Add support for labels in Sierra files

  #13 opened 8 months ago by javra
  0

• Parse .sierra.json files

  #12 opened 8 months ago by javra
  1

• Add useful metadata to the autogenerated specs

  #10 opened 10 months ago by javra
  0

• Set up proper testing infrastructure

  #9 opened 10 months ago by javra
  3

• Hard to trace bug possible mixing up free variables in the `aegis_proof` goal

  #5 opened 10 months ago by javra
  0