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
/
decl.zc
Commit message (
Expand
)
Author
Age
Files
Lines
*
bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...
zinc
13 days
1
-1
/
+2
*
prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13)
zinc
13 days
1
-2
/
+11
*
globals: an integer constant initializing a float or f32 global converts to f...
zinc
13 days
1
-1
/
+2
*
Merge branch 'main' into work/spec
zinc
13 days
1
-13
/
+21
|
\
|
*
merge bounds checking
zinc
13 days
1
-13
/
+21
|
|
\
|
|
*
bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...
zinc
13 days
1
-13
/
+21
*
|
|
globals: a float or f32 global takes a float literal initializer (appendix b....
zinc
13 days
1
-0
/
+3
*
|
|
fndef: a prototype after a definition in the same module keeps the definition...
zinc
13 days
1
-4
/
+5
*
|
|
fndef: a second definition of a function in the same module is 'is defined tw...
zinc
13 days
1
-0
/
+4
|
/
/
*
|
merge: seven self-hosted compiler fixes from conformance
zinc
13 days
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
fndef: allow 24 parameters; the limit check ran after the 24th was counted
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
-3
/
+10
|
/
*
zc: add the defer statement
zinc
13 days
1
-2
/
+6
*
split compiler.zc into files by phase
zinc
13 days
1
-0
/
+1413