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
/
docs
/
SPEC.md
Commit message (
Expand
)
Author
Age
Files
Lines
*
as: the type after as is read greedily in both compilers; x as int * y is a s...
zinc
13 days
1
-2
/
+2
*
lexer: a block comment that is never closed is 'unterminated comment' (append...
zinc
13 days
1
-2
/
+2
*
bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6)
zinc
13 days
1
-2
/
+2
*
enum: a member is defined as soon as it is declared, so later values can name...
zinc
13 days
1
-2
/
+2
*
globals: an integer constant initializing a float or f32 global converts to f...
zinc
13 days
1
-1
/
+1
*
zc0umd: no recast uses a visible u/m/d as its tag (spec 1.6.3); spec: the fix...
zinc
13 days
1
-16
/
+23
*
bounds checking: constant loop bound proof works, plain-op fixed-array check,...
zinc
13 days
1
-5
/
+12
*
line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...
zinc
13 days
1
-5
/
+14
*
Merge the defer statement; todo: tick it, add its follow-ups
zinc
13 days
1
-0
/
+19
|
\
|
*
zc: add the defer statement
zinc
13 days
1
-0
/
+19
*
|
fix std hover, full capture terminator, bare static calls, void main in run-o...
zinc
13 days
1
-2
/
+2
|
/
*
docs: add SPEC.md, the first written specification of zc
zinc
13 days
1
-0
/
+1093