index
:
moon/zygotec
main
work/b213
work/bench
work/defer
work/prover
work/uninit-locals
work-in-progress programming language.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
conformance
/
6-ownership
Commit message (
Expand
)
Author
Age
Files
Lines
*
duplicate case labels are an error (b.2.15); unterminated string literal repo...
zinc
12 days
2
-2
/
+26
*
prescan: guess an owned return only from a local declared from new/heap, not ...
zinc
12 days
1
-0
/
+7
*
tests: alias_scope expects the block-end message; plain_return now covers a f...
zinc
12 days
1
-0
/
+8
*
analyzer: a .u (declared or inferred) function can't return a borrowed parame...
zinc
12 days
4
-0
/
+36
*
analyzer: a back link (container's owner stored into it) stays a plain refere...
zinc
12 days
9
-0
/
+68
*
analyzer: infer .u from returns of fresh objects in the body (prescan guess, ...
zinc
12 days
2
-0
/
+28
*
analyzer: an outer owner moved into a deeper container can take it back (loop...
zinc
12 days
6
-0
/
+94
*
rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a d...
zinc
12 days
2
-0
/
+30
*
destructors: nothing moves out of a value with a drop: pop on an array with a...
zinc
12 days
4
-0
/
+48
*
destructors: reassigning an m owner that still holds a value frees the old va...
zinc
12 days
3
-2
/
+32
*
destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method...
zinc
13 days
13
-0
/
+178
*
conformance: port the previous agent's suite, fix six expectations, add secti...
zinc
13 days
31
-0
/
+204