lindy-labs aegis issues

lindy-labs / aegis

Verify Cairo contracts in Lean 4

GNU General Public License v3.0

8 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

chore: remove lake update

#23 RaitoBezarius opened 3 months ago
0
chore: fix CI

#22 RaitoBezarius opened 4 months ago
0
Replace tree-based semantics by DAG based one

#21 javra opened 6 months ago
0
Make `aegis_use_contract_call` more useful

#20 javra opened 6 months ago
1
Add aegis_use_contract_call command

#19 javra closed 6 months ago
0
feat(libfuncs/e2e): auto-extract e2e sierra code from Cairo repo

#18 RaitoBezarius closed 5 months ago
2
tests: perform expected comparison over Aegis/Tests/Test.lean

#17 RaitoBezarius closed 6 months ago
0
Clean up `SierraType`

#16 javra opened 7 months ago
0
Add support for backward jumps

#15 javra opened 7 months ago
0
Add support for non-SSA Sierra

#14 javra opened 7 months ago
0
Add support for labels in Sierra files

#13 javra opened 7 months ago
0
Parse .sierra.json files

#12 javra opened 7 months ago
1
Add all Cairo e2e libfunc tests

#11 javra closed 5 months ago
1
Add useful metadata to the autogenerated specs

#10 javra opened 9 months ago
0
Set up proper testing infrastructure

#9 javra opened 9 months ago
3
Add support for self referential types

#8 javra closed 9 months ago
0
Port to Cairo v2

#7 javra closed 7 months ago
0
Support recurive types

#6 javra closed 7 months ago
0
Hard to trace bug possible mixing up free variables in the `aegis_proof` goal

#5 javra closed 9 months ago
0
license: relicense into GPL3

#4 RaitoBezarius closed 10 months ago
0
bump lean and mathlib versions

#3 javra closed 11 months ago
0
chore: rebrand

#2 javra closed 1 year ago
0
[WIP] "Rigid" semantics

#1 thejohncrafter closed 9 months ago
0