search

gradual-verification / gvc0

Gradually Verified C0
6 stars 5 forks source link

line numbers for static errors #48

Open JonathanAldrich opened 1 year ago

JonathanAldrich commented 1 year ago

to increase the usability of the system, we really need to provide line numbers for static error messages