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--
actor.zc
418
log
plain
blame
-rw-r--r--
alias.zc
605
log
plain
blame
-rw-r--r--
allocfast.zc
1179
log
plain
blame
-rw-r--r--
annotate.expected
1118
log
plain
blame
-rw-r--r--
annotate.zc
1065
log
plain
blame
-rw-r--r--
arena.zc
462
log
plain
blame
-rw-r--r--
args.zc
721
log
plain
blame
-rw-r--r--
array_values.expected
56
log
plain
blame
-rw-r--r--
array_values.zc
1711
log
plain
blame
-rw-r--r--
arrays.zc
1004
log
plain
blame
-rw-r--r--
backtick.zc
472
log
plain
blame
-rw-r--r--
bareexit.zc
172
log
plain
blame
-rw-r--r--
bareio.zc
905
log
plain
blame
-rw-r--r--
basics.zc
1147
log
plain
blame
-rw-r--r--
bench.zc
1867
log
plain
blame
-rw-r--r--
bench_bytes.zc
457
log
plain
blame
-rw-r--r--
bench_share.zc
766
log
plain
blame
-rw-r--r--
bench_strings.zc
599
log
plain
blame
-rw-r--r--
bitops.expected
88
log
plain
blame
-rw-r--r--
bitops.zc
916
log
plain
blame
-rw-r--r--
borrow_rules.expected
41
log
plain
blame
-rw-r--r--
borrow_rules.zc
1801
log
plain
blame
-rw-r--r--
borrowmove.zc
197
log
plain
blame
-rw-r--r--
bounds.zc
866
log
plain
blame
-rw-r--r--
bounds_hi.zc
238
log
plain
blame
-rw-r--r--
bounds_lo.zc
253
log
plain
blame
-rw-r--r--
bstr_io.zc
656
log
plain
blame
-rw-r--r--
buddy.zc
646
log
plain
blame
-rw-r--r--
bytes.zc
1124
log
plain
blame
-rw-r--r--
cabi.expected
110
log
plain
blame
-rw-r--r--
cabi.zc
1737
log
plain
blame
-rw-r--r--
cabi_o3.expected
40
log
plain
blame
-rw-r--r--
cabi_o3.zc
964
log
plain
blame
-rw-r--r--
cabi_sized.expected
42
log
plain
blame
-rw-r--r--
cabi_sized.zc
835
log
plain
blame
-rw-r--r--
capture.zc
1163
log
plain
blame
-rw-r--r--
closure.zc
1415
log
plain
blame
-rw-r--r--
closure_result.zc
326
log
plain
blame
-rw-r--r--
const_local.zc
296
log
plain
blame
-rw-r--r--
csyn.zc
417
log
plain
blame
-rw-r--r--
decl_undefined.zc
59
log
plain
blame
-rw-r--r--
discard_m.zc
236
log
plain
blame
-rw-r--r--
doublefree.zc
137
log
plain
blame
-rw-r--r--
embed.zc
1357
log
plain
blame
-rw-r--r--
embed_top.zc
793
log
plain
blame
-rw-r--r--
enhance.zc
1169
log
plain
blame
-rw-r--r--
enumscope.zc
362
log
plain
blame
-rw-r--r--
enumtype.zc
411
log
plain
blame
-rw-r--r--
f32.expected
91
log
plain
blame
-rw-r--r--
f32.zc
1193
log
plain
blame
-rw-r--r--
f32o3.zc
489
log
plain
blame
-rw-r--r--
fbench.zc
845
log
plain
blame
-rw-r--r--
float.zc
768
log
plain
blame
-rw-r--r--
fo3.zc
1162
log
plain
blame
-rw-r--r--
ftext.zc
1085
log
plain
blame
-rw-r--r--
ftruth.zc
646
log
plain
blame
-rw-r--r--
ftype.zc
887
log
plain
blame
-rw-r--r--
gc.zc
642
log
plain
blame
-rw-r--r--
generics.expected
32
log
plain
blame
-rw-r--r--
generics.zc
1923
log
plain
blame
-rw-r--r--
genmeth.expected
14
log
plain
blame
-rw-r--r--
genmeth.zc
936
log
plain
blame
-rw-r--r--
global_transfer.zc
330
log
plain
blame
-rw-r--r--
growheap.zc
957
log
plain
blame
-rw-r--r--
growone.zc
282
log
plain
blame
-rw-r--r--
infer_return.zc
236
log
plain
blame
-rw-r--r--
interior.zc
336
log
plain
blame
-rw-r--r--
joins.zc
1383
log
plain
blame
-rw-r--r--
manyerrors.zc
245
log
plain
blame
-rw-r--r--
memleak.zc
154
log
plain
blame
-rw-r--r--
memory_bounds.zc
460
log
plain
blame
-rw-r--r--
meta.zc
1449
log
plain
blame
-rw-r--r--
methodown.zc
453
log
plain
blame
-rw-r--r--
misc.zc
738
log
plain
blame
-rw-r--r--
names.zc
254
log
plain
blame
-rw-r--r--
o3.zc
2213
log
plain
blame
-rw-r--r--
o3_bounds.zc
190
log
plain
blame
-rw-r--r--
o3bytes.zc
1106
log
plain
blame
-rw-r--r--
o3call.zc
828
log
plain
blame
-rw-r--r--
o3copy.zc
467
log
plain
blame
-rw-r--r--
o3deep.zc
236
log
plain
blame
-rw-r--r--
o3deep_over.zc
228
log
plain
blame
-rw-r--r--
o3direct.expected
52
log
plain
blame
-rw-r--r--
o3direct.zc
1772
log
plain
blame
-rw-r--r--
o3fat.zc
860
log
plain
blame
-rw-r--r--
o3licm.zc
1271
log
plain
blame
-rw-r--r--
o3push.expected
40
log
plain
blame
-rw-r--r--
o3push.zc
1043
log
plain
blame
-rw-r--r--
o3scopes.zc
687
log
plain
blame
-rw-r--r--
o3zero.zc
178
log
plain
blame
-rw-r--r--
overflow_data.zc
113
log
plain
blame
-rw-r--r--
overflow_frame.zc
160
log
plain
blame
-rw-r--r--
overflow_return.zc
138
log
plain
blame
-rw-r--r--
ownmove.zc
884
log
plain
blame
-rw-r--r--
packedfields.expected
115
log
plain
blame
-rw-r--r--
packedfields.zc
1928
log
plain
blame
-rw-r--r--
precedence.zc
550
log
plain
blame
-rw-r--r--
quarantine.zc
883
log
plain
blame
-rw-r--r--
rawpid.zc
232
log
plain
blame
-rw-r--r--
rawsys.zc
130
log
plain
blame
-rw-r--r--
recycle.zc
625
log
plain
blame
-rw-r--r--
replace_owner.expected
9
log
plain
blame
-rw-r--r--
replace_owner.zc
709
log
plain
blame
-rw-r--r--
roots.zc
403
log
plain
blame
-rw-r--r--
scrub.zc
152
log
plain
blame
-rw-r--r--
share.zc
1813
log
plain
blame
-rw-r--r--
share_dbg.zc
293
log
plain
blame
-rw-r--r--
sized.expected
121
log
plain
blame
-rw-r--r--
sized.zc
2752
log
plain
blame
-rw-r--r--
sizedvec.expected
74
log
plain
blame
-rw-r--r--
sizedvec.zc
1229
log
plain
blame
-rw-r--r--
static.zc
294
log
plain
blame
-rw-r--r--
stdbuf.zc
527
log
plain
blame
-rw-r--r--
stdmore.zc
1859
log
plain
blame
-rw-r--r--
strings.zc
1118
log
plain
blame
-rw-r--r--
struct_const.zc
666
log
plain
blame
-rw-r--r--
structret.zc
1097
log
plain
blame
-rw-r--r--
structval.zc
1153
log
plain
blame
-rw-r--r--
sys.zc
327
log
plain
blame
-rw-r--r--
tagenum.zc
706
log
plain
blame
-rw-r--r--
tagenum_two.zc
521
log
plain
blame
-rw-r--r--
tagenum_warn.zc
369
log
plain
blame
-rw-r--r--
temporary_borrows.expected
48
log
plain
blame
-rw-r--r--
temporary_borrows.zc
1547
log
plain
blame
-rw-r--r--
typedmethods.zc
403
log
plain
blame
-rw-r--r--
typeoff.zc
175
log
plain
blame
-rw-r--r--
typeok.zc
701
log
plain
blame
-rw-r--r--
types.zc
1998
log
plain
blame
-rw-r--r--
uaf.zc
120
log
plain
blame
-rw-r--r--
uaf_in.zc
134
log
plain
blame
-rw-r--r--
umd.zc
1332
log
plain
blame
-rw-r--r--
undefined_call.zc
44
log
plain
blame
-rw-r--r--
use_std.zc
241
log
plain
blame
-rw-r--r--
wide.zc
317
log
plain
blame
-rw-r--r--
zc0plain.zc
668
log
plain
blame
-rw-r--r--
zc0typed.zc
741
log
plain
blame