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
/
3-expressions
Commit message (
Expand
)
Author
Age
Files
Lines
*
constant expressions: c precedence and / % ^ (b.1.3); local const usable in c...
zinc
12 days
13
-26
/
+42
*
std.Io.print/println take any mix of printable arguments (compiler expands pe...
zinc
12 days
2
-0
/
+20
*
as: the type after as is read greedily in both compilers; x as int * y is a s...
zinc
13 days
1
-0
/
+5
*
Merge branch 'main' into work/spec
zinc
13 days
1
-0
/
+15
|
\
|
*
Merge branch 'main' into work/xref
zinc
13 days
4
-4
/
+4
|
|
\
|
|
*
bounds checking: constant loop bound proof works, plain-op fixed-array check,...
zinc
13 days
4
-4
/
+4
|
*
|
zc0: x as T reads a whole type (x as int*, x as char**)
zinc
13 days
1
-0
/
+15
|
|
/
*
|
ternary: an int side and a float side convert the int on its own path only (a...
zinc
13 days
1
-0
/
+8
*
|
closures: allow 24 parameters, like functions (was 19)
zinc
13 days
1
-0
/
+6
*
|
conformance: runtime index errors now end with an 'at <stdin>:N in main' trac...
zinc
13 days
4
-4
/
+4
|
/
*
agent/spec-conformance: unmerged work from previous session
zinc
13 days
167
-0
/
+2340