otter - amd64
Documentation
./doc/copyright
./doc/README.Ivy
./doc/examples/index.html
./doc/examples/Run_all
./doc/examples/kalman/index.html
./doc/examples/kalman/ex_4.out.gz
./doc/examples/kalman/README
./doc/examples/kalman/i3.out.gz
./doc/examples/kalman/ex_3.out.gz
./doc/examples/kalman/i1.in
./doc/examples/kalman/ex_2.out.gz
./doc/examples/kalman/ex_3.in
./doc/examples/kalman/i3.in.gz
./doc/examples/kalman/ex_1.out.gz
./doc/examples/kalman/i1.out
./doc/examples/kalman/i2.in
./doc/examples/kalman/i4.in.gz
./doc/examples/kalman/ex_1.in
./doc/examples/kalman/ex_4.in
./doc/examples/kalman/ex_2.in
./doc/examples/kalman/i2.out
./doc/examples/kalman/i4.out.gz
./doc/examples/README
./doc/examples/ivy/index.html
./doc/examples/ivy/group-comm.out.gz
./doc/examples/ivy/comb-sk-w.out.gz
./doc/examples/ivy/README
./doc/examples/ivy/cd-cn19.out.gz
./doc/examples/ivy/p-and-not-p.in
./doc/examples/ivy/group-comm.in
./doc/examples/ivy/steam.in
./doc/examples/ivy/p-and-not-p.out
./doc/examples/ivy/steam.out.gz
./doc/examples/ivy/group-x2-refute.in
./doc/examples/ivy/lifsch.in
./doc/examples/ivy/lifsch.out.gz
./doc/examples/ivy/group-x2-refute.out.gz
./doc/examples/ivy/group-x2.in
./doc/examples/ivy/t1.in
./doc/examples/ivy/t1.out.gz
./doc/examples/ivy/comb-sk-w.in
./doc/examples/ivy/cd-cn19.in
./doc/examples/ivy/group-x2.out.gz
./doc/examples/misc/index.html
./doc/examples/misc/sax2.in
./doc/examples/misc/stage2.out.gz
./doc/examples/misc/str_bws.in.28752
./doc/examples/misc/andrews.in
./doc/examples/misc/cn.out.gz
./doc/examples/misc/mv.in
./doc/examples/misc/README
./doc/examples/misc/dem_alu.out
./doc/examples/misc/ec.out.gz
./doc/examples/misc/stage1.out.gz
./doc/examples/misc/sax1.in
./doc/examples/misc/mv.out.gz
./doc/examples/misc/str_bws.out.gz
./doc/examples/misc/cn.in
./doc/examples/misc/stage2.in
./doc/examples/misc/ec.in
./doc/examples/misc/andrews.in.28752
./doc/examples/misc/andrews.out.gz
./doc/examples/misc/dem_alu.in.28752
./doc/examples/misc/sax2.out.gz
./doc/examples/misc/dem_alu.in
./doc/examples/misc/sax1.out.gz
./doc/examples/misc/stage1.in
./doc/examples/misc/cn.in.28752
./doc/examples/misc/mv.in.28752
./doc/examples/misc/str_bws.in
./doc/examples/misc/kb_bench.in
./doc/examples/misc/kb_bench.out.gz
./doc/examples/Run_all.out.gz
./doc/examples/fringe/index.html
./doc/examples/fringe/mfl_13.out.gz
./doc/examples/fringe/gl8.out
./doc/examples/fringe/lexical3.out
./doc/examples/fringe/lexical1.in
./doc/examples/fringe/README
./doc/examples/fringe/lexical3.in
./doc/examples/fringe/bring.in
./doc/examples/fringe/ec_yql.in.28897
./doc/examples/fringe/gl4.in
./doc/examples/fringe/if.out.gz
./doc/examples/fringe/lexical2.in
./doc/examples/fringe/lexical1.out
./doc/examples/fringe/gl4.out.gz
./doc/examples/fringe/ec_yql.in
./doc/examples/fringe/lexical2.out
./doc/examples/fringe/olsax_hints.out.gz
./doc/examples/fringe/x3tricks.in.gz
./doc/examples/fringe/if.in
./doc/examples/fringe/ec_yql.out.gz
./doc/examples/fringe/mfl_13.in
./doc/examples/fringe/x3tricks.out.gz
./doc/examples/fringe/luka5h.in.gz
./doc/examples/fringe/bring.out.gz
./doc/examples/fringe/gl8.in
./doc/examples/fringe/rob_ocd.in
./doc/examples/fringe/olsax_hints.in.gz
./doc/examples/fringe/gl4.in.28897
./doc/examples/fringe/rob_ocd.out.gz
./doc/examples/fringe/luka5h.out.gz
./doc/examples/summary
./doc/examples/Makefile
./doc/examples/program/index.html
./doc/examples/program/jugs.in
./doc/examples/program/README
./doc/examples/program/mission.out.gz
./doc/examples/program/eval.in
./doc/examples/program/queens.out.gz
./doc/examples/program/two_inv.in
./doc/examples/program/mission.in
./doc/examples/program/queens.in
./doc/examples/program/eval.out
./doc/examples/program/two_inv.out
./doc/examples/program/jugs.out
./doc/examples/auto/index.html
./doc/examples/auto/mv25.out.gz
./doc/examples/auto/sam.out.gz
./doc/examples/auto/ring_x2.in
./doc/examples/auto/group.in
./doc/examples/auto/ec_yq.in
./doc/examples/auto/ec_yq.out.gz
./doc/examples/auto/group.out.gz
./doc/examples/auto/pigeon.out.gz
./doc/examples/auto/README
./doc/examples/auto/comm.out.gz
./doc/examples/auto/salt.in
./doc/examples/auto/wang1.in
./doc/examples/auto/salt.out.gz
./doc/examples/auto/w_sk.out.gz
./doc/examples/auto/robbins.out.gz
./doc/examples/auto/w_sk.in
./doc/examples/auto/steam.in
./doc/examples/auto/sam.in
./doc/examples/auto/z11.out.gz
./doc/examples/auto/steam.out.gz
./doc/examples/auto/z11.in
./doc/examples/auto/robbins.in
./doc/examples/auto/cn19.out.gz
./doc/examples/auto/comm.in
./doc/examples/auto/wang1.out.gz
./doc/examples/auto/lifsch.in
./doc/examples/auto/tba_gg.in
./doc/examples/auto/cn19.in
./doc/examples/auto/lifsch.out.gz
./doc/examples/auto/x2_quant.in
./doc/examples/auto/mv25.in
./doc/examples/auto/pigeon.in
./doc/examples/auto/x2_quant.out.gz
./doc/examples/auto/ring_x2.out.gz
./doc/examples/auto/tba_gg.out.gz
./doc/examples/Run_group
./doc/examples/Loop/Sheffer-mgi-without-mirrors.gz
./doc/examples/Loop/README
./doc/examples/Loop/otter-ploop
./doc/examples/Loop/head
./doc/examples/Loop/temp.gz
./doc/examples/wos/index.html
./doc/examples/wos/rigorous.out.gz
./doc/examples/wos/grp_exp3.out.gz
./doc/examples/wos/manyval.in
./doc/examples/wos/cursory.out.gz
./doc/examples/wos/README
./doc/examples/wos/rob_occ.in
./doc/examples/wos/manyval.out.gz
./doc/examples/wos/README.more
./doc/examples/wos/cursory.in.gz
./doc/examples/wos/twoval.out.gz
./doc/examples/wos/grp_exp3.in
./doc/examples/wos/grp_exp4.in.gz
./doc/examples/wos/grp_exp4.out.gz
./doc/examples/wos/twoval.in.gz
./doc/examples/wos/rob_occ.out.gz
./doc/examples/wos/rigorous.in.gz
./doc/examples/split/index.html
./doc/examples/split/zebra4.in
./doc/examples/split/GEO036-2.out.gz
./doc/examples/split/group2.out.gz
./doc/examples/split/temp1
./doc/examples/split/pigeon5.in
./doc/examples/split/GEO036-2.in
./doc/examples/split/README
./doc/examples/split/GEO010-2.in.gz
./doc/examples/split/zebra2.in
./doc/examples/split/noncomm-group.in.gz
./doc/examples/split/README.more
./doc/examples/split/wang3.in
./doc/examples/split/power.in
./doc/examples/split/GEO010-2.out.gz
./doc/examples/split/pair.in
./doc/examples/split/pair.out.gz
./doc/examples/split/wang3.out.gz
./doc/examples/split/pigeon5.out.gz
./doc/examples/split/zebra2.out.gz
./doc/examples/split/group2.in
./doc/examples/split/zebra4.out.gz
./doc/examples/split/noncomm-group.out.gz
./doc/examples/split/GRP025-1.in.gz
./doc/examples/split/power.out.gz
./doc/examples/split/GRP025-1.out.gz
./doc/README
./doc/otter33.ps.gz
./doc/changelog.Debian.gz
./doc/otter33.html
./doc/changelog.gz
Binaries
otter
compile units
main.c
Gimple
./main.c.004t.gimple
GKD
./main.o.gkd
OBJ
obj: ./main.o
clocks.c
Gimple
./clocks.c.004t.gimple
GKD
./clocks.o.gkd
OBJ
obj: ./clocks.o
clause.c
Gimple
./clause.c.004t.gimple
GKD
./clause.o.gkd
OBJ
obj: ./clause.o
resolve.c
Gimple
./resolve.c.004t.gimple
GKD
./resolve.o.gkd
OBJ
obj: ./resolve.o
index.c
Gimple
./index.c.004t.gimple
GKD
./index.o.gkd
OBJ
obj: ./index.o
formula.c
Gimple
./formula.c.004t.gimple
GKD
./formula.o.gkd
OBJ
obj: ./formula.o
process.c
Gimple
./process.c.004t.gimple
GKD
./process.o.gkd
OBJ
obj: ./process.o
misc.c
Gimple
./misc.c.004t.gimple
GKD
./misc.o.gkd
OBJ
obj: ./misc.o
lrpo.c
Gimple
./lrpo.c.004t.gimple
GKD
./lrpo.o.gkd
OBJ
obj: ./lrpo.o
linkur.c
Gimple
./linkur.c.004t.gimple
GKD
./linkur.o.gkd
OBJ
obj: ./linkur.o
linkhyp.c
Gimple
./linkhyp.c.004t.gimple
GKD
./linkhyp.o.gkd
OBJ
obj: ./linkhyp.o
foreign.c
Gimple
./foreign.c.004t.gimple
GKD
./foreign.o.gkd
OBJ
obj: ./foreign.o
geometry.c
Gimple
./geometry.c.004t.gimple
GKD
./geometry.o.gkd
OBJ
obj: ./geometry.o
hot.c
Gimple
./hot.c.004t.gimple
GKD
./hot.o.gkd
OBJ
obj: ./hot.o
nonport.c
Gimple
./nonport.c.004t.gimple
GKD
./nonport.o.gkd
OBJ
obj: ./nonport.o
check.c
Gimple
./check.c.004t.gimple
GKD
./check.o.gkd
OBJ
obj: ./check.o
hints.c
Gimple
./hints.c.004t.gimple
GKD
./hints.o.gkd
OBJ
obj: ./hints.o
hints2.c
Gimple
./hints2.c.004t.gimple
GKD
./hints2.o.gkd
OBJ
obj: ./hints2.o
attrib.c
Gimple
./attrib.c.004t.gimple
GKD
./attrib.o.gkd
OBJ
obj: ./attrib.o
case.c
Gimple
./case.c.004t.gimple
GKD
./case.o.gkd
OBJ
obj: ./case.o
ivy.c
Gimple
./ivy.c.004t.gimple
GKD
./ivy.o.gkd
OBJ
obj: ./ivy.o
pickdiff.c
Gimple
./pickdiff.c.004t.gimple
GKD
./pickdiff.o.gkd
OBJ
obj: ./pickdiff.o
overbeek.c
Gimple
./overbeek.c.004t.gimple
GKD
./overbeek.o.gkd
OBJ
obj: ./overbeek.o
multijust.c
Gimple
./multijust.c.004t.gimple
GKD
./multijust.o.gkd
OBJ
obj: ./multijust.o
lists.c
Gimple
./lists.c.004t.gimple
GKD
./lists.o.gkd
OBJ
obj: ./lists.o
av.c
Gimple
./av.c.004t.gimple
GKD
./av.o.gkd
OBJ
obj: ./av.o
io.c
Gimple
./io.c.004t.gimple
GKD
./io.o.gkd
OBJ
obj: ./io.o
share.c
Gimple
./share.c.004t.gimple
GKD
./share.o.gkd
OBJ
obj: ./share.o
fpa.c
Gimple
./fpa.c.004t.gimple
GKD
./fpa.o.gkd
OBJ
obj: ./fpa.o
unify.c
Gimple
./unify.c.004t.gimple
GKD
./unify.o.gkd
OBJ
obj: ./unify.o
demod.c
Gimple
./demod.c.004t.gimple
GKD
./demod.o.gkd
OBJ
obj: ./demod.o
weight.c
Gimple
./weight.c.004t.gimple
GKD
./weight.o.gkd
OBJ
obj: ./weight.o
imd.c
Gimple
./imd.c.004t.gimple
GKD
./imd.o.gkd
OBJ
obj: ./imd.o
is.c
Gimple
./is.c.004t.gimple
GKD
./is.o.gkd
OBJ
obj: ./is.o
options.c
Gimple
./options.c.004t.gimple
GKD
./options.o.gkd
OBJ
obj: ./options.o
paramod.c
Gimple
./paramod.c.004t.gimple
GKD
./paramod.o.gkd
OBJ
obj: ./paramod.o
lisp.c
Gimple
./lisp.c.004t.gimple
GKD
./lisp.o.gkd
OBJ
obj: ./lisp.o
fpa2.c
Gimple
./fpa2.c.004t.gimple
GKD
./fpa2.o.gkd
OBJ
obj: ./fpa2.o
includes
main.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./foreign.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
clocks.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/time.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./types.h
../headers//usr/include/stdio.h
./header.h
clause.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
resolve.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
index.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
formula.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
process.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
misc.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
lrpo.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
linkur.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
linkhyp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
foreign.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./foreign.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
geometry.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
./cos.h
hot.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
nonport.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./types.h
./header.h
../headers//usr/include/signal.h
../headers//usr/include/pwd.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
./proto.h
check.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./check.h
./proto.h
hints.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
hints2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
attrib.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./proto.h
case.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
ivy.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./lisp.h
./check.h
./proto.h
pickdiff.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
overbeek.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
multijust.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
lists.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
av.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
io.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
share.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
fpa.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./header.h
./proto.h
./cos.h
unify.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
demod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
weight.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
imd.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
./cos.h
is.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
options.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
paramod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
lisp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./lisp.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
fpa2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./proto.h
libraries
../libs/lib/x86_64-linux-gnu/libc.so.6
manual
../man/otter.1.gz
anldp
compile units
anldp.c
Gimple
./anldp.c.004t.gimple
GKD
./anldp.o.gkd
OBJ
obj: ./anldp.o
clock.c
Gimple
./clock.c.004t.gimple
GKD
./clock.o.gkd
OBJ
obj: ./clock.o
avail.c
Gimple
./avail.c.004t.gimple
GKD
./avail.o.gkd
OBJ
obj: ./avail.o
opts.c
Gimple
./opts.c.004t.gimple
GKD
./opts.o.gkd
OBJ
obj: ./opts.o
stats.c
Gimple
./stats.c.004t.gimple
GKD
./stats.o.gkd
OBJ
obj: ./stats.o
miscellany.c
Gimple
./miscellany.c.004t.gimple
GKD
./miscellany.o.gkd
OBJ
obj: ./miscellany.o
flatten.c
Gimple
./flatten.c.004t.gimple
GKD
./flatten.o.gkd
OBJ
obj: ./flatten.o
dp.c
Gimple
./dp.c.004t.gimple
GKD
./dp.o.gkd
OBJ
obj: ./dp.o
generate.c
Gimple
./generate.c.004t.gimple
GKD
./generate.o.gkd
OBJ
obj: ./generate.o
print.c
Gimple
./print.c.004t.gimple
GKD
./print.o.gkd
OBJ
obj: ./print.o
part.c
Gimple
./part.c.004t.gimple
GKD
./part.o.gkd
OBJ
obj: ./part.o
av.c
Gimple
./av.c.004t.gimple
GKD
./av.o.gkd
OBJ
obj: ./av.o
io.c
Gimple
./io.c.004t.gimple
GKD
./io.o.gkd
OBJ
obj: ./io.o
share.c
Gimple
./share.c.004t.gimple
GKD
./share.o.gkd
OBJ
obj: ./share.o
fpa.c
Gimple
./fpa.c.004t.gimple
GKD
./fpa.o.gkd
OBJ
obj: ./fpa.o
clocks.c
Gimple
./clocks.c.004t.gimple
GKD
./clocks.o.gkd
OBJ
obj: ./clocks.o
unify.c
Gimple
./unify.c.004t.gimple
GKD
./unify.o.gkd
OBJ
obj: ./unify.o
weight.c
Gimple
./weight.c.004t.gimple
GKD
./weight.o.gkd
OBJ
obj: ./weight.o
clause.c
Gimple
./clause.c.004t.gimple
GKD
./clause.o.gkd
OBJ
obj: ./clause.o
resolve.c
Gimple
./resolve.c.004t.gimple
GKD
./resolve.o.gkd
OBJ
obj: ./resolve.o
formula.c
Gimple
./formula.c.004t.gimple
GKD
./formula.o.gkd
OBJ
obj: ./formula.o
process.c
Gimple
./process.c.004t.gimple
GKD
./process.o.gkd
OBJ
obj: ./process.o
misc.c
Gimple
./misc.c.004t.gimple
GKD
./misc.o.gkd
OBJ
obj: ./misc.o
lrpo.c
Gimple
./lrpo.c.004t.gimple
GKD
./lrpo.o.gkd
OBJ
obj: ./lrpo.o
linkur.c
Gimple
./linkur.c.004t.gimple
GKD
./linkur.o.gkd
OBJ
obj: ./linkur.o
linkhyp.c
Gimple
./linkhyp.c.004t.gimple
GKD
./linkhyp.o.gkd
OBJ
obj: ./linkhyp.o
foreign.c
Gimple
./foreign.c.004t.gimple
GKD
./foreign.o.gkd
OBJ
obj: ./foreign.o
geometry.c
Gimple
./geometry.c.004t.gimple
GKD
./geometry.o.gkd
OBJ
obj: ./geometry.o
hot.c
Gimple
./hot.c.004t.gimple
GKD
./hot.o.gkd
OBJ
obj: ./hot.o
nonport.c
Gimple
./nonport.c.004t.gimple
GKD
./nonport.o.gkd
OBJ
obj: ./nonport.o
check.c
Gimple
./check.c.004t.gimple
GKD
./check.o.gkd
OBJ
obj: ./check.o
hints.c
Gimple
./hints.c.004t.gimple
GKD
./hints.o.gkd
OBJ
obj: ./hints.o
hints2.c
Gimple
./hints2.c.004t.gimple
GKD
./hints2.o.gkd
OBJ
obj: ./hints2.o
attrib.c
Gimple
./attrib.c.004t.gimple
GKD
./attrib.o.gkd
OBJ
obj: ./attrib.o
case.c
Gimple
./case.c.004t.gimple
GKD
./case.o.gkd
OBJ
obj: ./case.o
ivy.c
Gimple
./ivy.c.004t.gimple
GKD
./ivy.o.gkd
OBJ
obj: ./ivy.o
pickdiff.c
Gimple
./pickdiff.c.004t.gimple
GKD
./pickdiff.o.gkd
OBJ
obj: ./pickdiff.o
overbeek.c
Gimple
./overbeek.c.004t.gimple
GKD
./overbeek.o.gkd
OBJ
obj: ./overbeek.o
multijust.c
Gimple
./multijust.c.004t.gimple
GKD
./multijust.o.gkd
OBJ
obj: ./multijust.o
lists.c
Gimple
./lists.c.004t.gimple
GKD
./lists.o.gkd
OBJ
obj: ./lists.o
fpa2.c
Gimple
./fpa2.c.004t.gimple
GKD
./fpa2.o.gkd
OBJ
obj: ./fpa2.o
demod.c
Gimple
./demod.c.004t.gimple
GKD
./demod.o.gkd
OBJ
obj: ./demod.o
imd.c
Gimple
./imd.c.004t.gimple
GKD
./imd.o.gkd
OBJ
obj: ./imd.o
is.c
Gimple
./is.c.004t.gimple
GKD
./is.o.gkd
OBJ
obj: ./is.o
options.c
Gimple
./options.c.004t.gimple
GKD
./options.o.gkd
OBJ
obj: ./options.o
index.c
Gimple
./index.c.004t.gimple
GKD
./index.o.gkd
OBJ
obj: ./index.o
paramod.c
Gimple
./paramod.c.004t.gimple
GKD
./paramod.o.gkd
OBJ
obj: ./paramod.o
lisp.c
Gimple
./lisp.c.004t.gimple
GKD
./lisp.o.gkd
OBJ
obj: ./lisp.o
includes
anldp.c
../headers//usr/include/stdlib.h
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./Clock.h
../headers//usr/include/signal.h
../headers//usr/include/getopt.h
./Miscellany.h
./Opts.h
./Dp.h
clock.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./Clock.h
../headers//usr/include/stdio.h
avail.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Dp.h
./Stats.h
../headers//usr/include/stdlib.h
./Miscellany.h
opts.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./Opts.h
stats.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Clock.h
./Avail.h
../headers/../source/proto.h
miscellany.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Stats.h
../headers//usr/include/stdlib.h
../headers/../source/proto.h
flatten.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Stats.h
../headers/../source/proto.h
./Miscellany.h
../headers/../source/cos.h
dp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Dp.h
./Stats.h
./Avail.h
./Miscellany.h
./Generate.h
./Print.h
../headers/../source/proto.h
./Clock.h
../headers//usr/include/stdlib.h
generate.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
../headers/../source/cos.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Generate.h
./Stats.h
../headers/../source/proto.h
./Dp.h
./Miscellany.h
./Flatten.h
../headers//usr/include/stdlib.h
print.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Generate.h
./Stats.h
./Dp.h
../headers/../source/proto.h
part.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Stats.h
../headers/../source/proto.h
av.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
io.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
share.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
fpa.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./header.h
./proto.h
./cos.h
clocks.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/time.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./types.h
../headers//usr/include/stdio.h
./header.h
unify.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
weight.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
clause.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
resolve.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
formula.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
process.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
misc.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
lrpo.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
linkur.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
linkhyp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
foreign.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./foreign.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
geometry.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
./cos.h
hot.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
nonport.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./types.h
./header.h
../headers//usr/include/signal.h
../headers//usr/include/pwd.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
./proto.h
check.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./check.h
./proto.h
hints.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
hints2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
attrib.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./proto.h
case.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
ivy.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./lisp.h
./check.h
./proto.h
pickdiff.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
overbeek.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
multijust.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
lists.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
fpa2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./proto.h
demod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
imd.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
./cos.h
is.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
options.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
index.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
paramod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
lisp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./lisp.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
libraries
../libs/lib/x86_64-linux-gnu/libc.so.6
manual
formed
compile units
formed.c
Gimple
./formed.c.004t.gimple
GKD
./formed.o.gkd
OBJ
obj: ./formed.o
display.c
Gimple
./display.c.004t.gimple
GKD
./display.o.gkd
OBJ
obj: ./display.o
callback.c
Gimple
./callback.c.004t.gimple
GKD
./callback.o.gkd
OBJ
obj: ./callback.o
av.c
Gimple
./av.c.004t.gimple
GKD
./av.o.gkd
OBJ
obj: ./av.o
io.c
Gimple
./io.c.004t.gimple
GKD
./io.o.gkd
OBJ
obj: ./io.o
share.c
Gimple
./share.c.004t.gimple
GKD
./share.o.gkd
OBJ
obj: ./share.o
fpa.c
Gimple
./fpa.c.004t.gimple
GKD
./fpa.o.gkd
OBJ
obj: ./fpa.o
unify.c
Gimple
./unify.c.004t.gimple
GKD
./unify.o.gkd
OBJ
obj: ./unify.o
weight.c
Gimple
./weight.c.004t.gimple
GKD
./weight.o.gkd
OBJ
obj: ./weight.o
clause.c
Gimple
./clause.c.004t.gimple
GKD
./clause.o.gkd
OBJ
obj: ./clause.o
resolve.c
Gimple
./resolve.c.004t.gimple
GKD
./resolve.o.gkd
OBJ
obj: ./resolve.o
formula.c
Gimple
./formula.c.004t.gimple
GKD
./formula.o.gkd
OBJ
obj: ./formula.o
process.c
Gimple
./process.c.004t.gimple
GKD
./process.o.gkd
OBJ
obj: ./process.o
misc.c
Gimple
./misc.c.004t.gimple
GKD
./misc.o.gkd
OBJ
obj: ./misc.o
lrpo.c
Gimple
./lrpo.c.004t.gimple
GKD
./lrpo.o.gkd
OBJ
obj: ./lrpo.o
linkur.c
Gimple
./linkur.c.004t.gimple
GKD
./linkur.o.gkd
OBJ
obj: ./linkur.o
linkhyp.c
Gimple
./linkhyp.c.004t.gimple
GKD
./linkhyp.o.gkd
OBJ
obj: ./linkhyp.o
foreign.c
Gimple
./foreign.c.004t.gimple
GKD
./foreign.o.gkd
OBJ
obj: ./foreign.o
geometry.c
Gimple
./geometry.c.004t.gimple
GKD
./geometry.o.gkd
OBJ
obj: ./geometry.o
hot.c
Gimple
./hot.c.004t.gimple
GKD
./hot.o.gkd
OBJ
obj: ./hot.o
nonport.c
Gimple
./nonport.c.004t.gimple
GKD
./nonport.o.gkd
OBJ
obj: ./nonport.o
check.c
Gimple
./check.c.004t.gimple
GKD
./check.o.gkd
OBJ
obj: ./check.o
hints.c
Gimple
./hints.c.004t.gimple
GKD
./hints.o.gkd
OBJ
obj: ./hints.o
hints2.c
Gimple
./hints2.c.004t.gimple
GKD
./hints2.o.gkd
OBJ
obj: ./hints2.o
attrib.c
Gimple
./attrib.c.004t.gimple
GKD
./attrib.o.gkd
OBJ
obj: ./attrib.o
case.c
Gimple
./case.c.004t.gimple
GKD
./case.o.gkd
OBJ
obj: ./case.o
ivy.c
Gimple
./ivy.c.004t.gimple
GKD
./ivy.o.gkd
OBJ
obj: ./ivy.o
pickdiff.c
Gimple
./pickdiff.c.004t.gimple
GKD
./pickdiff.o.gkd
OBJ
obj: ./pickdiff.o
overbeek.c
Gimple
./overbeek.c.004t.gimple
GKD
./overbeek.o.gkd
OBJ
obj: ./overbeek.o
multijust.c
Gimple
./multijust.c.004t.gimple
GKD
./multijust.o.gkd
OBJ
obj: ./multijust.o
lists.c
Gimple
./lists.c.004t.gimple
GKD
./lists.o.gkd
OBJ
obj: ./lists.o
fpa2.c
Gimple
./fpa2.c.004t.gimple
GKD
./fpa2.o.gkd
OBJ
obj: ./fpa2.o
clocks.c
Gimple
./clocks.c.004t.gimple
GKD
./clocks.o.gkd
OBJ
obj: ./clocks.o
demod.c
Gimple
./demod.c.004t.gimple
GKD
./demod.o.gkd
OBJ
obj: ./demod.o
imd.c
Gimple
./imd.c.004t.gimple
GKD
./imd.o.gkd
OBJ
obj: ./imd.o
is.c
Gimple
./is.c.004t.gimple
GKD
./is.o.gkd
OBJ
obj: ./is.o
options.c
Gimple
./options.c.004t.gimple
GKD
./options.o.gkd
OBJ
obj: ./options.o
index.c
Gimple
./index.c.004t.gimple
GKD
./index.o.gkd
OBJ
obj: ./index.o
paramod.c
Gimple
./paramod.c.004t.gimple
GKD
./paramod.o.gkd
OBJ
obj: ./paramod.o
lisp.c
Gimple
./lisp.c.004t.gimple
GKD
./lisp.o.gkd
OBJ
obj: ./lisp.o
includes
formed.c
../headers//usr/include/x86_64-linux-gnu/bits/string2.h
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/sys/types.h
../headers//usr/include/X11/X.h
../headers//usr/include/X11/Xlib.h
../headers//usr/include/X11/Intrinsic.h
../headers/../cos.h
../headers/../foreign.h
../headers/../fpa2.h
../headers/../types.h
../headers/../header.h
./formed.h
../headers/../proto.h
../headers//usr/include/string.h
../headers//usr/include/stdlib.h
display.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/X11/X.h
../headers//usr/include/X11/Xlib.h
../headers//usr/include/X11/Xresource.h
../headers//usr/include/X11/Intrinsic.h
./formed.h
../headers//usr/include/stdio.h
../headers//usr/include/X11/Composite.h
../headers//usr/include/X11/StringDefs.h
../headers//usr/include/X11/Shell.h
../headers//usr/include/X11/Xaw/Form.h
../headers//usr/include/X11/Xaw/Label.h
../headers//usr/include/X11/Xaw/Command.h
../headers//usr/include/X11/Xaw/Viewport.h
../headers//usr/include/X11/Xaw/AsciiText.h
callback.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../types.h
../headers/../header.h
../headers//usr/include/X11/X.h
../headers//usr/include/X11/Xlib.h
../headers//usr/include/X11/Intrinsic.h
../headers/../cos.h
../headers//usr/include/X11/Xaw/Text.h
../headers//usr/include/X11/Xaw/List.h
./formed.h
../headers//usr/include/X11/StringDefs.h
../headers//usr/include/X11/Shell.h
../headers//usr/include/X11/Xaw/Form.h
../headers//usr/include/X11/Xaw/Label.h
../headers//usr/include/X11/Xaw/Command.h
../headers//usr/include/X11/Xaw/AsciiText.h
./help_str.h
../headers//usr/include/string.h
../headers/../proto.h
../headers//usr/include/X11/Composite.h
../headers//usr/include/stdlib.h
av.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
io.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
share.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
fpa.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./header.h
./proto.h
./cos.h
unify.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
weight.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
clause.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
resolve.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
formula.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
process.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
misc.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
lrpo.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
linkur.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
linkhyp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
foreign.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./foreign.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
geometry.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
./cos.h
hot.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
nonport.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./types.h
./header.h
../headers//usr/include/signal.h
../headers//usr/include/pwd.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
./proto.h
check.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./check.h
./proto.h
hints.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
hints2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
attrib.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./proto.h
case.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
ivy.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./lisp.h
./check.h
./proto.h
pickdiff.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
overbeek.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
multijust.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
lists.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
fpa2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./proto.h
clocks.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/time.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./types.h
../headers//usr/include/stdio.h
./header.h
demod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
imd.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
./cos.h
is.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
options.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
index.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
paramod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
lisp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./lisp.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
libraries
../libs/usr/lib/x86_64-linux-gnu/libXaw.so.7
../libs/usr/lib/x86_64-linux-gnu/libX11.so.6
../libs/usr/lib/x86_64-linux-gnu/libXt.so.6
../libs/lib/x86_64-linux-gnu/libc.so.6
manual
mace2
compile units
mace2.c
Gimple
./mace2.c.004t.gimple
GKD
./mace2.o.gkd
OBJ
obj: ./mace2.o
clock.c
Gimple
./clock.c.004t.gimple
GKD
./clock.o.gkd
OBJ
obj: ./clock.o
avail.c
Gimple
./avail.c.004t.gimple
GKD
./avail.o.gkd
OBJ
obj: ./avail.o
opts.c
Gimple
./opts.c.004t.gimple
GKD
./opts.o.gkd
OBJ
obj: ./opts.o
stats.c
Gimple
./stats.c.004t.gimple
GKD
./stats.o.gkd
OBJ
obj: ./stats.o
miscellany.c
Gimple
./miscellany.c.004t.gimple
GKD
./miscellany.o.gkd
OBJ
obj: ./miscellany.o
flatten.c
Gimple
./flatten.c.004t.gimple
GKD
./flatten.o.gkd
OBJ
obj: ./flatten.o
dp.c
Gimple
./dp.c.004t.gimple
GKD
./dp.o.gkd
OBJ
obj: ./dp.o
generate.c
Gimple
./generate.c.004t.gimple
GKD
./generate.o.gkd
OBJ
obj: ./generate.o
print.c
Gimple
./print.c.004t.gimple
GKD
./print.o.gkd
OBJ
obj: ./print.o
part.c
Gimple
./part.c.004t.gimple
GKD
./part.o.gkd
OBJ
obj: ./part.o
av.c
Gimple
./av.c.004t.gimple
GKD
./av.o.gkd
OBJ
obj: ./av.o
io.c
Gimple
./io.c.004t.gimple
GKD
./io.o.gkd
OBJ
obj: ./io.o
share.c
Gimple
./share.c.004t.gimple
GKD
./share.o.gkd
OBJ
obj: ./share.o
fpa.c
Gimple
./fpa.c.004t.gimple
GKD
./fpa.o.gkd
OBJ
obj: ./fpa.o
clocks.c
Gimple
./clocks.c.004t.gimple
GKD
./clocks.o.gkd
OBJ
obj: ./clocks.o
unify.c
Gimple
./unify.c.004t.gimple
GKD
./unify.o.gkd
OBJ
obj: ./unify.o
weight.c
Gimple
./weight.c.004t.gimple
GKD
./weight.o.gkd
OBJ
obj: ./weight.o
clause.c
Gimple
./clause.c.004t.gimple
GKD
./clause.o.gkd
OBJ
obj: ./clause.o
resolve.c
Gimple
./resolve.c.004t.gimple
GKD
./resolve.o.gkd
OBJ
obj: ./resolve.o
formula.c
Gimple
./formula.c.004t.gimple
GKD
./formula.o.gkd
OBJ
obj: ./formula.o
process.c
Gimple
./process.c.004t.gimple
GKD
./process.o.gkd
OBJ
obj: ./process.o
misc.c
Gimple
./misc.c.004t.gimple
GKD
./misc.o.gkd
OBJ
obj: ./misc.o
lrpo.c
Gimple
./lrpo.c.004t.gimple
GKD
./lrpo.o.gkd
OBJ
obj: ./lrpo.o
linkur.c
Gimple
./linkur.c.004t.gimple
GKD
./linkur.o.gkd
OBJ
obj: ./linkur.o
linkhyp.c
Gimple
./linkhyp.c.004t.gimple
GKD
./linkhyp.o.gkd
OBJ
obj: ./linkhyp.o
foreign.c
Gimple
./foreign.c.004t.gimple
GKD
./foreign.o.gkd
OBJ
obj: ./foreign.o
geometry.c
Gimple
./geometry.c.004t.gimple
GKD
./geometry.o.gkd
OBJ
obj: ./geometry.o
hot.c
Gimple
./hot.c.004t.gimple
GKD
./hot.o.gkd
OBJ
obj: ./hot.o
nonport.c
Gimple
./nonport.c.004t.gimple
GKD
./nonport.o.gkd
OBJ
obj: ./nonport.o
check.c
Gimple
./check.c.004t.gimple
GKD
./check.o.gkd
OBJ
obj: ./check.o
hints.c
Gimple
./hints.c.004t.gimple
GKD
./hints.o.gkd
OBJ
obj: ./hints.o
hints2.c
Gimple
./hints2.c.004t.gimple
GKD
./hints2.o.gkd
OBJ
obj: ./hints2.o
attrib.c
Gimple
./attrib.c.004t.gimple
GKD
./attrib.o.gkd
OBJ
obj: ./attrib.o
case.c
Gimple
./case.c.004t.gimple
GKD
./case.o.gkd
OBJ
obj: ./case.o
ivy.c
Gimple
./ivy.c.004t.gimple
GKD
./ivy.o.gkd
OBJ
obj: ./ivy.o
pickdiff.c
Gimple
./pickdiff.c.004t.gimple
GKD
./pickdiff.o.gkd
OBJ
obj: ./pickdiff.o
overbeek.c
Gimple
./overbeek.c.004t.gimple
GKD
./overbeek.o.gkd
OBJ
obj: ./overbeek.o
multijust.c
Gimple
./multijust.c.004t.gimple
GKD
./multijust.o.gkd
OBJ
obj: ./multijust.o
lists.c
Gimple
./lists.c.004t.gimple
GKD
./lists.o.gkd
OBJ
obj: ./lists.o
fpa2.c
Gimple
./fpa2.c.004t.gimple
GKD
./fpa2.o.gkd
OBJ
obj: ./fpa2.o
demod.c
Gimple
./demod.c.004t.gimple
GKD
./demod.o.gkd
OBJ
obj: ./demod.o
imd.c
Gimple
./imd.c.004t.gimple
GKD
./imd.o.gkd
OBJ
obj: ./imd.o
is.c
Gimple
./is.c.004t.gimple
GKD
./is.o.gkd
OBJ
obj: ./is.o
options.c
Gimple
./options.c.004t.gimple
GKD
./options.o.gkd
OBJ
obj: ./options.o
index.c
Gimple
./index.c.004t.gimple
GKD
./index.o.gkd
OBJ
obj: ./index.o
paramod.c
Gimple
./paramod.c.004t.gimple
GKD
./paramod.o.gkd
OBJ
obj: ./paramod.o
lisp.c
Gimple
./lisp.c.004t.gimple
GKD
./lisp.o.gkd
OBJ
obj: ./lisp.o
includes
mace2.c
../headers//usr/include/stdlib.h
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Clock.h
../headers//usr/include/signal.h
./Stats.h
../headers//usr/include/getopt.h
./Generate.h
./Dp.h
./Miscellany.h
../headers/../source/proto.h
./Avail.h
./Flatten.h
./Part.h
../headers/../source/cos.h
clock.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./Clock.h
../headers//usr/include/stdio.h
avail.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Dp.h
./Stats.h
../headers//usr/include/stdlib.h
./Miscellany.h
opts.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./Opts.h
stats.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Clock.h
./Avail.h
../headers/../source/proto.h
miscellany.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Stats.h
../headers//usr/include/stdlib.h
../headers/../source/proto.h
flatten.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Stats.h
../headers/../source/proto.h
./Miscellany.h
../headers/../source/cos.h
dp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Dp.h
./Stats.h
./Avail.h
./Miscellany.h
./Generate.h
./Print.h
../headers/../source/proto.h
./Clock.h
../headers//usr/include/stdlib.h
generate.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
../headers/../source/cos.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Opts.h
./Generate.h
./Stats.h
../headers/../source/proto.h
./Dp.h
./Miscellany.h
./Flatten.h
../headers//usr/include/stdlib.h
print.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Generate.h
./Stats.h
./Dp.h
../headers/../source/proto.h
part.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers/../source/foreign.h
../headers/../source/fpa2.h
../headers/../source/types.h
../headers/../source/header.h
./Stats.h
../headers/../source/proto.h
av.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
io.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
share.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
fpa.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./header.h
./proto.h
./cos.h
clocks.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/time.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./types.h
../headers//usr/include/stdio.h
./header.h
unify.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
weight.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
clause.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
resolve.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
formula.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
process.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
misc.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
lrpo.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
linkur.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
linkhyp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
foreign.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./foreign.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
geometry.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
./proto.h
./cos.h
hot.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
nonport.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./types.h
./header.h
../headers//usr/include/signal.h
../headers//usr/include/pwd.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
./proto.h
check.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./check.h
./proto.h
hints.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./types.h
./header.h
./proto.h
hints2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
attrib.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./proto.h
case.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/waitstatus.h
../headers//usr/include/stdlib.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
../headers//usr/include/unistd.h
../headers//usr/include/x86_64-linux-gnu/sys/wait.h
ivy.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./lisp.h
./check.h
./proto.h
pickdiff.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
overbeek.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./types.h
../headers//usr/include/stdio.h
./header.h
../headers//usr/include/stdlib.h
./proto.h
multijust.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
../headers//usr/include/stdlib.h
lists.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./proto.h
fpa2.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./fpa2.h
./types.h
./proto.h
demod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
imd.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
./cos.h
is.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./types.h
./header.h
./proto.h
options.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./cos.h
./types.h
./header.h
./proto.h
index.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/libio.h
./cos.h
./fpa2.h
./types.h
./header.h
../headers//usr/include/stdio.h
./proto.h
paramod.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/x86_64-linux-gnu/bits/time.h
../headers//usr/include/x86_64-linux-gnu/bits/resource.h
../headers//usr/include/x86_64-linux-gnu/sys/resource.h
./cos.h
./fpa2.h
./types.h
./header.h
./proto.h
lisp.c
../headers//usr/lib/gcc/x86_64-linux-gnu/4.9/include/stddef.h
../headers//usr/include/x86_64-linux-gnu/bits/types.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
./lisp.h
../headers//usr/include/stdlib.h
../headers//usr/include/string.h
libraries
../libs/lib/x86_64-linux-gnu/libc.so.6
manual