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
/
programs
Mode
Name
Size
-rw-r--r--
alias.zc
528
log
plain
blame
-rw-r--r--
allocfast.zc
1113
log
plain
blame
-rw-r--r--
annotate.expected
1277
log
plain
blame
-rw-r--r--
annotate.zc
1219
log
plain
blame
-rw-r--r--
arena.zc
387
log
plain
blame
-rw-r--r--
args.zc
644
log
plain
blame
-rw-r--r--
arrays.zc
870
log
plain
blame
-rw-r--r--
backtick.zc
409
log
plain
blame
-rw-r--r--
bareexit.zc
139
log
plain
blame
-rw-r--r--
bareio.zc
812
log
plain
blame
-rw-r--r--
basics.zc
1012
log
plain
blame
-rw-r--r--
bench.zc
1818
log
plain
blame
-rw-r--r--
bench_bytes.zc
415
log
plain
blame
-rw-r--r--
bench_share.zc
694
log
plain
blame
-rw-r--r--
bench_strings.zc
542
log
plain
blame
-rw-r--r--
bitops.expected
88
log
plain
blame
-rw-r--r--
bitops.zc
802
log
plain
blame
-rw-r--r--
borrowmove.zc
161
log
plain
blame
-rw-r--r--
bounds.zc
805
log
plain
blame
-rw-r--r--
bounds_hi.zc
206
log
plain
blame
-rw-r--r--
bounds_lo.zc
221
log
plain
blame
-rw-r--r--
bstr_io.zc
548
log
plain
blame
-rw-r--r--
buddy.zc
568
log
plain
blame
-rw-r--r--
bytes.zc
980
log
plain
blame
-rw-r--r--
cabi.expected
110
log
plain
blame
-rw-r--r--
cabi.zc
1662
log
plain
blame
-rw-r--r--
cabi_o3.expected
40
log
plain
blame
-rw-r--r--
cabi_o3.zc
910
log
plain
blame
-rw-r--r--
cabi_sized.expected
42
log
plain
blame
-rw-r--r--
cabi_sized.zc
781
log
plain
blame
-rw-r--r--
capture.zc
1026
log
plain
blame
-rw-r--r--
closure.zc
1315
log
plain
blame
-rw-r--r--
csyn.zc
363
log
plain
blame
-rw-r--r--
decl_undefined.zc
47
log
plain
blame
-rw-r--r--
discard_m.zc
203
log
plain
blame
-rw-r--r--
doublefree.zc
101
log
plain
blame
-rw-r--r--
enhance.zc
1091
log
plain
blame
-rw-r--r--
enumscope.zc
314
log
plain
blame
-rw-r--r--
enumtype.zc
369
log
plain
blame
-rw-r--r--
f32.expected
91
log
plain
blame
-rw-r--r--
f32.zc
1079
log
plain
blame
-rw-r--r--
f32o3.zc
447
log
plain
blame
-rw-r--r--
fbench.zc
806
log
plain
blame
-rw-r--r--
float.zc
714
log
plain
blame
-rw-r--r--
fo3.zc
1114
log
plain
blame
-rw-r--r--
ftext.zc
1025
log
plain
blame
-rw-r--r--
ftruth.zc
541
log
plain
blame
-rw-r--r--
ftype.zc
845
log
plain
blame
-rw-r--r--
gc.zc
573
log
plain
blame
-rw-r--r--
generics.expected
32
log
plain
blame
-rw-r--r--
generics.zc
1702
log
plain
blame
-rw-r--r--
genmeth.expected
14
log
plain
blame
-rw-r--r--
genmeth.zc
870
log
plain
blame
-rw-r--r--
growheap.zc
885
log
plain
blame
-rw-r--r--
growone.zc
240
log
plain
blame
-rw-r--r--
infer_return.zc
203
log
plain
blame
-rw-r--r--
interior.zc
291
log
plain
blame
-rw-r--r--
joins.zc
1287
log
plain
blame
-rw-r--r--
manyerrors.zc
218
log
plain
blame
-rw-r--r--
memleak.zc
118
log
plain
blame
-rw-r--r--
memory_bounds.zc
406
log
plain
blame
-rw-r--r--
meta.zc
1237
log
plain
blame
-rw-r--r--
methodown.zc
405
log
plain
blame
-rw-r--r--
misc.zc
667
log
plain
blame
-rw-r--r--
names.zc
212
log
plain
blame
-rw-r--r--
o3.zc
2107
log
plain
blame
-rw-r--r--
o3_bounds.zc
157
log
plain
blame
-rw-r--r--
o3bytes.zc
998
log
plain
blame
-rw-r--r--
o3call.zc
756
log
plain
blame
-rw-r--r--
o3copy.zc
431
log
plain
blame
-rw-r--r--
o3deep.zc
206
log
plain
blame
-rw-r--r--
o3deep_over.zc
198
log
plain
blame
-rw-r--r--
o3direct.expected
52
log
plain
blame
-rw-r--r--
o3direct.zc
1668
log
plain
blame
-rw-r--r--
o3fat.zc
763
log
plain
blame
-rw-r--r--
o3licm.zc
1208
log
plain
blame
-rw-r--r--
o3push.expected
40
log
plain
blame
-rw-r--r--
o3push.zc
944
log
plain
blame
-rw-r--r--
o3scopes.zc
648
log
plain
blame
-rw-r--r--
o3zero.zc
145
log
plain
blame
-rw-r--r--
overflow_data.zc
83
log
plain
blame
-rw-r--r--
overflow_frame.zc
130
log
plain
blame
-rw-r--r--
overflow_return.zc
108
log
plain
blame
-rw-r--r--
packedfields.expected
115
log
plain
blame
-rw-r--r--
packedfields.zc
1781
log
plain
blame
-rw-r--r--
quarantine.zc
820
log
plain
blame
-rw-r--r--
rawpid.zc
206
log
plain
blame
-rw-r--r--
rawsys.zc
104
log
plain
blame
-rw-r--r--
recycle.zc
556
log
plain
blame
-rw-r--r--
roots.zc
349
log
plain
blame
-rw-r--r--
scrub.zc
113
log
plain
blame
-rw-r--r--
share.zc
958
log
plain
blame
-rw-r--r--
share_dbg.zc
245
log
plain
blame
-rw-r--r--
sized.expected
121
log
plain
blame
-rw-r--r--
sized.zc
2510
log
plain
blame
-rw-r--r--
sizedvec.expected
74
log
plain
blame
-rw-r--r--
sizedvec.zc
1112
log
plain
blame
-rw-r--r--
static.zc
252
log
plain
blame
-rw-r--r--
stdbuf.zc
441
log
plain
blame
-rw-r--r--
stdmore.zc
1095
log
plain
blame
-rw-r--r--
strings.zc
932
log
plain
blame
-rw-r--r--
structret.zc
1034
log
plain
blame
-rw-r--r--
structval.zc
1090
log
plain
blame
-rw-r--r--
sys.zc
279
log
plain
blame
-rw-r--r--
tagenum.zc
637
log
plain
blame
-rw-r--r--
tagenum_two.zc
473
log
plain
blame
-rw-r--r--
tagenum_warn.zc
336
log
plain
blame
-rw-r--r--
typedmethods.zc
361
log
plain
blame
-rw-r--r--
typeoff.zc
145
log
plain
blame
-rw-r--r--
typeok.zc
665
log
plain
blame
-rw-r--r--
types.zc
1757
log
plain
blame
-rw-r--r--
uaf.zc
90
log
plain
blame
-rw-r--r--
uaf_in.zc
104
log
plain
blame
-rw-r--r--
umd.zc
1239
log
plain
blame
-rw-r--r--
undefined_call.zc
32
log
plain
blame
-rw-r--r--
use_std.zc
195
log
plain
blame
-rw-r--r--
wide.zc
263
log
plain
blame
-rw-r--r--
zc0plain.zc
656
log
plain
blame
-rw-r--r--
zc0typed.zc
727
log
plain
blame