mace2 - amd64

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

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

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

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