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
*
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