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
Commit message (
Expand
)
Author
Age
Files
Lines
*
merge bounds checking
zinc
13 days
4
-4
/
+4
|
\
|
*
bounds checking: constant loop bound proof works, plain-op fixed-array check,...
zinc
13 days
4
-4
/
+4
*
|
conformance: b.2.8 is documented behavior; keep the conformance run out of te...
zinc
13 days
2
-2
/
+3
*
|
switch: case member(): with no names matches a tagged member by tag even when...
zinc
13 days
2
-1
/
+15
*
|
memdebug: accept 'memdebug scrub;' (the check compared against rt.scrub); the...
zinc
13 days
2
-4
/
+2
*
|
return: a value returned from a void function is dropped and the function yie...
zinc
13 days
1
-1
/
+0
*
|
fndef: allow 24 parameters; the limit check ran after the 24th was counted
zinc
13 days
1
-2
/
+0
*
|
casts: a cast clears the byte-string flag unless the type is bstr, so (int*)s...
zinc
13 days
1
-1
/
+0
*
|
unary: u*x, m*x, d*x are not recasts when the tag names a visible local (spec...
zinc
13 days
1
-1
/
+0
*
|
capture_scan: restore panic after the dry scan, so a bad literal in a functio...
zinc
13 days
1
-8
/
+0
|
/
*
conformance: port the previous agent's suite, fix six expectations, add secti...
zinc
13 days
144
-15
/
+858
*
agent/spec-conformance: unmerged work from previous session
zinc
13 days
553
-0
/
+5294