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 (
Collapse
)
Author
Age
Files
Lines
*
std.Io.print/println take any mix of printable arguments (compiler expands ↵
zinc
12 days
2
-0
/
+20
|
|
|
|
per type); docs, conformance
*
as: the type after as is read greedily in both compilers; x as int * y is a ↵
zinc
13 days
1
-0
/
+5
|
|
|
|
syntax error (appendix b.2.12 settled, no compiler change)
*
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 ↵
zinc
13 days
4
-4
/
+4
|
|
|
|
|
|
|
|
|
|
|
|
check, docs (readme, spec 4.15 and friends, server, vscode), conformance and test.sh fixes, todo
|
*
|
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 ↵
zinc
13 days
1
-0
/
+8
|
|
|
|
|
|
|
|
(appendix b.2.5)
*
|
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' ↵
zinc
13 days
4
-4
/
+4
|
/
|
|
|
trace line
*
agent/spec-conformance: unmerged work from previous session
zinc
13 days
167
-0
/
+2340