.gitignore
439B
stack.yaml
145B
README.md
2KB
.gitmodules
117B
CHANGELOG.md
26KB
azure-pipelines.yml
2KB
Setup.hs
139B
appveyor.yml
777B
badentry6.fut
144B
issue356.fut
9KB
rand0.fut
1KB
issue706.fut
112B
localfunction4.fut
339B
stencil-1.fut
811B
localfunction1.fut
199B
renameTest.fut
219B
redundant-merge-variable.fut
280B
index9.fut
191B
.gitignore
37B
branch_array.fut
366B
seqloop_2d.fut
475B
tiling_2d_indirect.fut
318B
notile_loopvariant.fut
265B
tiling_1d_complex.fut
875B
tiling_2d.fut
181B
tiling2.fut
181B
tiling_1d.fut
191B
seqloop_1d.fut
352B
tiling_2d_inner.fut
306B
issue767.fut
120B
has_abs.fut
164B
use_abs.fut
312B
has_abs.fut
25B
include_many_includee0.fut
122B
index2.fut
225B
issue413.fut
107B
assert1.fut
164B
blackscholes.fut
22KB
slice1.fut
451B
curry1.fut
483B
inplace3.fut
230B
streamRed_interchange.fut
8KB
multinv16.fut
648B
README.md
672B
issue750.fut
683B
arraylit2.fut
214B
rotate5.fut
292B
issue782.fut
457B
issue397.fut
283B
records7.fut
266B
operators.fut
203B
rotate2.fut
124B
issue460.fut
212B
map18.fut
169B
reduce4.fut
272B
mapreduce.fut
333B
scan0.fut
328B
stream0.fut
487B
map6.fut
614B
segreduce-iota.fut
371B
map14.fut
234B
filter3.fut
420B
filter2.fut
255B
map4.fut
493B
map15.fut
252B
stream1.fut
515B
reduce1.fut
117B
partition2.fut
504B
map1-error.fut
189B
scan4.fut
469B
reduce2.fut
167B
map1.fut
282B
scan3.fut
994B
stream3.fut
531B
map16.fut
227B
stream4.fut
277B
scan2.fut
609B
mapscan.fut
418B
filter4.fut
134B
map5.fut
509B
map9.fut
660B
filter-error0.fut
181B
map8.fut
282B
filter1.fut
182B
map17.fut
1KB
redomap1.fut
606B
map7.fut
312B
reduce5.fut
412B
partition1.fut
348B
reduce3.fut
339B
map2.fut
132B
map10.fut
150B
scan1.fut
144B
stream2.fut
499B
map11.fut
307B
reduce0.fut
330B
map3.fut
184B
redomap0.fut
495B
scan-with-map.fut
628B
sizes-are-positive0.fut
155B
array14-running-example.fut
458B
mapmatmultfun.fut
979B
issue246.fut
1KB
eqarrays1.fut
226B
localfunction3.fut
176B
rearrange0.fut
2KB
proj0.fut
210B
write1.fut
390B
write0.fut
606B
write5.fut
140B
mapscatter.fut
247B
write-error1.fut
262B
write-iota2.fut
323B
write-iota0.fut
313B
write-replicate0.fut
285B
write-iota1.fut
270B
write3.fut
329B
map-write-fusion-not-possible1.fut
577B
map-write-fusion0.fut
405B
concat-scatter-fusion0.fut
408B
write-write-fusion1.fut
706B
concat-scatter-fusion1.fut
394B
map-write-fusion1.fut
427B
write-write-fusion-not-possible0.fut
389B
write-fusion-mix1.fut
640B
write-fusion-mix0.fut
709B
concat-scatter-fusion2.fut
544B
write-write-fusion-not-possible1.fut
407B
map-write-fusion-not-possible0.fut
487B
write-write-fusion0.fut
575B
write-error0.fut
126B
write4.fut
372B
write2.fut
586B
unused-reduce.fut
240B
iota1.fut
265B
records9.fut
141B
issue680.fut
65B
hoist-unsafe2.fut
295B
replicate2.fut
1KB
badentry4.fut
123B
BabyBearImp.fut
1KB
records3.fut
143B
records5.fut
131B
inplace0.fut
298B
curry0.fut
225B
replicate1.fut
419B
transpose1.fut
356B
shortcircuit-or.fut
244B
issue567.fut
95B
record-update1.fut
165B
tupleindex.fut
217B
concat7.fut
297B
ipl-bug.fut
220B
negate.fut
242B
issue622.fut
194B
issue407.fut
389B
stencil-2.fut
1KB
issue354.fut
498B
record-update0.fut
165B
record-update3.fut
210B
issue605.fut
77B
issue304.fut
238B
records0.fut
144B
concat4.fut
464B
issue608.fut
119B
records-error3.fut
150B
assert0.fut
131B
issue544.fut
133B
issue525.fut
239B
mapconcat.fut
444B
issue572.fut
262B
issue506.fut
360B
record-update2.fut
214B
matmultimp.fut
577B
index0.fut
151B
localfunction10.fut
251B
issue549.fut
171B
badentry2.fut
111B
iobound-mc2.fut
1KB
hexfloats.fut
389B
issue473.fut
134B
rearrange2.fut
418B
issue573.fut
56B
uniqueness-error39.fut
186B
uniqueness-error12.fut
268B
uniqueness-error44.fut
184B
uniqueness4.fut
534B
uniqueness11.fut
293B
uniqueness-error11.fut
262B
uniqueness-error33.fut
105B
uniqueness3.fut
243B
uniqueness0.fut
196B
uniqueness7.fut
366B
uniqueness13.fut
207B
uniqueness-error38.fut
173B
uniqueness-error40.fut
209B
uniqueness8.fut
296B
uniqueness-error45.fut
196B
uniqueness-error30.fut
163B
uniqueness1.fut
301B
uniqueness-error10.fut
276B
uniqueness-error23.fut
287B
uniqueness-error3.fut
217B
uniqueness-error34.fut
118B
uniqueness-error2.fut
328B
uniqueness-error7.fut
208B
uniqueness-error18.fut
162B
uniqueness6.fut
201B
uniqueness-error29.fut
182B
uniqueness-error24.fut
238B
uniqueness-error21.fut
348B
uniqueness-error16.fut
234B
uniqueness14.fut
212B
uniqueness-error47.fut
180B
uniqueness-error4.fut
267B
uniqueness12.fut
282B
uniqueness-error13.fut
139B
uniqueness20.fut
286B
uniqueness9.fut
369B
uniqueness-scan0.fut
403B
uniqueness-error1.fut
251B
uniqueness-error20.fut
192B
uniqueness-error46.fut
206B
uniqueness-error43.fut
255B
uniqueness-error35.fut
126B
uniqueness-error28.fut
205B
uniqueness-error37.fut
159B
uniqueness2.fut
178B
uniqueness-error25.fut
245B
uniqueness18.fut
181B
uniqueness-error15.fut
216B
uniqueness-error5.fut
246B
uniqueness-error0.fut
142B
uniqueness21.fut
110B
uniqueness-error27.fut
179B
uniqueness-error9.fut
396B
uniqueness-error31.fut
147B
uniqueness-error17.fut
279B
uniqueness-error19.fut
255B
uniqueness-error42.fut
243B
uniqueness19.fut
228B
uniqueness10.fut
296B
uniqueness-error36.fut
231B
uniqueness-error22.fut
226B
uniqueness-error26.fut
312B
uniqueness-reduce0.fut
459B
uniqueness-error6.fut
177B
uniqueness-error41.fut
137B
uniqueness17.fut
563B
uniqueness-error14.fut
436B
uniqueness-error8.fut
203B
issue403.fut
147B
complement.fut
165B
replicate0.fut
575B
issue715.fut
288B
deadCodeElimTest2.fut
298B
american_option.fut
2KB
invariant-in-reduce.fut
416B
map-add-then-reduce.fut
590B
ex4.fut
286B
ex2.fut
858B
map-segsum-comm.fut
256B
segsum-comm.fut
226B
real-nocomm.fut
464B
segsum-nocomm.fut
431B
reduction-on-list.fut
282B
add-then-reduce.fut
357B
ex1-nocomm.fut
751B
ex1-comm.fut
564B
ex6.fut
340B
ex3.fut
476B
issue593.fut
182B
issue396.fut
223B
issue681.fut
142B
index5.fut
365B
rearrange1.fut
384B
issue436.fut
196B
issue604.fut
232B
explicit-prelude.fut
118B
reverse0.fut
175B
issue762.fut
520B
powneg.fut
105B
ascription3.fut
139B
hoist-consume.fut
422B
fibloop.fut
187B
gregorian.fut
2KB
guysteele_sequential.fut
820B
issue522.fut
56B
manylet.fut
317B
brown-bridge-simple.fut
817B
unsafe2.fut
184B
issue656.fut
630B
localfunction6.fut
77B
loop8.fut
236B
while-loop2.fut
376B
loop4.fut
344B
loop0.fut
174B
loop5.fut
216B
for-in4.fut
141B
for-in0.fut
125B
while-loop0.fut
169B
for-in3.fut
222B
loop2.fut
177B
loop6.fut
622B
loop7.fut
463B
loop9.fut
147B
loop3.fut
273B
for-in2.fut
209B
loop10.fut
521B
loop12.fut
420B
loop13.fut
291B
loop11.fut
308B
while-loop1.fut
285B
loop14.fut
181B
loop-error0.fut
400B
for-in1.fut
186B
loop1.fut
289B
issue560.fut
169B
rotate6.fut
654B
copyPropTest2.fut
757B
issue531.fut
240B
pow.fut
333B
random_test.fut
223B
issue367.fut
125B
issue426.fut
95B
normalizeTest1.fut
399B
opaque.fut
137B
issue596.fut
120B
records2.fut
127B
issue392.fut
585B
concat8.fut
184B
convert_id.fut
217B
transpose2.fut
172B
shortcircuit-and.fut
236B
ascription0.fut
186B
issue527.fut
125B
issue708.fut
446B
i64simplify.fut
250B
const0-error.fut
99B
const2.fut
136B
const0.fut
95B
const4.fut
184B
const3.fut
114B
const1.fut
164B
records8.fut
151B
floatunderscores.fut
127B
stencil_1d.fut
254B
scan0.fut
202B
replicate1.fut
222B
replicate1.fut.tuning
22B
replicate0.fut.tuning
22B
replicate0.fut
261B
reduce2.fut.tuning
22B
reduce0.fut.tuning
22B
stencil_2d.fut.tuning
22B
reduce1.fut
242B
scan0.fut.tuning
22B
stencil_2d.fut
2KB
reduce2.fut
212B
scan2.fut.tuning
22B
scan2.fut
213B
scan1.fut
245B
reduce0.fut
199B
scan1.fut.tuning
22B
stencil_1d.fut.tuning
22B
reduce1.fut.tuning
22B
prefix_prec.fut
108B
eqarrays0.fut
399B
ascription2.fut
235B
issue410.fut
2KB
issue352.fut
8KB
issue626.fut
225B
issue679.fut
63B
arraylit3.fut
184B
euler2.fut
724B
euler1.fut
393B
localfunction9.fut
199B
copyPropTest1.fut
1013B
issue485.fut
447B
rotate0.fut
234B
index11.fut
261B
issue763.fut
1KB
issue514.fut
74B
localfunction5.fut
267B
concat.fut
139B
issue627.fut
170B
issue512.fut
159B
fourier.fut
2KB
bad_names.fut
255B
arrayInTupleArray.fut
154B
proj3.fut
185B
issue393.fut
500B
iota0.fut
142B
LoopInv3.fut
731B
MatrixAddition.fut
317B
VectorAddition.fut
145B
flattening-test
176B
IntmRes2.fut
677B
LoopInv1.fut
462B
Map-Map-IotaMapReduce.fut
407B
IntmRes3.fut
828B
LoopInv2.fut
552B
flattening-pipeline
42B
IntmRes4.fut
868B
Map-IotaMapReduce.fut
271B
redomap1.fut
405B
SimpleReduce.fut
195B
redomap2.fut
217B
HighlyNestedMap.fut
877B
CosminArrayExample.fut
497B
LoopInvReshape.fut
565B
MapIotaReduce.fut
192B
IntmRes1.fut
467B
inlineTest1.fut
314B
allocs.fut
445B
matmultrepa.fut
1KB
iota3.fut
251B
issue712.fut
75B
u32_minmax.fut
291B
f64_binop.fut
1KB
u16_convop.fut
637B
naninf64.fut
229B
u64_convop.fut
703B
i32_cmpop.fut
381B
asin64.fut
248B
round64.fut
765B
acos32.fut
197B
README.md
529B
cos32.fut
240B
u32_unop.fut
817B
i64_convop.fut
698B
signed_get_set_bit.fut
2KB
u32_division.fut
287B
i32_binop.fut
1KB
bool_cmpop.fut
384B
u8_unop.fut
711B
float_convop.fut
859B
i64_unop.fut
740B
i32_bitop.fut
2KB
i16_minmax.fut
259B
gamma.fut
183B
f32_binop.fut
2KB
unsigned_get_set_bit.fut
2KB
lgamma.fut
219B
f32.fut
417B
i16_unop.fut
740B
acos64.fut
197B
i64_binop.fut
1KB
i8_division.fut
351B
i16_cmpop.fut
381B
bool_convop.fut
317B
i8_unop.fut
705B
naninf32.fut
420B
i8_convop.fut
600B
sin64.fut
243B
i64_minmax.fut
259B
u64_minmax.fut
331B
i32_minmax.fut
259B
u32_cmpop.fut
344B
u16_unop.fut
767B
u8_binop.fut
968B
tan32.fut
196B
i64_bitop.fut
2KB
log32.fut
338B
sin32.fut
261B
u64_binop.fut
1KB
i16_division.fut
382B
asin32.fut
267B
i8_cmpop.fut
368B
atan64.fut
199B
u16_division.fut
272B
u32_binop.fut
1KB
f32_minmax.fut
260B
u8_convop.fut
593B
i16_convop.fut
634B
i32_unop.fut
740B
u16_minmax.fut
271B
f64_minmax.fut
259B
i16_bitop.fut
2KB
i64_division.fut
382B
atan2_32.fut
414B
i32_convop.fut
671B
u8_minmax.fut
241B
tan64.fut
197B
atan2_64.fut
414B
cos64.fut
226B
u8_cmpop.fut
319B
u64_division.fut
319B
u64_cmpop.fut
364B
i32_division.fut
382B
i64_cmpop.fut
381B
u16_cmpop.fut
334B
u16_binop.fut
1KB
i8_bitop.fut
2KB
u8_division.fut
247B
u32_convop.fut
672B
atan32.fut
199B
u64_unop.fut
917B
i8_binop.fut
1014B
i8_minmax.fut
237B
f64.fut
441B
round32.fut
774B
log64.fut
338B
i16_binop.fut
1KB
doublebuffer.fut
178B
sumtype0.fut
214B
sumtype24.fut
220B
sumtype14.fut
434B
sumtype7.fut
462B
sumtype21.fut
183B
sumtype5.fut
259B
sumtype8.fut
157B
sumtype1.fut
374B
sumtype2.fut
222B
sumtype6.fut
279B
sumtype13.fut
525B
sumtype22.fut
140B
sumtype12.fut
402B
sumtype9.fut
197B
sumtype10.fut
175B
sumtype18.fut
369B
sumtype11.fut
151B
sumtype23.fut
157B
sumtype16.fut
183B
sumtype3.fut
227B
sumtype15.fut
304B
sumtype4.fut
155B
sumtype17.fut
207B
sumtype20.fut
304B
sumtype19.fut
383B
issue582.fut
354B
bounds-error0.fut
172B
tridag.fut
2KB
tuple_partial.fut
660B
or.fut
480B
array.fut
206B
fusion.fut
160B
horizontal-fusion.fut
322B
xor.fut
480B
f32.fut
887B
min.fut
655B
and.fut
488B
segmented.fut
359B
simple.fut
643B
equiv.fut
755B
tuple.fut
395B
large.fut
382B
segmented_arr.fut
358B
max.fut
651B
assert2.fut
99B
saxpy.fut
249B
implicit_method.fut
4KB
index3.fut
276B
index7.fut
231B
localfunction7.fut
178B
reg3d-test1.fut
983B
reg3d-test3.fut
1KB
reg3d-test2.fut
1KB
replicate3.fut
203B
array.fut
4KB
math.fut
3KB
issue526.fut
328B
issue248.fut
2KB
unsafe1.fut
152B
index10.fut
280B
index4.fut
234B
arraylit.fut
238B
issue437.fut
224B
redomapNew.fut
883B
issue774.fut
338B
include_basic.fut
198B
issue541.fut
81B
issue545.fut
190B
include_many_includee1.fut
44B
issue667.fut
363B
issue481.fut
161B
records-error0.fut
103B
returntype-error2.fut
95B
deadCodeElimTest1.fut
298B
proj-error1.fut
65B
include_basic_includee.fut
42B
returntype-error1.fut
220B
apply-or-index.fut
234B
issue743.fut
233B
issue649.fut
164B
underscoresInArray.fut
284B
issue194.fut
505B
issue390.fut
205B
functor13.fut
459B
polymorphic3.fut
445B
warn_type_shadow.fut
173B
sizeparams1.fut
308B
with-error3.fut
242B
ascription-error2.fut
241B
functor19.fut
319B
tst2.fut
240B
functor9.fut
268B
functor10.fut
328B
with2.fut
251B
open4.fut
331B
shadowing1.fut
490B
with3.fut
312B
module-spec0.fut
180B
polymorphic-error0.fut
179B
sig3.fut
252B
polymorphic5.fut
163B
sizeparams-error2.fut
104B
scope_behaviour.fut
454B
polymorphic6.fut
272B
functor15.fut
269B
functor14.fut
753B
duplicate_error0.fut
175B
hof0.fut
151B
with-error2.fut
180B
anonymous-signature.fut
178B
with0.fut
217B
calling_nested_module.fut
359B
module-spec3.fut
369B
functor0.fut
235B
hof6.fut
163B
functor3.fut
326B
sizeparams-error1.fut
271B
functor5.fut
225B
with1.fut
406B
polymorphic1.fut
248B
lambda0.fut
549B
ascription10.fut
428B
polymorphic7.fut
271B
functor6.fut
310B
functor18.fut
682B
import-qualified.fut
115B
tst1.fut
185B
with-error1.fut
178B
functor20.fut
532B
Vec3.fut
1KB
fun_call_test.fut
922B
ascription3.fut
207B
functor11.fut
567B
lambda1.fut
729B
ascription8.fut
560B
ascription-error1.fut
256B
shadowing3.fut
202B
hof8.fut
167B
sig-error1.fut
86B
module-spec2.fut
537B
ascription7.fut
138B
ascription-error3.fut
157B
lambda2.fut
713B
sizeparams0.fut
396B
functor22.fut
473B
ascription12.fut
208B
ascription0.fut
391B
duplicate_def1.fut
329B
ascription2.fut
258B
functor-error1.fut
194B
sig1.fut
129B
import-futlib.fut
56B
ascription9.fut
357B
shadowing2.fut
364B
local_open2.fut
265B
triangles.fut
282B
local_open0.fut
136B
shadowing0.fut
352B
functor1.fut
983B
polymorphic4.fut
405B
functor16.fut
546B
sizeparams2.fut
344B
functor17.fut
289B
sizeparams3.fut
356B
ascription-error0.fut
283B
functor7.fut
327B
with4.fut
192B
typeparams0.fut
529B
functor4.fut
352B
hof3.fut
171B
functor23.fut
476B
ascription4.fut
229B
simple_nested_test.fut
359B
map_with_structure0.fut
279B
ascription5.fut
381B
module-spec-error1.fut
214B
intrinsics-error.fut
193B
module-spec1.fut
384B
shadowing4.fut
139B
functor2.fut
307B
open1.fut
148B
int_mod.fut
255B
duplicate_def.fut
623B
functor-error0.fut
217B
hof2.fut
68B
module-spec-error0.fut
173B
typeparams-error1.fut
246B
functor12.fut
552B
polymorphic2.fut
509B
hof4.fut
165B
sizeparams-error0.fut
373B
with5.fut
128B
local_open1.fut
163B
struct-var.fut
177B
sizes0.fut
147B
with-error0.fut
262B
open0.fut
140B
hof1.fut
189B
polymorphic0.fut
284B
ascription11.fut
492B
typeparams-error0.fut
102B
typeparams-error2.fut
112B
ascription1.fut
532B
functor21.fut
329B
index_qual_array.fut
111B
importee-qualified.fut
29B
hof7.fut
355B
simple_number_module.fut
359B
hof5.fut
193B
tst3.fut
259B
map_with_structure1.fut
279B
tst4.fut
309B
local0.fut
162B
duplicate_def0.fut
313B
module-spec-error2.fut
273B
undefined_structure_err0.fut
187B
typeparams1.fut
342B
ascription6.fut
243B
duplicate_error1.fut
169B
functor8.fut
343B
proj4.fut
182B
issue728.fut
950B
curry2.fut
190B
reverse1.fut
149B
sobolChunked.fut
4KB
reshape1.fut
235B
in-place-distribute.fut
918B
map_tridag_par.fut
5KB
inplace1.fut
253B
shape_duplicate.fut
250B
shape_in_ascription.fut
210B
loopshape2.fut
246B
shape-inside-tuple.fut
124B
negative-position-shape4.fut
148B
negative-position-shape3.fut
296B
shape_in_tuple.fut
268B
negative-position-shape1.fut
219B
polymorphic1.fut
248B
curry-shapes.fut
461B
constant-shapes.fut
183B
use-shapes.fut
200B
lambda-return2.fut
364B
negative-position-shape0.fut
219B
entry-constants.fut
260B
implicit-shape-use2.fut
676B
lambda-return.fut
549B
implicit-shape-use.fut
2KB
irregular0.fut
105B
symbolic-constant.fut
230B
emptydim1.fut
297B
polymorphic2.fut
122B
known-shape.fut
540B
duplicate-shapes-error.fut
175B
negative-position-shape2.fut
318B
return0.fut
110B
emptydim0.fut
257B
nonint-shape-error.fut
188B
explicit-shapes-error1.fut
110B
letshape3.fut
229B
explicit-shapes0.fut
103B
shape-annot-is-param.fut
160B
reshape3.fut
175B
enum10.fut
127B
enum14.fut
137B
enum12.fut
553B
enum43.fut
251B
issue663.fut
115B
enum37.fut
148B
enum17.fut
292B
enum21.fut
328B
enum7.fut
158B
enum2.fut
179B
enum0.fut
239B
enum4.fut
276B
enum31.fut
206B
enum47.fut
146B
enum24.fut
341B
enum29.fut
336B
enum11.fut
257B
enum25.fut
397B
enum13.fut
224B
enum45.fut
323B
enum15.fut
197B
enum39.fut
232B
enum42.fut
127B
enum20.fut
250B
enum44.fut
232B
enum22.fut
247B
enum27.fut
472B
enum23.fut
389B
enum33.fut
131B
enum3.fut
384B
enum9.fut
287B
enum46.fut
170B
enum40.fut
260B
enum8.fut
82B
enum30.fut
2KB
enum41.fut
2KB
enum28.fut
590B
enum34.fut
218B
enum32.fut
255B
enum18.fut
112B
enum6.fut
210B
enum19.fut
73B
enum35.fut
122B
enum16.fut
442B
enum1.fut
202B
enum26.fut
386B
enum5.fut
179B
enum36.fut
126B
enum38.fut
123B
badentry3.fut
152B
three_way_partition.fut
1KB
slice2.fut
2KB
localfunction2.fut
258B
sizes-are-positive1.fut
138B
records-error2.fut
119B
no-manifest-1.fut
2KB
no-manifest-2.fut
352B
inference-error8.fut
134B
inference-error5.fut
116B
inference1.fut
168B
alias3.fut
102B
sizeparams1.fut
180B
inference-error9.fut
99B
README.md
72B
inference33.fut
245B
inference22.fut
142B
inference20.fut
132B
sizeparams-error2.fut
93B
sizeparams5.fut
173B
function6.fut
148B
inference-error0.fut
162B
function-error3.fut
92B
inference0.fut
118B
inference26.fut
82B
inference17.fut
120B
sizeparams-error1.fut
108B
inference7.fut
91B
inference-error1.fut
95B
inference21.fut
174B
function-error2.fut
161B
sizeparams6.fut
205B
alias-error3.fut
142B
alias5.fut
95B
inference31.fut
111B
inference-error14.fut
106B
alias-error5.fut
118B
alias4.fut
115B
inference-error7.fut
76B
inference6.fut
97B
inference24.fut
147B
alias-error0.fut
89B
inference16.fut
83B
sizeparams8.fut
169B
inference15.fut
112B
typeparams2.fut
109B
sizeparams0.fut
172B
inference29.fut
128B
alias0.fut
54B
inference12.fut
124B
inference-error3.fut
107B
overloaded1.fut
101B
function0.fut
118B
sizeparams2.fut
287B
inference-error10.fut
169B
inference5.fut
136B
sizeparams3.fut
411B
typeparams0.fut
138B
inference34.fut
183B
inference25.fut
81B
function-error0.fut
130B
alias-error4.fut
98B
inference4.fut
148B
inference8.fut
106B
overloaded0.fut
150B
inference-error11.fut
167B
inference18.fut
196B
inference11.fut
57B
sizeparams4.fut
182B
inference27.fut
151B
inference-error13.fut
126B
inference28.fut
191B
inference19.fut
77B
function5.fut
214B
inference-error2.fut
131B
typeparams-error1.fut
151B
inference2.fut
122B
sizeparams-error0.fut
100B
inference30.fut
125B
inference36.fut
127B
typeparams-error5.fut
128B
sizeparams7.fut
145B
inference10.fut
98B
function3.fut
239B
function2.fut
158B
function4.fut
195B
inference3.fut
125B
inference13.fut
89B
alias1.fut
71B
typeparams-error0.fut
123B
typeparams-error2.fut
93B
inference-error4.fut
153B
alias2.fut
142B
function1.fut
192B
inference14.fut
97B
inference-error12.fut
119B
inference35.fut
263B
alias-error2.fut
103B
typeparams1.fut
153B
inference23.fut
192B
inference9.fut
121B
inference32.fut
210B
badentry0.fut
80B
fuseFilter1.fut
212B
fusion4.fut
253B
scanomap-scanomap2.fut
380B
fuseEasy1.fut
254B
noFusion3.fut
229B
iswim3.fut
2KB
tabulate0.fut
268B
fuse-across-reshape2.fut
347B
fusion5.fut
2KB
noFusion4.fut
143B
consumption0.fut
377B
iswim2.fut
814B
red-red-fusion.fut
127B
map-scan1.fut
195B
fuse-across-transpose4.fut
402B
map-scan2.fut
246B
fuseEasy4.fut
282B
scanreduce0.fut
222B
fuseFilter2.fut
172B
scanomap-scanomap1.fut
321B
fuse-across-reshape1.fut
285B
fuse-across-reshape-transpose.fut
281B
fuse-across-transpose2.fut
427B
for-loop.fut
220B
consumption2.fut
446B
mapomap1.fut
491B
sobolChunk.fut
3KB
mapored0.fut
243B
rangeif0.fut
587B
bugCalib.fut
303B
histogram0.fut
594B
redoredomapomap0.fut
517B
maposcan0.fut
271B
mapomap0.fut
321B
maposcanomaposcan.fut
442B
mapored1.fut
431B
redomap1.fut
499B
hindrReshape0.fut
335B
rangeIndVar.fut
230B
redomap0.fut
332B
fusion2.fut
356B
consumption1.fut
346B
fuseComplex1.fut
1KB
fuse-across-transpose6.fut
3KB
scanreduce1.fut
344B
fuse-across-reshape3.fut
264B
map-scan3.fut
762B
fuse-across-transpose5.fut
439B
noFusion1.fut
229B
fuseEasy2.fut
320B
iswim1.fut
353B
noFusion2.fut
192B
fuse-across-transpose3.fut
274B
filter-filter1.fut
411B
fusion3.fut
539B
fuse-across-transpose1.fut
182B
tabulate1.fut
319B
fusion1.fut
356B
fuseEasy3.fut
538B
issue433.fut
89B
records-error4.fut
147B
proj2.fut
170B
range1.fut
632B
issue643.fut
85B
issue709.fut
265B
iota2.fut
1KB
alias3.fut
218B
uniqueness4.fut
212B
uniqueness3.fut
209B
higher-order-entry-point1.fut
124B
uniqueness0.fut
159B
array-fun0.fut
166B
function-argument2.fut
307B
uniqueness7.fut
170B
higher-order-entry-point3.fut
153B
value-type-function2.fut
274B
function-argument0.fut
333B
uniqueness8.fut
361B
uniqueness1.fut
147B
binop0.fut
343B
higher-order-entry-point0.fut
191B
function-result0.fut
274B
records0.fut
407B
higher-order1.fut
226B
uniqueness6.fut
269B
shape-params3.fut
271B
soac0.fut
330B
function-argument1.fut
358B
uniqueness5.fut
231B
shape-params4.fut
63B
value-type-function1.fut
240B
array-fun1.fut
155B
uniqueness9.fut
224B
alias0.fut
138B
conditional-function0.fut
203B
soac1.fut
319B
value-type-function5.fut
413B
array-lambda1.fut
183B
uniqueness2.fut
183B
value-type-function0.fut
424B
issue493.fut
317B
higher-order-entry-point2.fut
157B
match-function0.fut
213B
shape-params0.fut
482B
partial-application1.fut
200B
function-composition.fut
466B
loops0.fut
194B
shape-params1.fut
164B
array-fun2.fut
211B
nested-closures0.fut
395B
value-type-function3.fut
281B
value-type-function4.fut
311B
binop1.fut
247B
array-lambda0.fut
160B
alias1.fut
157B
alias2.fut
191B
localfunction0.fut
146B
partial-application0.fut
224B
binop2.fut
282B
higher-order0.fut
118B
records1.fut
297B
shape-params2.fut
491B
badentry5.fut
160B
hoist-unsafe.fut
177B
distribution9.fut
425B
irregular1.fut
1KB
loop4.fut
365B
loop0.fut
598B
inplace0.fut
371B
loop5.fut
480B
map-replicate.fut
317B
distribution4.fut
343B
distribution0.fut
762B
distribution6.fut
207B
segconcat2.fut
233B
segreduce0.fut
680B
distribution11.fut
413B
map-duplicate.fut
173B
branch0.fut
206B
loop2.fut
469B
loop6.fut
367B
distribution2.fut
2KB
segscan0.fut
628B
distribution3.fut
469B
distribution10.fut
652B
loop3.fut
292B
distribution5.fut
614B
irregular0.fut
321B
icfp16-example.fut
1KB
inplace1.fut
231B
segconcat1.fut
334B
distribution8.fut
1KB
scatter0.fut
240B
segconcat0.fut
319B
inplace2.fut
291B
redomap0.fut
314B
loop1.fut
1024B
distribution1.fut
1KB
BabyBearFun.fut
2KB
proj1.fut
151B
issue456.fut
659B
localfunction8.fut
239B
mapreplicate.fut
156B
records-error6.fut
132B
proj-error0.fut
86B
in-place-bug.fut
2KB
issue661.fut
89B
issue553.fut
294B
zip0.fut
218B
records4.fut
246B
concat1.fut
229B
entryval.fut
107B
issue558.fut
229B
issue243.fut
1KB
issue780.fut
76B
rotate1.fut
121B
issue419.fut
4KB
float_32_64.fut
254B
int.fut
356B
tupleTest.fut
291B
index8.fut
178B
include_many.fut
296B
mapiota.fut
158B
lu-factorisation.fut
874B
coalescing2.fut
1KB
coalescing1.fut
197B
coalescing3.fut
517B
unsafe0.fut
129B
issue624.fut
258B
records-error5.fut
149B
issue672.fut
93B
issue431.fut
172B
issue400.fut
193B
funcall-error1.fut
209B
ascription1.fut
105B
issue561.fut
721B
bitwise.fut
825B
issue589.fut
379B
record-update4.fut
251B
range2.fut
12KB
localfunction0.fut
162B
issue245.fut
858B
slice0.fut
435B
assert3.fut
165B
concat3.fut
173B
include_many_includee0_includee.fut
53B
tuple-pattern.fut
141B
underscore-use.fut
116B
duplicate-params.fut
120B
shadowed-function.fut
151B
duplicate-vars.fut
161B
badentry1.fut
88B
copyPropTest3.fut
500B
inplace2.fut
501B
random_test_bool.fut
189B
intunderscores.fut
134B
issue455.fut
201B
range0.fut
1KB
simplify_primexp.fut
270B
returntype-error3.fut
399B
cse0.fut
160B
arraylit1.fut
193B
issue408.fut
185B
stacktrace.fut
348B
issue483.fut
189B
section1.fut
163B
section0.fut
215B
userdef0.fut
154B
userdef-error1.fut
107B
userdef5.fut
270B
userdef6.fut
429B
section2.fut
200B
userdef4.fut
171B
userdef2.fut
217B
userdef-error0.fut
105B
userdef1.fut
214B
userdef3.fut
185B
index6.fut
193B
maprotate.fut
248B
bounds-error1.fut
297B
issue538.fut
216B
fibfun.fut
598B
issue682.fut
95B
concat2.fut
328B
records1.fut
149B
backtick.fut
97B
size-from-division.fut
257B
index1.fut
173B
futhark-repl.rst
963B
futhark-cuda.rst
1KB
futhark-csopencl.rst
2KB
futhark-dataset.rst
2KB
futhark-python.rst
2KB
futhark-c.rst
1KB
futhark-bench.rst
3KB
futhark-pkg.rst
5KB
futhark-opencl.rst
1KB
futhark.rst
2KB
futhark-csharp.rst
2KB
futhark-pyopencl.rst
2KB
futhark-run.rst
1KB
futhark-test.rst
7KB
futhark-doc.rst
2KB
.gitignore
28B
style.css
9KB
theme.conf
188B
conf.py
11KB
installation.rst
11KB
index.rst
2KB
binary-data-format.rst
3KB
language-reference.rst
43KB
usage.rst
16KB
requirements.txt
14B
versus-other-languages.rst
7KB
hacking.rst
4KB
package-management.rst
14KB
Makefile
7KB
c-porting-guide.rst
6KB
.gitignore
27B
README.md
458B
100doors.fut
770B
rms.fut
203B
README.md
596B
count_in_octal.fut
589B
fact_iterative.fut
163B
mandelbrot.fut
2KB
almostprime.fut
742B
reverse_a_string.fut
200B
pythagorean_means.fut
542B
agm.fut
317B
for.fut
355B
md5.fut
3KB
monte_carlo_methods.fut
2KB
arithmetic_means.fut
237B
integer_sequence.fut
276B
greatest_element_of_list.fut
52B
binarydigits.fut
507B
filter.fut
314B
eulermethod.fut
3KB
matrixmultiplication.fut
452B
fibonacci_iterative.fut
296B
amicablepairs.fut
842B
hailstone.fut
2KB
binarysearch.fut
616B
life.fut
2KB
even_or_odd.fut
237B
complex.fut
1KB
quickmedian.fut
1KB
perceptron.fut
3KB
linear_solve.fut
946B
mss.fut
429B
gauss_jordan.fut
1KB
lss.fut
1KB
quickselect.fut
812B
array.fut
5KB
prelude.fut
1KB
soacs.fut
8KB
math.fut
33KB
STYLE.md
1KB
zip.fut
2KB
functional.fut
2KB
README.md
259B
style.css
3KB
values.h
23KB
free_list.h
3KB
lock.h
1KB
panic.h
680B
timing.h
625B
tuning.h
1018B
opencl.h
31KB
STYLE.md
765B
cuda.h
15KB
scalar.cs
18KB
memory_opencl.cs
7KB
panic.cs
556B
opencl.cs
33KB
memory.cs
9KB
functions.cs
0B
reader.cs
19KB
exceptions.cs
199B
values.py
19KB
tuning.py
196B
scalar.py
7KB
memory.py
1KB
panic.py
174B
opencl.py
8KB
foo.fut
20B
.gitignore
16B
README.md
528B
futhark.pkg.9
202B
futhark.pkg.11
292B
futhark.pkg.17
384B
futhark.pkg.15
370B
futhark.pkg.6
200B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
futhark.pkg.16
370B
futhark.pkg.3
200B
futhark.pkg.18
384B
test.sh
2KB
futhark.pkg.1
125B
futhark.pkg.2
125B
futhark.pkg.13
292B
futhark.pkg.0
50B
quux.fut
94B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
futhark.pkg.8
125B
bar.fut
20B
baz.fut
171B
foo.fut
107B
bar.fut
20B
baz.fut
171B
foo.fut
107B
gitlab.fut
46B
quux.fut
94B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
baz.fut
96B
foo.fut
20B
quux.fut
94B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
futhark.pkg.4
200B
futhark.pkg.5
200B
futhark.pkg.7
125B
quux.fut
94B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
quux.fut
17B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
foo.fut
20B
bar.fut
20B
baz.fut
171B
foo.fut
20B
futhark.pkg.10
202B
quux.fut
94B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
futhark.pkg.14
292B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
bar.fut
20B
baz.fut
171B
foo.fut
20B
quux.fut
17B
bar.fut
20B
foo.fut
84B
baz.fut
171B
foo.fut
20B
baz.fut
96B
foo.fut
20B
futhark.pkg.12
292B
LICENSE
767B
stack-lts-12.11.yaml
151B
.travis-setup.sh
959B
CONTRIBUTING.md
1KB
CoreTests.hs
2KB
AttributesTests.hs
514B
SyntaxTests.hs
211B
ReshapeTests.hs
3KB
RearrangeTests.hs
2KB
PrimitiveTests.hs
2KB
IndexFunctionWrapper.hs
2KB
IndexFunctionTests.hs
14KB
Alg.hs
6KB
SolveTests.hs
4KB
AlgSimplifyTests.hs
3KB
ScalExpTests.hs
4KB
SyntaxTests.hs
1016B
CoreTests.hs
413B
futhark_tests.hs
952B
Pipeline.hs
5KB
Version.hs
1KB
Util.hs
10KB
Actions.hs
2KB
Generator.hs
29KB
Html.hs
1KB
Passes.hs
3KB
IntegralExp.hs
2KB
Log.hs
2KB
Options.hs
3KB
Pretty.hs
2KB
Table.hs
2KB
Internalise.hs
78KB
Test.hs
24KB
Bindings.hs
8KB
Defunctionalise.hs
37KB
Lambdas.hs
9KB
Monad.hs
6KB
Defunctorise.hs
12KB
AccurateSizes.hs
6KB
Monomorphise.hs
29KB
TypesValues.hs
6KB
CopyPropagate.hs
696B
Substitute.hs
7KB
FirstOrderTransform.hs
12KB
Rename.hs
12KB
MonadFreshNames.hs
6KB
Class.hs
4KB
Tools.hs
8KB
Error.hs
2KB
Binder.hs
7KB
Program.hs
7KB
CLI.hs
5KB
Construct.hs
18KB
Ranges.hs
7KB
SOAC.hs
31KB
Simplify.hs
32KB
Kernels.hs
2KB
SOACS.hs
2KB
Syntax.hs
12KB
Core.hs
12KB
Annotations.hs
2KB
Pretty.hs
10KB
Attributes.hs
8KB
Traversals.hs
9KB
TypeOf.hs
6KB
Ranges.hs
9KB
Constants.hs
2KB
Types.hs
19KB
Names.hs
7KB
Patterns.hs
4KB
Aliases.hs
5KB
Rearrange.hs
4KB
Reshape.hs
6KB
Scope.hs
8KB
RetType.hs
3KB
Primitive.hs
38KB
KernelExp.hs
27KB
Simplify.hs
15KB
Kernel.hs
40KB
Sizes.hs
2KB
AST.hs
664B
Aliases.hs
14KB
ExplicitMemory.hs
40KB
IndexFunction.hs
34KB
Simplify.hs
8KB
Solve.hs
4KB
Info.hs
14KB
Types.hs
10KB
TypeCheck.hs
40KB
FreshNames.hs
2KB
ExtractKernels.hs
27KB
ExplicitAllocations.hs
39KB
DistributeNests.hs
37KB
Distribution.hs
20KB
Intragroup.hs
11KB
Interchange.hs
7KB
ISRWIM.hs
6KB
BlockedKernel.hs
20KB
ResolveAssertions.hs
2KB
ExpandAllocations.hs
26KB
FirstOrderTransform.hs
461B
Simplify.hs
1007B
KernelBabysitting.hs
19KB
OpenCL.hs
2KB
Pkg.hs
14KB
Misc.hs
1KB
C.hs
2KB
Python.hs
1KB
REPL.hs
15KB
CUDA.hs
2KB
Dataset.hs
9KB
Test.hs
24KB
Doc.hs
4KB
Bench.hs
16KB
CSharp.hs
2KB
Dev.hs
17KB
Datacmp.hs
905B
Run.hs
5KB
PyOpenCL.hs
1KB
CSOpenCL.hs
2KB
Pass.hs
3KB
Compiler.hs
5KB
Fusion.hs
42KB
InPlaceLowering.hs
12KB
Lore.hs
9KB
Rules.hs
51KB
Engine.hs
34KB
ClosedForm.hs
7KB
Rule.hs
10KB
InliningDeadFun.hs
7KB
Unstream.hs
2KB
LoopKernel.hs
34KB
Composing.hs
10KB
TryFusion.hs
1013B
TileLoops.hs
38KB
DoubleBuffer.hs
11KB
SubstituteIndices.hs
6KB
LowerIntoStm.hs
11KB
CSE.hs
8KB
Simplify.hs
4KB
Values.hs
21KB
Boilerplate.hs
20KB
SequentialCSharp.hs
1KB
GenericC.hs
67KB
SequentialPython.hs
2KB
Boilerplate.hs
13KB
SequentialC.hs
5KB
Definitions.hs
562B
Options.hs
3KB
AST.hs
6KB
GenericPython.hs
37KB
Boilerplate.hs
3KB
GenericCSharp.hs
54KB
Definitions.hs
861B
Options.hs
2KB
AST.hs
12KB
CCUDA.hs
12KB
SimpleRepresentation.hs
14KB
COpenCL.hs
17KB
Options.hs
4KB
Boilerplate.hs
12KB
PyOpenCL.hs
15KB
CSOpenCL.hs
19KB
ImpCode.hs
17KB
ImpGen.hs
47KB
OpenCL.hs
513B
Kernels.hs
11KB
CUDA.hs
521B
SegGenRed.hs
29KB
SegRed.hs
29KB
Transpose.hs
12KB
ToOpenCL.hs
23KB
SegScan.hs
11KB
Base.hs
46KB
SegMap.hs
2KB
Sequential.hs
772B
OpenCL.hs
2KB
Kernels.hs
9KB
Sequential.hs
807B
Heuristics.hs
2KB
SetDefaultSpace.hs
4KB
ScalExp.hs
12KB
UsageTable.hs
4KB
Alias.hs
2KB
CallGraph.hs
2KB
SOAC.hs
27KB
MapNest.hs
6KB
PrimExp.hs
12KB
SymbolTable.hs
32KB
Usage.hs
1KB
Range.hs
7KB
DataDependencies.hs
3KB
Rephrase.hs
4KB
Simplify.hs
2KB
Convert.hs
5KB
AlgSimplify.hs
62KB
Metrics.hs
4KB
Warnings.hs
978B
Parser.hs
2KB
Semantic.hs
6KB
Syntax.hs
36KB
Pretty.hs
18KB
Futlib.hs
1KB
Interpreter.hs
45KB
TypeChecker.hs
40KB
Attributes.hs
40KB
Traversals.hs
13KB
Monad.hs
14KB
Types.hs
21KB
Unify.hs
17KB
Terms.hs
82KB
Parser.y
46KB
Lexer.x
14KB
Core.hs
4KB
Futhark.hs
2KB
futhark.hs
4KB
stack-lts-9.2.yaml
390B
CODE_OF_CONDUCT.md
3KB
remove-from-bench-json.py
869B
README.md
295B
generate-module-list.sh
529B
style-check.sh
2KB
benchmark-performance-plot.py
4KB
compare-compiler-versions.sh
580B
README.md
2KB
binary-deb.sh
1KB
binary-tarball.sh
1KB
control
649B
README.md
527B
config.mk
99B
Makefile
707B
futhark-autotune
16KB
README
252B
pre-commit
1KB
futcolor
715B
futhark.lang
6KB
cmp-bench-json.py
3KB
.travis.yml
3KB
package.yaml
3KB
STYLE.md
11KB
.travis_rsa.enc
3KB
stack-lts-11.22.yaml
201B
logo.svg
3KB
暂无评论