aboutsummaryrefslogtreecommitdiff
path: root/examples/vec.fwd
AgeCommit message (Expand)Author
4 daysadd initial reference invalidationKimplul
2026-02-26fix vec exampleKimplul
2026-02-26add comment about hole in my assumptionsKimplul
2026-02-26example/vec fixesKimplul
2026-01-06improve move checker to detect pointer leaksgncKimplul
2026-01-06allow omitting ';' in trivial callsKimplul
2026-01-06work towards a simple integer vector implementationKimplul
2026-01-06implement enough type analysis for vector exampleKimplul