aboutsummaryrefslogtreecommitdiff
path: root/tests/xref.baseline
Commit message (Expand)AuthorAgeFilesLines
* xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and x...Gravatar zinc 12 days1-0/+3
* o3: break and continue out of an o3 { } block call rt.o3_leave for each block...Gravatar zinc 13 days1-0/+2
* destructors: nothing moves out of a value with a drop: pop on an array with a...Gravatar zinc 13 days1-0/+1
* destructors: reassigning an m owner that still holds a value frees the old va...Gravatar zinc 13 days1-10/+11
* compiler: a //:lines marker starts a new file, so unbounded; and unchecked; o...Gravatar zinc 13 days1-2/+2
* xref: baseline re-saved; the drop helpers (drop_attach, drop_member, drop_cal...Gravatar zinc 13 days1-20/+76
* xref: checked-in baseline, --check self-test hooked into the lsp section, todoGravatar zinc 13 days1-0/+658