search

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)
MIT License
12 stars 0 forks source link

Prove Bounds Checking on Fields and Arrays #402

Open andrew-johnson-4 opened 1 month ago

andrew-johnson-4 commented 1 month ago

Fields are easier than Arrays.