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
/
src
/
compiler
/
builtins.zc
Commit message (
Expand
)
Author
Age
Files
Lines
*
analyzer: check borrow returns of forward-called functions at the unit's end;...
zinc
13 days
1
-1
/
+5
*
analyzer: use-after-end messages name the borrower, the owner and how the own...
zinc
13 days
1
-1
/
+1
*
actor: a declared actor without its own drop gets one that awaits owed replie...
zinc
13 days
1
-1
/
+3
*
destructors: hint: x: has drop and is live at spawn; the worker's copy drops ...
zinc
13 days
1
-0
/
+13
*
destructors: nothing moves out of a value with a drop: pop on an array with a...
zinc
13 days
1
-1
/
+8
*
destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method...
zinc
13 days
1
-0
/
+93
*
bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...
zinc
13 days
1
-0
/
+3
*
len: len on a char* is an error with typecheck off too (appendix b.2.14)
zinc
13 days
1
-1
/
+2
*
enum: a member is defined as soon as it is declared, so later values can name...
zinc
13 days
1
-2
/
+6
*
Merge branch 'main' into work/spec
zinc
13 days
1
-0
/
+1
|
\
|
*
merge bounds checking
zinc
13 days
1
-0
/
+1
|
|
\
|
|
*
bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...
zinc
13 days
1
-0
/
+1
*
|
|
include: written inside a function body is 'include is top level only' (appen...
zinc
13 days
1
-0
/
+1
|
/
/
*
|
merge: seven self-hosted compiler fixes from conformance
zinc
13 days
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
memdebug: accept 'memdebug scrub;' (the check compared against rt.scrub); the...
zinc
13 days
1
-1
/
+1
*
|
line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...
zinc
13 days
1
-1
/
+10
|
/
*
split compiler.zc into files by phase
zinc
13 days
1
-0
/
+1423