]> oss.titaniummirror.com Git - deputy-tinyos.git/commit
Import pristine deputy-tinyos v1.1 upstream upstream/1.1
authorR. Steve McKown <rsmckown@gmail.com>
Thu, 10 Dec 2009 20:53:38 +0000 (13:53 -0700)
committerR. Steve McKown <rsmckown@gmail.com>
Thu, 10 Dec 2009 20:53:38 +0000 (13:53 -0700)
commitc00df6f653957b91823de377a32812715615fb20
treedf71b20252f73ae05d0de495b931628f201e4e54
Import pristine deputy-tinyos v1.1
1203 files changed:
.cvsignore [new file with mode: 0755]
.distexclude [new file with mode: 0644]
LICENSE [new file with mode: 0644]
Makefile.in [new file with mode: 0644]
bin/.cvsignore [new file with mode: 0755]
bin/deputy [new file with mode: 0755]
cil/.cvsignore [new file with mode: 0644]
cil/Bootstrap [new file with mode: 0755]
cil/INSTALL [new file with mode: 0644]
cil/LICENSE [new file with mode: 0644]
cil/Makefile.gcc [new file with mode: 0644]
cil/Makefile.in [new file with mode: 0644]
cil/Makefile.msvc [new file with mode: 0644]
cil/NOTES [new file with mode: 0644]
cil/README [new file with mode: 0644]
cil/_tags [new file with mode: 0644]
cil/aclocal.m4 [new file with mode: 0644]
cil/bin/.cvsignore [new file with mode: 0644]
cil/bin/CilConfig.pm.in [new file with mode: 0644]
cil/bin/cabsxform [new file with mode: 0755]
cil/bin/cilly [new file with mode: 0755]
cil/bin/cilly.bat.in [new file with mode: 0755]
cil/bin/patcher [new file with mode: 0755]
cil/bin/patcher.bat.in [new file with mode: 0755]
cil/bin/teetwo [new file with mode: 0755]
cil/bin/test-bad [new file with mode: 0755]
cil/cil.itarget [new file with mode: 0644]
cil/cil.spec.in [new file with mode: 0644]
cil/config.guess [new file with mode: 0755]
cil/config.h.in [new file with mode: 0644]
cil/config.mk.in [new file with mode: 0644]
cil/config.sub [new file with mode: 0755]
cil/configure [new file with mode: 0755]
cil/configure.in [new file with mode: 0644]
cil/debian/.cvsignore [new file with mode: 0644]
cil/debian/changelog [new file with mode: 0644]
cil/debian/cil-dev.install [new file with mode: 0644]
cil/debian/cil.install [new file with mode: 0644]
cil/debian/compat [new file with mode: 0644]
cil/debian/control [new file with mode: 0644]
cil/debian/copyright [new file with mode: 0644]
cil/debian/rules [new file with mode: 0755]
cil/debian/watch [new file with mode: 0644]
cil/doc/.cvsignore [new file with mode: 0644]
cil/doc/cil.itarget [new file with mode: 0644]
cil/doc/cil.odocl [new file with mode: 0644]
cil/doc/cil.tex [new file with mode: 0644]
cil/doc/cilcode.pl [new file with mode: 0644]
cil/doc/comment.sty [new file with mode: 0644]
cil/doc/cvssetup.tex [new file with mode: 0644]
cil/doc/fullpage.sty [new file with mode: 0644]
cil/doc/header.html.in [new file with mode: 0644]
cil/doc/hevea.sty [new file with mode: 0644]
cil/doc/html/.cvsignore [new file with mode: 0644]
cil/doc/index.html.in [new file with mode: 0644]
cil/doc/main.html [new file with mode: 0644]
cil/doc/makefiles.txt [new file with mode: 0644]
cil/doc/ocamldoc.html [new file with mode: 0644]
cil/doc/ocamldoc.patch [new file with mode: 0644]
cil/doc/program.sty [new file with mode: 0644]
cil/doc/proof.sty [new file with mode: 0644]
cil/doc/sendmail.txt [new file with mode: 0644]
cil/doc/setup.tex [new file with mode: 0644]
cil/doc/tips-and-tricks.txt [new file with mode: 0644]
cil/install-sh [new file with mode: 0644]
cil/lib/.cvsignore [new file with mode: 0644]
cil/lib/.gdbinit [new file with mode: 0644]
cil/lib/Cilly.pm [new file with mode: 0644]
cil/lib/KeptFile.pm [new file with mode: 0644]
cil/lib/Makefile [new file with mode: 0644]
cil/lib/OutputFile.pm [new file with mode: 0644]
cil/lib/TempFile.pm [new file with mode: 0644]
cil/myocamlbuild.ml [new file with mode: 0644]
cil/obj/.depend/.cvsignore [new file with mode: 0644]
cil/ocamlutil/.cvsignore [new file with mode: 0755]
cil/ocamlutil/Makefile.ocaml [new file with mode: 0644]
cil/ocamlutil/Makefile.ocaml.build [new file with mode: 0644]
cil/ocamlutil/RegTest.pm [new file with mode: 0644]
cil/ocamlutil/_tags [new file with mode: 0644]
cil/ocamlutil/alpha.ml [new file with mode: 0644]
cil/ocamlutil/alpha.mli [new file with mode: 0644]
cil/ocamlutil/bitmap.ml [new file with mode: 0644]
cil/ocamlutil/bitmap.mli [new file with mode: 0644]
cil/ocamlutil/bitvector.ml [new file with mode: 0644]
cil/ocamlutil/bitvector.mli [new file with mode: 0644]
cil/ocamlutil/bitvector.out [new file with mode: 0644]
cil/ocamlutil/bitvectori.c [new file with mode: 0644]
cil/ocamlutil/clist.ml [new file with mode: 0644]
cil/ocamlutil/clist.mli [new file with mode: 0644]
cil/ocamlutil/errormsg.ml [new file with mode: 0644]
cil/ocamlutil/errormsg.mli [new file with mode: 0644]
cil/ocamlutil/growArray.ml [new file with mode: 0644]
cil/ocamlutil/growArray.mli [new file with mode: 0644]
cil/ocamlutil/inthash.ml [new file with mode: 0644]
cil/ocamlutil/inthash.mli [new file with mode: 0644]
cil/ocamlutil/intmap.ml [new file with mode: 0644]
cil/ocamlutil/intmap.mli [new file with mode: 0644]
cil/ocamlutil/longarray.ml [new file with mode: 0644]
cil/ocamlutil/longarray.mli [new file with mode: 0644]
cil/ocamlutil/options.ml [new file with mode: 0644]
cil/ocamlutil/options.mli [new file with mode: 0644]
cil/ocamlutil/pa_prtype.ml [new file with mode: 0644]
cil/ocamlutil/perfcount.c.in [new file with mode: 0644]
cil/ocamlutil/pretty.ml [new file with mode: 0644]
cil/ocamlutil/pretty.mli [new file with mode: 0644]
cil/ocamlutil/profile.c.in [new file with mode: 0644]
cil/ocamlutil/runall.pl [new file with mode: 0755]
cil/ocamlutil/stats.ml [new file with mode: 0644]
cil/ocamlutil/stats.mli [new file with mode: 0644]
cil/ocamlutil/symbolrange.pl [new file with mode: 0755]
cil/ocamlutil/trace.ml [new file with mode: 0644]
cil/ocamlutil/trace.mli [new file with mode: 0644]
cil/ocamlutil/util.ml [new file with mode: 0644]
cil/ocamlutil/util.mli [new file with mode: 0644]
cil/src/.cvsignore [new file with mode: 0644]
cil/src/_tags [new file with mode: 0644]
cil/src/check.ml [new file with mode: 0644]
cil/src/check.mli [new file with mode: 0644]
cil/src/cil.itarget [new file with mode: 0644]
cil/src/cil.ml [new file with mode: 0644]
cil/src/cil.mli [new file with mode: 0644]
cil/src/cil.mllib [new file with mode: 0644]
cil/src/cillower.ml [new file with mode: 0644]
cil/src/cillower.mli [new file with mode: 0644]
cil/src/ciloptions.ml [new file with mode: 0644]
cil/src/ciloptions.mli [new file with mode: 0644]
cil/src/cilutil.ml [new file with mode: 0644]
cil/src/cilversion.ml.in [new file with mode: 0644]
cil/src/escape.ml [new file with mode: 0644]
cil/src/escape.mli [new file with mode: 0644]
cil/src/ext/_tags [new file with mode: 0644]
cil/src/ext/arithabs.ml [new file with mode: 0644]
cil/src/ext/astslicer.ml [new file with mode: 0644]
cil/src/ext/availexps.ml [new file with mode: 0644]
cil/src/ext/availexpslv.ml [new file with mode: 0644]
cil/src/ext/blockinggraph.ml [new file with mode: 0644]
cil/src/ext/blockinggraph.mli [new file with mode: 0644]
cil/src/ext/callgraph.ml [new file with mode: 0644]
cil/src/ext/callgraph.mli [new file with mode: 0644]
cil/src/ext/canonicalize.ml [new file with mode: 0644]
cil/src/ext/canonicalize.mli [new file with mode: 0644]
cil/src/ext/ccl.ml [new file with mode: 0644]
cil/src/ext/ccl.mli [new file with mode: 0644]
cil/src/ext/cfg.ml [new file with mode: 0644]
cil/src/ext/cfg.mli [new file with mode: 0644]
cil/src/ext/ciltools.ml [new file with mode: 0644]
cil/src/ext/cqualann.ml [new file with mode: 0644]
cil/src/ext/dataflow.ml [new file with mode: 0644]
cil/src/ext/dataflow.mli [new file with mode: 0644]
cil/src/ext/dataslicing.ml [new file with mode: 0644]
cil/src/ext/dataslicing.mli [new file with mode: 0644]
cil/src/ext/deadcodeelim.ml [new file with mode: 0644]
cil/src/ext/dominators.ml [new file with mode: 0644]
cil/src/ext/dominators.mli [new file with mode: 0644]
cil/src/ext/epicenter.ml [new file with mode: 0644]
cil/src/ext/expcompare.ml [new file with mode: 0644]
cil/src/ext/heap.ml [new file with mode: 0644]
cil/src/ext/heapify.ml [new file with mode: 0644]
cil/src/ext/inliner.ml [new file with mode: 0644]
cil/src/ext/liveness.ml [new file with mode: 0644]
cil/src/ext/logcalls.ml [new file with mode: 0644]
cil/src/ext/logcalls.mli [new file with mode: 0644]
cil/src/ext/logwrites.ml [new file with mode: 0644]
cil/src/ext/oneret.ml [new file with mode: 0644]
cil/src/ext/oneret.mli [new file with mode: 0644]
cil/src/ext/optutil.ml [new file with mode: 0644]
cil/src/ext/optutil.mli [new file with mode: 0644]
cil/src/ext/partial.ml [new file with mode: 0644]
cil/src/ext/predabst.ml [new file with mode: 0644]
cil/src/ext/pta/golf.ml [new file with mode: 0644]
cil/src/ext/pta/golf.mli [new file with mode: 0644]
cil/src/ext/pta/olf.ml [new file with mode: 0644]
cil/src/ext/pta/olf.mli [new file with mode: 0644]
cil/src/ext/pta/ptranal.ml [new file with mode: 0644]
cil/src/ext/pta/ptranal.mli [new file with mode: 0644]
cil/src/ext/pta/setp.ml [new file with mode: 0644]
cil/src/ext/pta/setp.mli [new file with mode: 0644]
cil/src/ext/pta/steensgaard.ml [new file with mode: 0644]
cil/src/ext/pta/steensgaard.mli [new file with mode: 0644]
cil/src/ext/pta/uref.ml [new file with mode: 0644]
cil/src/ext/pta/uref.mli [new file with mode: 0644]
cil/src/ext/rand.ml [new file with mode: 0644]
cil/src/ext/reachingdefs.ml [new file with mode: 0644]
cil/src/ext/rmciltmps.ml [new file with mode: 0644]
cil/src/ext/sfi.ml [new file with mode: 0644]
cil/src/ext/simplemem.ml [new file with mode: 0644]
cil/src/ext/simplify.ml [new file with mode: 0644]
cil/src/ext/ssa.ml [new file with mode: 0644]
cil/src/ext/ssa.mli [new file with mode: 0644]
cil/src/ext/stackoverflow.ml [new file with mode: 0644]
cil/src/ext/stackoverflow.mli [new file with mode: 0644]
cil/src/ext/ufsarithabs.ml [new file with mode: 0644]
cil/src/ext/usedef.ml [new file with mode: 0644]
cil/src/formatcil.ml [new file with mode: 0644]
cil/src/formatcil.mli [new file with mode: 0644]
cil/src/formatlex.mll [new file with mode: 0644]
cil/src/formatparse.mly [new file with mode: 0644]
cil/src/frontc/.cvsignore [new file with mode: 0644]
cil/src/frontc/cabs.ml [new file with mode: 0644]
cil/src/frontc/cabs2cil.ml [new file with mode: 0644]
cil/src/frontc/cabs2cil.mli [new file with mode: 0644]
cil/src/frontc/cabshelper.ml [new file with mode: 0644]
cil/src/frontc/cabsvisit.ml [new file with mode: 0644]
cil/src/frontc/cabsvisit.mli [new file with mode: 0644]
cil/src/frontc/clexer.mli [new file with mode: 0644]
cil/src/frontc/clexer.mll [new file with mode: 0644]
cil/src/frontc/cparser.mly [new file with mode: 0644]
cil/src/frontc/cprint.ml [new file with mode: 0644]
cil/src/frontc/frontc.ml [new file with mode: 0644]
cil/src/frontc/frontc.mli [new file with mode: 0644]
cil/src/frontc/lexerhack.ml [new file with mode: 0644]
cil/src/frontc/patch.ml [new file with mode: 0644]
cil/src/frontc/patch.mli [new file with mode: 0644]
cil/src/frontc/whitetrack.ml [new file with mode: 0644]
cil/src/frontc/whitetrack.mli [new file with mode: 0644]
cil/src/libmaincil.ml [new file with mode: 0644]
cil/src/machdep-ml.c [new file with mode: 0644]
cil/src/machdepenv.ml [new file with mode: 0644]
cil/src/main.ml [new file with mode: 0644]
cil/src/mergecil.ml [new file with mode: 0644]
cil/src/mergecil.mli [new file with mode: 0644]
cil/src/prettytest.ml [new file with mode: 0644]
cil/src/rmtmps.ml [new file with mode: 0644]
cil/src/rmtmps.mli [new file with mode: 0644]
cil/src/testcil.ml [new file with mode: 0644]
cil/src/zrapp.ml [new file with mode: 0644]
cil/src/zrapp.mli [new file with mode: 0644]
cil/test/.cvsignore [new file with mode: 0644]
cil/test/Makefile [new file with mode: 0644]
cil/test/small1/.cvsignore [new file with mode: 0644]
cil/test/small1/.gdbinit [new file with mode: 0644]
cil/test/small1/GRT.c [new file with mode: 0644]
cil/test/small1/Makefile [new file with mode: 0644]
cil/test/small1/addr-array.c [new file with mode: 0644]
cil/test/small1/addrof3.c [new file with mode: 0644]
cil/test/small1/align1.c [new file with mode: 0644]
cil/test/small1/align2.c [new file with mode: 0644]
cil/test/small1/align3.c [new file with mode: 0644]
cil/test/small1/apachebits.c [new file with mode: 0755]
cil/test/small1/apachebuf.c [new file with mode: 0755]
cil/test/small1/apachefptr.c [new file with mode: 0755]
cil/test/small1/argcast.c [new file with mode: 0644]
cil/test/small1/array-args.c [new file with mode: 0644]
cil/test/small1/array-size-trick.c [new file with mode: 0755]
cil/test/small1/array1.c [new file with mode: 0644]
cil/test/small1/array2.c [new file with mode: 0644]
cil/test/small1/array_formal.c [new file with mode: 0755]
cil/test/small1/array_varsize.c [new file with mode: 0755]
cil/test/small1/arrayinitsize.c [new file with mode: 0644]
cil/test/small1/asm1.c [new file with mode: 0644]
cil/test/small1/asm2.c [new file with mode: 0644]
cil/test/small1/asm3.c [new file with mode: 0644]
cil/test/small1/asm4.c [new file with mode: 0644]
cil/test/small1/asm5.c [new file with mode: 0644]
cil/test/small1/assign.c [new file with mode: 0644]
cil/test/small1/attr.c [new file with mode: 0644]
cil/test/small1/attr10.c [new file with mode: 0755]
cil/test/small1/attr11.c [new file with mode: 0755]
cil/test/small1/attr12.c [new file with mode: 0755]
cil/test/small1/attr13.c [new file with mode: 0755]
cil/test/small1/attr2.c [new file with mode: 0644]
cil/test/small1/attr3.c [new file with mode: 0644]
cil/test/small1/attr4.c [new file with mode: 0644]
cil/test/small1/attr5.c [new file with mode: 0644]
cil/test/small1/attr6.c [new file with mode: 0644]
cil/test/small1/attr7.c [new file with mode: 0755]
cil/test/small1/attr8.c [new file with mode: 0755]
cil/test/small1/attr9.c [new file with mode: 0755]
cil/test/small1/bf.c [new file with mode: 0644]
cil/test/small1/bind-formatstring.c [new file with mode: 0644]
cil/test/small1/bind-used-not-defined.c [new file with mode: 0644]
cil/test/small1/bitfield.c [new file with mode: 0644]
cil/test/small1/bitfield0.c [new file with mode: 0644]
cil/test/small1/bitfield2.c [new file with mode: 0755]
cil/test/small1/bitfield3.c [new file with mode: 0644]
cil/test/small1/blockattr.c [new file with mode: 0644]
cil/test/small1/builtin.c [new file with mode: 0644]
cil/test/small1/builtin2.c [new file with mode: 0755]
cil/test/small1/builtin3.c [new file with mode: 0755]
cil/test/small1/builtin_choose_expr.c [new file with mode: 0644]
cil/test/small1/call2.c [new file with mode: 0755]
cil/test/small1/caserange.c [new file with mode: 0644]
cil/test/small1/cast1.c [new file with mode: 0644]
cil/test/small1/cast2.c [new file with mode: 0644]
cil/test/small1/cast3.c [new file with mode: 0644]
cil/test/small1/cast4.c [new file with mode: 0644]
cil/test/small1/cast8.c [new file with mode: 0755]
cil/test/small1/castincr.c [new file with mode: 0644]
cil/test/small1/combine10_1.c [new file with mode: 0644]
cil/test/small1/combine10_2.c [new file with mode: 0644]
cil/test/small1/combine10_3.c [new file with mode: 0644]
cil/test/small1/combine11_1.c [new file with mode: 0644]
cil/test/small1/combine11_2.c [new file with mode: 0644]
cil/test/small1/combine12_1.c [new file with mode: 0644]
cil/test/small1/combine12_2.c [new file with mode: 0644]
cil/test/small1/combine13_1.c [new file with mode: 0644]
cil/test/small1/combine13_2.c [new file with mode: 0644]
cil/test/small1/combine14_1.c [new file with mode: 0644]
cil/test/small1/combine14_2.c [new file with mode: 0644]
cil/test/small1/combine15_1.c [new file with mode: 0644]
cil/test/small1/combine15_2.c [new file with mode: 0644]
cil/test/small1/combine16_1.c [new file with mode: 0644]
cil/test/small1/combine16_2.c [new file with mode: 0644]
cil/test/small1/combine17_1.c [new file with mode: 0644]
cil/test/small1/combine17_2.c [new file with mode: 0644]
cil/test/small1/combine18_1.c [new file with mode: 0644]
cil/test/small1/combine18_2.c [new file with mode: 0644]
cil/test/small1/combine1_1.c [new file with mode: 0644]
cil/test/small1/combine1_2.c [new file with mode: 0644]
cil/test/small1/combine1_3.c [new file with mode: 0644]
cil/test/small1/combine20_1.c [new file with mode: 0644]
cil/test/small1/combine20_2.c [new file with mode: 0644]
cil/test/small1/combine21_1.c [new file with mode: 0755]
cil/test/small1/combine21_2.c [new file with mode: 0755]
cil/test/small1/combine22_1.c [new file with mode: 0755]
cil/test/small1/combine22_2.c [new file with mode: 0755]
cil/test/small1/combine2_1.c [new file with mode: 0644]
cil/test/small1/combine2_2.c [new file with mode: 0644]
cil/test/small1/combine2_3.c [new file with mode: 0644]
cil/test/small1/combine3_1.c [new file with mode: 0644]
cil/test/small1/combine3_2.c [new file with mode: 0644]
cil/test/small1/combine3_3.c [new file with mode: 0644]
cil/test/small1/combine4_1.c [new file with mode: 0644]
cil/test/small1/combine4_2.c [new file with mode: 0644]
cil/test/small1/combine5.h [new file with mode: 0644]
cil/test/small1/combine5_1.c [new file with mode: 0644]
cil/test/small1/combine5_2.c [new file with mode: 0644]
cil/test/small1/combine5_3.c [new file with mode: 0644]
cil/test/small1/combine6_1.c [new file with mode: 0644]
cil/test/small1/combine6_2.c [new file with mode: 0644]
cil/test/small1/combine6_3.c [new file with mode: 0644]
cil/test/small1/combine7_1.c [new file with mode: 0644]
cil/test/small1/combine7_2.c [new file with mode: 0644]
cil/test/small1/combine7_3.c [new file with mode: 0644]
cil/test/small1/combine8_1.c [new file with mode: 0644]
cil/test/small1/combine8_2.c [new file with mode: 0644]
cil/test/small1/combine9_1.c [new file with mode: 0644]
cil/test/small1/combine9_2.c [new file with mode: 0644]
cil/test/small1/combine_allocate_1.c [new file with mode: 0644]
cil/test/small1/combine_allocate_2.c [new file with mode: 0644]
cil/test/small1/combine_copyptrs_1.c [new file with mode: 0644]
cil/test/small1/combine_copyptrs_2.c [new file with mode: 0644]
cil/test/small1/combine_init_1.c [new file with mode: 0755]
cil/test/small1/combine_init_2.c [new file with mode: 0755]
cil/test/small1/combine_node_alloc_1.c [new file with mode: 0644]
cil/test/small1/combine_node_alloc_2.c [new file with mode: 0644]
cil/test/small1/combine_samefn_1.c [new file with mode: 0644]
cil/test/small1/combine_samefn_2.c [new file with mode: 0644]
cil/test/small1/combine_sbumpB_1.c [new file with mode: 0644]
cil/test/small1/combine_sbumpB_2.c [new file with mode: 0644]
cil/test/small1/combine_sbumpB_3.c [new file with mode: 0644]
cil/test/small1/combine_sbump_1.c [new file with mode: 0644]
cil/test/small1/combine_sbump_2.c [new file with mode: 0644]
cil/test/small1/combine_syserr_1.c [new file with mode: 0644]
cil/test/small1/combine_syserr_2.c [new file with mode: 0644]
cil/test/small1/combine_theFunc_1.c [new file with mode: 0644]
cil/test/small1/combine_theFunc_2.c [new file with mode: 0644]
cil/test/small1/combine_theFunc_3.c [new file with mode: 0644]
cil/test/small1/combinealias_1.c [new file with mode: 0755]
cil/test/small1/combinealias_2.c [new file with mode: 0755]
cil/test/small1/combineenum1_1.c [new file with mode: 0644]
cil/test/small1/combineenum1_2.c [new file with mode: 0644]
cil/test/small1/combineenum2_1.c [new file with mode: 0644]
cil/test/small1/combineenum2_2.c [new file with mode: 0644]
cil/test/small1/combineenum3_1.c [new file with mode: 0644]
cil/test/small1/combineenum3_2.c [new file with mode: 0644]
cil/test/small1/combineinline1_1.c [new file with mode: 0644]
cil/test/small1/combineinline1_2.c [new file with mode: 0644]
cil/test/small1/combineinline2_1.c [new file with mode: 0644]
cil/test/small1/combineinline2_2.c [new file with mode: 0644]
cil/test/small1/combineinline3_1.c [new file with mode: 0644]
cil/test/small1/combineinline3_2.c [new file with mode: 0644]
cil/test/small1/combineinline4_1.c [new file with mode: 0644]
cil/test/small1/combineinline4_2.c [new file with mode: 0644]
cil/test/small1/combineinline6_1.c [new file with mode: 0644]
cil/test/small1/combineinline6_2.c [new file with mode: 0644]
cil/test/small1/combinelibrik_1.c [new file with mode: 0755]
cil/test/small1/combinelibrik_2.c [new file with mode: 0755]
cil/test/small1/combinestruct1_1.c [new file with mode: 0644]
cil/test/small1/combinestruct1_2.c [new file with mode: 0644]
cil/test/small1/combinetaggedfn_1.c [new file with mode: 0644]
cil/test/small1/combinetaggedfn_2.c [new file with mode: 0644]
cil/test/small1/comma1.c [new file with mode: 0644]
cil/test/small1/comparisons.c [new file with mode: 0755]
cil/test/small1/cond1.c [new file with mode: 0644]
cil/test/small1/cond2.c [new file with mode: 0644]
cil/test/small1/const-array-init.c [new file with mode: 0644]
cil/test/small1/const-compound-cast.c [new file with mode: 0644]
cil/test/small1/const-struct-init.c [new file with mode: 0644]
cil/test/small1/const1.c [new file with mode: 0644]
cil/test/small1/const10.c [new file with mode: 0755]
cil/test/small1/const11.c [new file with mode: 0755]
cil/test/small1/const2.c [new file with mode: 0644]
cil/test/small1/const3.c [new file with mode: 0644]
cil/test/small1/const4.c [new file with mode: 0644]
cil/test/small1/const5.c [new file with mode: 0644]
cil/test/small1/const6.c [new file with mode: 0644]
cil/test/small1/const7.c [new file with mode: 0644]
cil/test/small1/const8.c [new file with mode: 0755]
cil/test/small1/const9.c [new file with mode: 0755]
cil/test/small1/constprop.c [new file with mode: 0644]
cil/test/small1/cpp-2.c [new file with mode: 0644]
cil/test/small1/cpp-3.c [new file with mode: 0755]
cil/test/small1/decl1.c [new file with mode: 0644]
cil/test/small1/decl2.c [new file with mode: 0644]
cil/test/small1/decl_mix_stmt.c [new file with mode: 0644]
cil/test/small1/deref.c [new file with mode: 0644]
cil/test/small1/duplicate.c [new file with mode: 0644]
cil/test/small1/empty.i [new file with mode: 0755]
cil/test/small1/enum.c [new file with mode: 0644]
cil/test/small1/enum2.c [new file with mode: 0644]
cil/test/small1/escapes.c [new file with mode: 0755]
cil/test/small1/extern1.c [new file with mode: 0644]
cil/test/small1/extern_init.c [new file with mode: 0644]
cil/test/small1/float.c [new file with mode: 0644]
cil/test/small1/float2.c [new file with mode: 0755]
cil/test/small1/for1.c [new file with mode: 0644]
cil/test/small1/formalscope.c [new file with mode: 0755]
cil/test/small1/func.c [new file with mode: 0644]
cil/test/small1/func10.c [new file with mode: 0755]
cil/test/small1/func2.c [new file with mode: 0644]
cil/test/small1/func3.c [new file with mode: 0644]
cil/test/small1/func4.c [new file with mode: 0644]
cil/test/small1/funcarg.c [new file with mode: 0644]
cil/test/small1/funptr1.c [new file with mode: 0644]
cil/test/small1/globals.c [new file with mode: 0644]
cil/test/small1/globals2.c [new file with mode: 0755]
cil/test/small1/hello.c [new file with mode: 0644]
cil/test/small1/huff1.c [new file with mode: 0644]
cil/test/small1/init.c [new file with mode: 0644]
cil/test/small1/init1.c [new file with mode: 0644]
cil/test/small1/init10.c [new file with mode: 0644]
cil/test/small1/init11.c [new file with mode: 0644]
cil/test/small1/init12.c [new file with mode: 0644]
cil/test/small1/init13.c [new file with mode: 0644]
cil/test/small1/init14.c [new file with mode: 0644]
cil/test/small1/init15.c [new file with mode: 0644]
cil/test/small1/init16.c [new file with mode: 0755]
cil/test/small1/init17.c [new file with mode: 0755]
cil/test/small1/init18.c [new file with mode: 0755]
cil/test/small1/init19.c [new file with mode: 0755]
cil/test/small1/init2.c [new file with mode: 0644]
cil/test/small1/init20.c [new file with mode: 0755]
cil/test/small1/init21.c [new file with mode: 0755]
cil/test/small1/init22.c [new file with mode: 0755]
cil/test/small1/init3.c [new file with mode: 0644]
cil/test/small1/init4.c [new file with mode: 0644]
cil/test/small1/init5.c [new file with mode: 0644]
cil/test/small1/init6.c [new file with mode: 0644]
cil/test/small1/init7.c [new file with mode: 0644]
cil/test/small1/init8.c [new file with mode: 0644]
cil/test/small1/init9.c [new file with mode: 0644]
cil/test/small1/initial.c [new file with mode: 0644]
cil/test/small1/inline1.c [new file with mode: 0644]
cil/test/small1/inline2.c [new file with mode: 0755]
cil/test/small1/inline3.c [new file with mode: 0755]
cil/test/small1/jmp_buf.c [new file with mode: 0644]
cil/test/small1/knr1.c [new file with mode: 0644]
cil/test/small1/label1.c [new file with mode: 0644]
cil/test/small1/label2.c [new file with mode: 0644]
cil/test/small1/label3.c [new file with mode: 0644]
cil/test/small1/label4.c [new file with mode: 0644]
cil/test/small1/label5.c [new file with mode: 0755]
cil/test/small1/li.c [new file with mode: 0644]
cil/test/small1/lineno.i [new file with mode: 0755]
cil/test/small1/linux_atomic.c [new file with mode: 0644]
cil/test/small1/linux_signal.c [new file with mode: 0644]
cil/test/small1/linuxcombine1_1.c [new file with mode: 0644]
cil/test/small1/list.c [new file with mode: 0644]
cil/test/small1/local.c [new file with mode: 0644]
cil/test/small1/local.h [new file with mode: 0644]
cil/test/small1/localinit.c [new file with mode: 0755]
cil/test/small1/logical.c [new file with mode: 0644]
cil/test/small1/longBlock.ml [new file with mode: 0644]
cil/test/small1/lstring.c [new file with mode: 0644]
cil/test/small1/lval1.c [new file with mode: 0644]
cil/test/small1/math1.c [new file with mode: 0644]
cil/test/small1/matrix.c [new file with mode: 0644]
cil/test/small1/memcpy1.c [new file with mode: 0644]
cil/test/small1/min.c [new file with mode: 0755]
cil/test/small1/msvc1.c [new file with mode: 0755]
cil/test/small1/msvc2.c [new file with mode: 0755]
cil/test/small1/msvc3.c [new file with mode: 0755]
cil/test/small1/msvc4.c [new file with mode: 0755]
cil/test/small1/msvc5.c [new file with mode: 0755]
cil/test/small1/msvc6.c [new file with mode: 0755]
cil/test/small1/msvc7.c [new file with mode: 0755]
cil/test/small1/msvc8.c [new file with mode: 0755]
cil/test/small1/msvc9.c [new file with mode: 0755]
cil/test/small1/noproto.c [new file with mode: 0644]
cil/test/small1/noproto1.c [new file with mode: 0644]
cil/test/small1/noproto2.c [new file with mode: 0644]
cil/test/small1/noreturn.c [new file with mode: 0644]
cil/test/small1/offsetof.c [new file with mode: 0644]
cil/test/small1/offsetof1.c [new file with mode: 0644]
cil/test/small1/offsetof2.c [new file with mode: 0644]
cil/test/small1/offsetof3.c [new file with mode: 0755]
cil/test/small1/oom.c [new file with mode: 0644]
cil/test/small1/order.c [new file with mode: 0644]
cil/test/small1/outofmem.c [new file with mode: 0755]
cil/test/small1/p04.c [new file with mode: 0644]
cil/test/small1/packed.c [new file with mode: 0755]
cil/test/small1/packed2.c [new file with mode: 0755]
cil/test/small1/paper1.c [new file with mode: 0644]
cil/test/small1/paper2.c [new file with mode: 0644]
cil/test/small1/percent400.c [new file with mode: 0644]
cil/test/small1/percentm.c [new file with mode: 0644]
cil/test/small1/perror.c [new file with mode: 0644]
cil/test/small1/perror1.c [new file with mode: 0644]
cil/test/small1/pointers2.c [new file with mode: 0644]
cil/test/small1/post-assign.c [new file with mode: 0644]
cil/test/small1/power1.c [new file with mode: 0644]
cil/test/small1/printf.c [new file with mode: 0644]
cil/test/small1/printf2.c [new file with mode: 0644]
cil/test/small1/printf_const.c [new file with mode: 0755]
cil/test/small1/proto1.c [new file with mode: 0644]
cil/test/small1/proto2.c [new file with mode: 0644]
cil/test/small1/pure.c [new file with mode: 0644]
cil/test/small1/question.c [new file with mode: 0755]
cil/test/small1/question2.c [new file with mode: 0755]
cil/test/small1/restrict.c [new file with mode: 0644]
cil/test/small1/restrict1.c [new file with mode: 0644]
cil/test/small1/return1.c [new file with mode: 0644]
cil/test/small1/returnvoid.c [new file with mode: 0644]
cil/test/small1/returnvoid1.c [new file with mode: 0644]
cil/test/small1/retval.c [new file with mode: 0644]
cil/test/small1/rmtmps-attr.c [new file with mode: 0644]
cil/test/small1/rmtmps1.c [new file with mode: 0644]
cil/test/small1/rmtmps2.c [new file with mode: 0644]
cil/test/small1/scope1.c [new file with mode: 0644]
cil/test/small1/scope10.c [new file with mode: 0755]
cil/test/small1/scope11.c [new file with mode: 0755]
cil/test/small1/scope2.c [new file with mode: 0644]
cil/test/small1/scope3.c [new file with mode: 0644]
cil/test/small1/scope4.c [new file with mode: 0644]
cil/test/small1/scope5.c [new file with mode: 0644]
cil/test/small1/scope6.c [new file with mode: 0644]
cil/test/small1/scope7.c [new file with mode: 0644]
cil/test/small1/scope8.c [new file with mode: 0644]
cil/test/small1/scope9.c [new file with mode: 0644]
cil/test/small1/semicolon.c [new file with mode: 0755]
cil/test/small1/signs.c [new file with mode: 0644]
cil/test/small1/simon6.c [new file with mode: 0644]
cil/test/small1/simplify_structs1.c [new file with mode: 0755]
cil/test/small1/simplify_structs2.c [new file with mode: 0755]
cil/test/small1/sizeof1.c [new file with mode: 0644]
cil/test/small1/sizeof2.c [new file with mode: 0755]
cil/test/small1/ssa-test.c [new file with mode: 0644]
cil/test/small1/ssa-test2.c [new file with mode: 0755]
cil/test/small1/ssa2.c [new file with mode: 0644]
cil/test/small1/ssa3.c [new file with mode: 0644]
cil/test/small1/ssa4.c [new file with mode: 0644]
cil/test/small1/ssa5.c [new file with mode: 0755]
cil/test/small1/stack.c [new file with mode: 0755]
cil/test/small1/static.c [new file with mode: 0644]
cil/test/small1/static1.c [new file with mode: 0644]
cil/test/small1/static2.c [new file with mode: 0755]
cil/test/small1/strcpy.c [new file with mode: 0644]
cil/test/small1/string1.c [new file with mode: 0644]
cil/test/small1/string2.c [new file with mode: 0755]
cil/test/small1/stringsize.c [new file with mode: 0755]
cil/test/small1/strloop.c [new file with mode: 0644]
cil/test/small1/strloop3.c [new file with mode: 0644]
cil/test/small1/struct1.c [new file with mode: 0644]
cil/test/small1/struct2.c [new file with mode: 0644]
cil/test/small1/struct_init.c [new file with mode: 0644]
cil/test/small1/structassign.c [new file with mode: 0644]
cil/test/small1/tags.c [new file with mode: 0644]
cil/test/small1/task.c [new file with mode: 0644]
cil/test/small1/tempname.c [new file with mode: 0755]
cil/test/small1/testharness.h [new file with mode: 0644]
cil/test/small1/typeof1.c [new file with mode: 0755]
cil/test/small1/typespec1.c [new file with mode: 0644]
cil/test/small1/unimplemented.c [new file with mode: 0644]
cil/test/small1/union1.c [new file with mode: 0644]
cil/test/small1/union2.c [new file with mode: 0644]
cil/test/small1/union3.c [new file with mode: 0644]
cil/test/small1/union5.c [new file with mode: 0755]
cil/test/small1/unsafe1.c [new file with mode: 0644]
cil/test/small1/va-arg-1.c [new file with mode: 0644]
cil/test/small1/va-arg-2.c [new file with mode: 0644]
cil/test/small1/va-arg-7.c [new file with mode: 0644]
cil/test/small1/var.c [new file with mode: 0644]
cil/test/small1/vararg1.c [new file with mode: 0644]
cil/test/small1/vararg10.c [new file with mode: 0755]
cil/test/small1/vararg11.c [new file with mode: 0755]
cil/test/small1/vararg2.c [new file with mode: 0644]
cil/test/small1/vararg3.c [new file with mode: 0644]
cil/test/small1/vararg4.c [new file with mode: 0644]
cil/test/small1/vararg5.c [new file with mode: 0644]
cil/test/small1/vararg5.h [new file with mode: 0644]
cil/test/small1/vararg6.c [new file with mode: 0644]
cil/test/small1/vararg7.c [new file with mode: 0644]
cil/test/small1/varargauto1.c [new file with mode: 0644]
cil/test/small1/varied.c [new file with mode: 0644]
cil/test/small1/version.c [new file with mode: 0644]
cil/test/small1/void.c [new file with mode: 0644]
cil/test/small1/voidarg.c [new file with mode: 0644]
cil/test/small1/voidstar.c [new file with mode: 0644]
cil/test/small1/voidtypedef.c [new file with mode: 0755]
cil/test/small1/vsp.c [new file with mode: 0644]
cil/test/small1/warnings-cast.c [new file with mode: 0755]
cil/test/small1/warnings-noreturn.c [new file with mode: 0644]
cil/test/small1/warnings-unused-label.c [new file with mode: 0644]
cil/test/small1/wchar-bad.c [new file with mode: 0644]
cil/test/small1/wchar1.c [new file with mode: 0644]
cil/test/small1/wchar1_freebsd.c [new file with mode: 0644]
cil/test/small1/wchar2.c [new file with mode: 0644]
cil/test/small1/wchar3.c [new file with mode: 0644]
cil/test/small1/wchar4.c [new file with mode: 0644]
cil/test/small1/wchar5.c [new file with mode: 0644]
cil/test/small1/wchar6.c [new file with mode: 0644]
cil/test/small1/wchar7.c [new file with mode: 0644]
cil/test/small1/wrongnumargs.c [new file with mode: 0644]
cil/test/small1/zerotags.c [new file with mode: 0644]
cil/test/small2/.cvsignore [new file with mode: 0644]
cil/test/small2/Makefile [new file with mode: 0644]
cil/test/small2/align.c [new file with mode: 0644]
cil/test/small2/alpha.c [new file with mode: 0755]
cil/test/small2/arrayinit.c [new file with mode: 0644]
cil/test/small2/arrsize.c [new file with mode: 0755]
cil/test/small2/asmfndecl.c [new file with mode: 0644]
cil/test/small2/attrib.c [new file with mode: 0644]
cil/test/small2/badasm.c [new file with mode: 0644]
cil/test/small2/baddef1.c [new file with mode: 0644]
cil/test/small2/baddef2.c [new file with mode: 0644]
cil/test/small2/bisonerror.c [new file with mode: 0644]
cil/test/small2/bogus_redef.c [new file with mode: 0644]
cil/test/small2/brlock.c [new file with mode: 0644]
cil/test/small2/bzero.c [new file with mode: 0644]
cil/test/small2/checkinit.c [new file with mode: 0644]
cil/test/small2/checkret.c [new file with mode: 0644]
cil/test/small2/checkstore.c [new file with mode: 0644]
cil/test/small2/checkstore2.c [new file with mode: 0644]
cil/test/small2/checkstore3.c [new file with mode: 0644]
cil/test/small2/checksymbol.c [new file with mode: 0644]
cil/test/small2/cilreturn.c [new file with mode: 0755]
cil/test/small2/cmpzero.c [new file with mode: 0644]
cil/test/small2/cof.c [new file with mode: 0644]
cil/test/small2/comb1.c [new file with mode: 0644]
cil/test/small2/comb2.c [new file with mode: 0644]
cil/test/small2/comb3.c [new file with mode: 0755]
cil/test/small2/comb4.c [new file with mode: 0755]
cil/test/small2/conset.c [new file with mode: 0644]
cil/test/small2/constdecl.c [new file with mode: 0644]
cil/test/small2/constfold.c [new file with mode: 0644]
cil/test/small2/constfold2.c [new file with mode: 0755]
cil/test/small2/ctype.c [new file with mode: 0644]
cil/test/small2/debug_table.c [new file with mode: 0644]
cil/test/small2/ehstack.c [new file with mode: 0644]
cil/test/small2/enumattr.c [new file with mode: 0644]
cil/test/small2/enumerator_sizeof.c [new file with mode: 0644]
cil/test/small2/enuminit.c [new file with mode: 0644]
cil/test/small2/enuminit2.c [new file with mode: 0644]
cil/test/small2/errorinfn.c [new file with mode: 0644]
cil/test/small2/extinline.c [new file with mode: 0755]
cil/test/small2/fig1.c [new file with mode: 0644]
cil/test/small2/fmtstr.c [new file with mode: 0644]
cil/test/small2/fseq1fail.c [new file with mode: 0644]
cil/test/small2/funcname.c [new file with mode: 0644]
cil/test/small2/funcptr.c [new file with mode: 0644]
cil/test/small2/funcptr2.c [new file with mode: 0644]
cil/test/small2/funptr1.c [new file with mode: 0644]
cil/test/small2/gimpdouble.c [new file with mode: 0644]
cil/test/small2/globalprob.c [new file with mode: 0644]
cil/test/small2/globinit.c [new file with mode: 0644]
cil/test/small2/globtable.c [new file with mode: 0644]
cil/test/small2/handler1.handlers [new file with mode: 0644]
cil/test/small2/hashtest.c [new file with mode: 0644]
cil/test/small2/hola.c [new file with mode: 0644]
cil/test/small2/hufftable.c [new file with mode: 0644]
cil/test/small2/hufftest.c [new file with mode: 0644]
cil/test/small2/index1.c [new file with mode: 0644]
cil/test/small2/initedextern.c [new file with mode: 0644]
cil/test/small2/invalredef.c [new file with mode: 0644]
cil/test/small2/invalredef2.c [new file with mode: 0644]
cil/test/small2/jpeg_compress_struct.c [new file with mode: 0644]
cil/test/small2/kernel1.c [new file with mode: 0644]
cil/test/small2/kernel2.c [new file with mode: 0644]
cil/test/small2/lexnum.c [new file with mode: 0644]
cil/test/small2/litstruct.c [new file with mode: 0644]
cil/test/small2/main.c [new file with mode: 0644]
cil/test/small2/malloc1.c [new file with mode: 0644]
cil/test/small2/memberofptr.c [new file with mode: 0644]
cil/test/small2/memset_sizeof.c [new file with mode: 0644]
cil/test/small2/merge-ar.c [new file with mode: 0644]
cil/test/small2/merge-twice-1.c [new file with mode: 0644]
cil/test/small2/merge-twice-2.c [new file with mode: 0644]
cil/test/small2/merge-twice-3.c [new file with mode: 0644]
cil/test/small2/mergeinline1.c [new file with mode: 0644]
cil/test/small2/mergeinline2.c [new file with mode: 0644]
cil/test/small2/mergestruct1.c [new file with mode: 0644]
cil/test/small2/mergestruct2.c [new file with mode: 0644]
cil/test/small2/metabug3.c [new file with mode: 0644]
cil/test/small2/mode_sizes.c [new file with mode: 0644]
cil/test/small2/multiplestatics.c [new file with mode: 0644]
cil/test/small2/neg64.c [new file with mode: 0644]
cil/test/small2/nested.c [new file with mode: 0644]
cil/test/small2/nonwilderror.c [new file with mode: 0644]
cil/test/small2/oldstyle.c [new file with mode: 0644]
cil/test/small2/open.c [new file with mode: 0644]
cil/test/small2/override.c [new file with mode: 0644]
cil/test/small2/partialbracket.c [new file with mode: 0644]
cil/test/small2/pset.c [new file with mode: 0644]
cil/test/small2/ptrinint.c [new file with mode: 0644]
cil/test/small2/putc.c [new file with mode: 0644]
cil/test/small2/rbtest.c [new file with mode: 0644]
cil/test/small2/regbeforeassign.c [new file with mode: 0644]
cil/test/small2/regparm0.c [new file with mode: 0644]
cil/test/small2/regthenprintf.c [new file with mode: 0644]
cil/test/small2/runall_misc.c [new file with mode: 0644]
cil/test/small2/rusage.c [new file with mode: 0644]
cil/test/small2/s59.c [new file with mode: 0644]
cil/test/small2/scary.c [new file with mode: 0644]
cil/test/small2/segfault.c [new file with mode: 0644]
cil/test/small2/seq_align_malloc.c [new file with mode: 0644]
cil/test/small2/seq_align_malloc2.c [new file with mode: 0644]
cil/test/small2/seqalign.c [new file with mode: 0644]
cil/test/small2/sizeof3.c [new file with mode: 0755]
cil/test/small2/sizeofchar.c [new file with mode: 0644]
cil/test/small2/sockaddr.c [new file with mode: 0644]
cil/test/small2/stackptr.c [new file with mode: 0644]
cil/test/small2/stackptrptr.c [new file with mode: 0644]
cil/test/small2/struct_cs.c [new file with mode: 0644]
cil/test/small2/structattr.c [new file with mode: 0644]
cil/test/small2/structattr2.c [new file with mode: 0644]
cil/test/small2/structattr3.c [new file with mode: 0644]
cil/test/small2/switch.c [new file with mode: 0644]
cil/test/small2/tagfile.txt [new file with mode: 0644]
cil/test/small2/tagfile1.c [new file with mode: 0644]
cil/test/small2/tagfile2.c [new file with mode: 0644]
cil/test/small2/testbtree.c [new file with mode: 0644]
cil/test/small2/thing.c [new file with mode: 0644]
cil/test/small2/transpunion.c [new file with mode: 0644]
cil/test/small2/trivial-tb.c [new file with mode: 0644]
cil/test/small2/try1.c [new file with mode: 0755]
cil/test/small2/twoprintfs.c [new file with mode: 0644]
cil/test/small2/typeof.c [new file with mode: 0644]
cil/test/small2/undef_func.c [new file with mode: 0644]
cil/test/small2/uninit_tmp.c [new file with mode: 0644]
cil/test/small2/union2.c [new file with mode: 0644]
cil/test/small2/union4.c [new file with mode: 0644]
cil/test/small2/union5.c [new file with mode: 0644]
cil/test/small2/union6.c [new file with mode: 0644]
cil/test/small2/union7.c [new file with mode: 0755]
cil/test/small2/union8.c [new file with mode: 0755]
cil/test/small2/unionassign.c [new file with mode: 0644]
cil/test/small2/unionext.c [new file with mode: 0644]
cil/test/small2/unscomp.c [new file with mode: 0644]
cil/test/small2/visit_col.c [new file with mode: 0644]
cil/test/small2/voidstarint.c [new file with mode: 0644]
cil/test/small2/volatilestruct.c [new file with mode: 0644]
cil/test/small2/wes-hashtest.c [new file with mode: 0644]
cil/test/small2/wes-rbtest.c [new file with mode: 0644]
cil/test/small2/writev.c [new file with mode: 0644]
cil/test/small2/xcheckers.c [new file with mode: 0644]
cil/test/testcil [new file with mode: 0755]
cil/test/testcil.bat [new file with mode: 0755]
cil/test/testcil.h [new file with mode: 0644]
cil/test/testcil.pl [new file with mode: 0644]
config.guess [new file with mode: 0755]
config.sub [new file with mode: 0755]
configure [new file with mode: 0755]
configure.ac [new file with mode: 0644]
debian/changelog [new file with mode: 0644]
debian/compat [new file with mode: 0644]
debian/control [new file with mode: 0644]
debian/copyright [new file with mode: 0644]
debian/dirs [new file with mode: 0644]
debian/docs [new file with mode: 0644]
debian/files [new file with mode: 0644]
debian/rules [new file with mode: 0755]
debian/watch [new file with mode: 0644]
doc/.cvsignore [new file with mode: 0755]
doc/TODO [new file with mode: 0755]
doc/comment.sty [new file with mode: 0755]
doc/deputy.1 [new file with mode: 0644]
doc/deputy.tex [new file with mode: 0755]
doc/deputycode.pl [new file with mode: 0755]
doc/fullpage.sty [new file with mode: 0755]
doc/header.html.in [new file with mode: 0755]
doc/hevea.sty [new file with mode: 0755]
doc/html/.cvsignore [new file with mode: 0755]
doc/index.html.in [new file with mode: 0755]
doc/www/bnd-be-nt.png [new file with mode: 0644]
doc/www/bnd-be.png [new file with mode: 0644]
doc/www/count-5.png [new file with mode: 0644]
doc/www/count-nm.png [new file with mode: 0644]
doc/www/deputy.css [new file with mode: 0644]
doc/www/index.html [new file with mode: 0644]
doc/www/manual.html [new file with mode: 0644]
doc/www/quickref.html [new file with mode: 0644]
include/.cvsignore [new file with mode: 0755]
include/ccuredport.h [new file with mode: 0755]
include/deputy/annots.h [new file with mode: 0644]
include/deputy/checks.h [new file with mode: 0755]
include/deputy/itaint.patch.h [new file with mode: 0644]
include/deputy/lwcalls.h [new file with mode: 0644]
include/deputy/sml_instrumenter.h [new file with mode: 0644]
include/libc_patch.h [new file with mode: 0644]
install-sh [new file with mode: 0644]
lib/Deputy.pm [new file with mode: 0644]
lib/deputy_libc.c [new file with mode: 0755]
lib/deputy_linux.c [new file with mode: 0755]
lib/instr_glob_state.c [new file with mode: 0644]
lib/lwcalls.sml [new file with mode: 0644]
obj/.depend/.cvsignore [new file with mode: 0644]
obj/x86_LINUX/.cvsignore [new file with mode: 0644]
obj/x86_WIN32/.cvsignore [new file with mode: 0644]
rpm/deputy.spec [new file with mode: 0644]
src/dattrs.ml [new file with mode: 0755]
src/dattrs.mli [new file with mode: 0644]
src/dcheck.ml [new file with mode: 0755]
src/dcheck.mli [new file with mode: 0644]
src/dcheckdef.ml [new file with mode: 0644]
src/dcheckdef.mli [new file with mode: 0644]
src/dglobinit.ml [new file with mode: 0755]
src/dglobinit.mli [new file with mode: 0644]
src/dinfer.ml [new file with mode: 0755]
src/dinfer.mli [new file with mode: 0644]
src/dlocals.ml [new file with mode: 0755]
src/dlocals.mli [new file with mode: 0644]
src/doptions.ml [new file with mode: 0755]
src/doptions.mli [new file with mode: 0644]
src/dpatch.ml [new file with mode: 0644]
src/dpatch.mli [new file with mode: 0644]
src/dpoly.ml [new file with mode: 0644]
src/dpoly.mli [new file with mode: 0644]
src/dsolverfront.ml [new file with mode: 0644]
src/dutil.ml [new file with mode: 0755]
src/dutil.mli [new file with mode: 0644]
src/dvararg.ml [new file with mode: 0755]
src/dvararg.mli [new file with mode: 0644]
src/infer/controlflow.ml [new file with mode: 0644]
src/infer/inferkinds.ml [new file with mode: 0644]
src/infer/inferkinds.mli [new file with mode: 0644]
src/infer/markptr.ml [new file with mode: 0644]
src/infer/markptr.mli [new file with mode: 0644]
src/infer/ptrnode.ml [new file with mode: 0644]
src/infer/ptrnode.mli [new file with mode: 0644]
src/infer/solver.ml [new file with mode: 0644]
src/infer/solver.mli [new file with mode: 0644]
src/infer/type.ml [new file with mode: 0644]
src/infer/type.mli [new file with mode: 0644]
src/infer/unionfind.ml [new file with mode: 0644]
src/instrumenter/dinstrumenter.ml [new file with mode: 0644]
src/instrumenter/dtaint.ml [new file with mode: 0644]
src/main.ml [new file with mode: 0644]
src/optimizer/dcanonexp.ml [new file with mode: 0644]
src/optimizer/dcheckhoister.ml [new file with mode: 0644]
src/optimizer/dcheckstrengthen.ml [new file with mode: 0644]
src/optimizer/ddupcelim.ml [new file with mode: 0644]
src/optimizer/dfailfinder.ml [new file with mode: 0644]
src/optimizer/dfdatbrowser.ml [new file with mode: 0644]
src/optimizer/dflowinsens.ml [new file with mode: 0644]
src/optimizer/dflowsens.ml [new file with mode: 0644]
src/optimizer/dfwdsubst.ml [new file with mode: 0644]
src/optimizer/dloopoptim.ml [new file with mode: 0644]
src/optimizer/dnonnullfinder.ml [new file with mode: 0644]
src/optimizer/doptimmain.ml [new file with mode: 0644]
src/optimizer/doptimutil.ml [new file with mode: 0644]
src/optimizer/dprecfinder.ml [new file with mode: 0644]
src/optimizer/modref/saturnModRef/dmodref.ml [new file with mode: 0644]
src/optimizer/modref/zraModRef/dmodref.ml [new file with mode: 0644]
src/optimizer/nullSolver/nullSolverInterface.ml [new file with mode: 0644]
src/optimizer/oct/mineOct/doctanalysis.ml [new file with mode: 0644]
src/optimizer/oct/mineOct/oct.h [new file with mode: 0644]
src/optimizer/oct/mineOct/oct.ml [new file with mode: 0644]
src/optimizer/oct/mineOct/oct.mli [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_config.h [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_config_2.h [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_num.h [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_ocaml.c [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_ocaml.h [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_private.h [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_sem.c [new file with mode: 0644]
src/optimizer/oct/mineOct/oct_util.c [new file with mode: 0644]
src/optimizer/oct/nullOct/doctanalysis.ml [new file with mode: 0644]
src/optimizer/ptranal/cilPtrAnal/dptranal.ml [new file with mode: 0644]
src/optimizer/ptranal/saturnPtrAnal/dptranal.ml [new file with mode: 0644]
src/optimizer/solver/cvclSolver/Makefile [new file with mode: 0644]
src/optimizer/solver/cvclSolver/cvcl.ml [new file with mode: 0644]
src/optimizer/solver/cvclSolver/cvcl_ocaml_wrappers.c [new file with mode: 0644]
src/optimizer/solver/cvclSolver/cvcl_solver_test.ml [new file with mode: 0644]
src/optimizer/solver/cvclSolver/solverInterface.ml [new file with mode: 0644]
src/optimizer/solver/nullSolver/solverInterface.ml [new file with mode: 0644]
src/optimizer/solver/yicesSolver/Makefile [new file with mode: 0644]
src/optimizer/solver/yicesSolver/solverInterface.ml [new file with mode: 0644]
src/optimizer/solver/yicesSolver/yices.ml [new file with mode: 0644]
src/optimizer/solver/yicesSolver/yices_ocaml_wrappers.c [new file with mode: 0644]
src/optimizer/solver/yicesSolver/yices_solver_test.ml [new file with mode: 0644]
src/optimizer/xhtml/xHTML.ml [new file with mode: 0644]
src/optimizer/xhtml/xHTML.mli [new file with mode: 0644]
src/optimizer/xhtml/xML.ml [new file with mode: 0644]
src/optimizer/xhtml/xML.mli [new file with mode: 0644]
test/.cvsignore [new file with mode: 0755]
test/Makefile.in [new file with mode: 0755]
test/libc/.cvsignore [new file with mode: 0755]
test/libc/Makefile [new file with mode: 0755]
test/libc/crypt1.c [new file with mode: 0755]
test/libc/ctype1.c [new file with mode: 0644]
test/libc/fwrite1.c [new file with mode: 0755]
test/libc/getaddrinfo1.c [new file with mode: 0755]
test/libc/getpwnam1.c [new file with mode: 0755]
test/libc/glob1.c [new file with mode: 0755]
test/libc/harness.h [new file with mode: 0755]
test/libc/hostent1.c [new file with mode: 0755]
test/libc/hostent2.c [new file with mode: 0755]
test/libc/malloc1.c [new file with mode: 0644]
test/libc/malloc2.c [new file with mode: 0644]
test/libc/memset1.c [new file with mode: 0755]
test/libc/popen1.c [new file with mode: 0644]
test/libc/printf1.c [new file with mode: 0755]
test/libc/printf2.c [new file with mode: 0644]
test/libc/readv1.c [new file with mode: 0755]
test/libc/servent1.c [new file with mode: 0755]
test/libc/servent2.c [new file with mode: 0755]
test/libc/sockaddr1.c [new file with mode: 0755]
test/libc/socket1.c [new file with mode: 0755]
test/libc/stat1.c [new file with mode: 0755]
test/libc/strchr1.c [new file with mode: 0755]
test/libc/strcpy.c [new file with mode: 0755]
test/libc/strerror1.c [new file with mode: 0755]
test/libc/string1.c [new file with mode: 0755]
test/libc/string2.c [new file with mode: 0755]
test/libc/string3.c [new file with mode: 0755]
test/libc/string4.c [new file with mode: 0755]
test/libc/string5.c [new file with mode: 0755]
test/libc/string6.c [new file with mode: 0755]
test/libc/string7.c [new file with mode: 0755]
test/libc/strlcpy.c [new file with mode: 0755]
test/libc/strncpy1.c [new file with mode: 0644]
test/libc/strpbrk1.c [new file with mode: 0755]
test/libc/strspn.c [new file with mode: 0755]
test/libc/strtok1.c [new file with mode: 0644]
test/libc/vararg1.c [new file with mode: 0644]
test/libc/writev1.c [new file with mode: 0644]
test/small/.cvsignore [new file with mode: 0755]
test/small/Makefile [new file with mode: 0755]
test/small/abstract1.c [new file with mode: 0644]
test/small/addrof1.c [new file with mode: 0644]
test/small/addrof2.c [new file with mode: 0644]
test/small/addrof3.c [new file with mode: 0644]
test/small/addrof4.c [new file with mode: 0644]
test/small/addrof5.c [new file with mode: 0644]
test/small/addrof6.c [new file with mode: 0644]
test/small/addrof7.c [new file with mode: 0644]
test/small/align1.c [new file with mode: 0644]
test/small/align2.c [new file with mode: 0644]
test/small/alloc1.c [new file with mode: 0755]
test/small/alloc10.c [new file with mode: 0644]
test/small/alloc11.c [new file with mode: 0644]
test/small/alloc12.c [new file with mode: 0644]
test/small/alloc2.c [new file with mode: 0755]
test/small/alloc3.c [new file with mode: 0644]
test/small/alloc4.c [new file with mode: 0644]
test/small/alloc5.c [new file with mode: 0644]
test/small/alloc6.c [new file with mode: 0755]
test/small/alloc7.c [new file with mode: 0755]
test/small/alloc8.c [new file with mode: 0755]
test/small/alloc9.c [new file with mode: 0644]
test/small/array1.c [new file with mode: 0755]
test/small/array2.c [new file with mode: 0644]
test/small/array3.c [new file with mode: 0644]
test/small/array4.c [new file with mode: 0755]
test/small/array5.c [new file with mode: 0755]
test/small/array6.c [new file with mode: 0644]
test/small/array7.c [new file with mode: 0644]
test/small/auto1.c [new file with mode: 0755]
test/small/auto2.c [new file with mode: 0755]
test/small/auto3.c [new file with mode: 0755]
test/small/auto4.c [new file with mode: 0644]
test/small/auto5.c [new file with mode: 0755]
test/small/auto6.c [new file with mode: 0755]
test/small/auto7.c [new file with mode: 0644]
test/small/auto8.c [new file with mode: 0644]
test/small/auto9.c [new file with mode: 0644]
test/small/bound1.c [new file with mode: 0755]
test/small/builtin1.c [new file with mode: 0644]
test/small/call1.c [new file with mode: 0644]
test/small/call2.c [new file with mode: 0644]
test/small/call3.c [new file with mode: 0644]
test/small/call4.c [new file with mode: 0644]
test/small/call5.c [new file with mode: 0755]
test/small/call6.c [new file with mode: 0755]
test/small/call7.c [new file with mode: 0644]
test/small/call8.c [new file with mode: 0644]
test/small/cast1.c [new file with mode: 0644]
test/small/cast10.c [new file with mode: 0644]
test/small/cast11.c [new file with mode: 0644]
test/small/cast12.c [new file with mode: 0755]
test/small/cast13.c [new file with mode: 0755]
test/small/cast14.c [new file with mode: 0755]
test/small/cast15.c [new file with mode: 0755]
test/small/cast16.c [new file with mode: 0755]
test/small/cast17.c [new file with mode: 0644]
test/small/cast18.c [new file with mode: 0755]
test/small/cast19.c [new file with mode: 0644]
test/small/cast2.c [new file with mode: 0644]
test/small/cast20.c [new file with mode: 0755]
test/small/cast3.c [new file with mode: 0644]
test/small/cast4.c [new file with mode: 0644]
test/small/cast5.c [new file with mode: 0644]
test/small/cast6.c [new file with mode: 0644]
test/small/cast7.c [new file with mode: 0644]
test/small/cast8.c [new file with mode: 0644]
test/small/cast9.c [new file with mode: 0644]
test/small/deref1.c [new file with mode: 0644]
test/small/deref2.c [new file with mode: 0644]
test/small/deref3.c [new file with mode: 0644]
test/small/enum1.c [new file with mode: 0644]
test/small/extern1.c [new file with mode: 0644]
test/small/extern2.c [new file with mode: 0755]
test/small/extern3.c [new file with mode: 0644]
test/small/extinline1.c [new file with mode: 0755]
test/small/field1.c [new file with mode: 0644]
test/small/field2.c [new file with mode: 0644]
test/small/field3.c [new file with mode: 0644]
test/small/field4.c [new file with mode: 0755]
test/small/field5.c [new file with mode: 0644]
test/small/func1.c [new file with mode: 0755]
test/small/func2.c [new file with mode: 0755]
test/small/func3.c [new file with mode: 0755]
test/small/func4.c [new file with mode: 0755]
test/small/func5.c [new file with mode: 0644]
test/small/func6.c [new file with mode: 0644]
test/small/func7.c [new file with mode: 0644]
test/small/func8.c [new file with mode: 0644]
test/small/func9.c [new file with mode: 0644]
test/small/global1.c [new file with mode: 0644]
test/small/global2.c [new file with mode: 0644]
test/small/global3.c [new file with mode: 0755]
test/small/global4.c [new file with mode: 0755]
test/small/global5.c [new file with mode: 0755]
test/small/global6.c [new file with mode: 0644]
test/small/global7.c [new file with mode: 0755]
test/small/global8.c [new file with mode: 0644]
test/small/global9.c [new file with mode: 0644]
test/small/harness.h [new file with mode: 0755]
test/small/incr1.c [new file with mode: 0755]
test/small/infer1.c [new file with mode: 0644]
test/small/infer10.c [new file with mode: 0644]
test/small/infer11.c [new file with mode: 0644]
test/small/infer12.c [new file with mode: 0644]
test/small/infer13.c [new file with mode: 0644]
test/small/infer14.c [new file with mode: 0644]
test/small/infer15.c [new file with mode: 0755]
test/small/infer16.c [new file with mode: 0644]
test/small/infer17.c [new file with mode: 0644]
test/small/infer18.c [new file with mode: 0644]
test/small/infer19.c [new file with mode: 0644]
test/small/infer2.c [new file with mode: 0644]
test/small/infer3.c [new file with mode: 0644]
test/small/infer4.c [new file with mode: 0644]
test/small/infer5.c [new file with mode: 0644]
test/small/infer6.c [new file with mode: 0644]
test/small/infer7.c [new file with mode: 0644]
test/small/infer8.c [new file with mode: 0644]
test/small/infer9.c [new file with mode: 0644]
test/small/init1.c [new file with mode: 0755]
test/small/init2.c [new file with mode: 0755]
test/small/live1.c [new file with mode: 0755]
test/small/live2.c [new file with mode: 0755]
test/small/live3.c [new file with mode: 0644]
test/small/local1.c [new file with mode: 0755]
test/small/memcmp1.c [new file with mode: 0644]
test/small/memcmp2.c [new file with mode: 0755]
test/small/memcpy1.c [new file with mode: 0644]
test/small/memcpy2.c [new file with mode: 0644]
test/small/memset1.c [new file with mode: 0644]
test/small/memset2.c [new file with mode: 0755]
test/small/nonnull1.c [new file with mode: 0755]
test/small/nonnull2.c [new file with mode: 0755]
test/small/nonnull3.c [new file with mode: 0755]
test/small/nonnull4.c [new file with mode: 0755]
test/small/nullterm1.c [new file with mode: 0644]
test/small/nullterm10.c [new file with mode: 0644]
test/small/nullterm11.c [new file with mode: 0644]
test/small/nullterm2.c [new file with mode: 0644]
test/small/nullterm3.c [new file with mode: 0644]
test/small/nullterm4.c [new file with mode: 0644]
test/small/nullterm5.c [new file with mode: 0644]
test/small/nullterm6.c [new file with mode: 0644]
test/small/nullterm7.c [new file with mode: 0755]
test/small/nullterm8.c [new file with mode: 0644]
test/small/nullterm9.c [new file with mode: 0755]
test/small/offset1.c [new file with mode: 0755]
test/small/offset2.c [new file with mode: 0755]
test/small/offset3.c [new file with mode: 0755]
test/small/openarray1.c [new file with mode: 0644]
test/small/openarray2.c [new file with mode: 0644]
test/small/openarray3.c [new file with mode: 0644]
test/small/openarray4.c [new file with mode: 0644]
test/small/opt1.c [new file with mode: 0644]
test/small/opt10.c [new file with mode: 0644]
test/small/opt11.c [new file with mode: 0644]
test/small/opt12.c [new file with mode: 0644]
test/small/opt13.c [new file with mode: 0644]
test/small/opt14.c [new file with mode: 0644]
test/small/opt15.c [new file with mode: 0644]
test/small/opt16.c [new file with mode: 0644]
test/small/opt2.c [new file with mode: 0644]
test/small/opt3.c [new file with mode: 0755]
test/small/opt4.c [new file with mode: 0755]
test/small/opt5.c [new file with mode: 0644]
test/small/opt6.c [new file with mode: 0644]
test/small/opt7.c [new file with mode: 0755]
test/small/opt8.c [new file with mode: 0644]
test/small/opt9.c [new file with mode: 0644]
test/small/overflow1.c [new file with mode: 0755]
test/small/overflow2.c [new file with mode: 0644]
test/small/packed1.c [new file with mode: 0644]
test/small/poly1.c [new file with mode: 0644]
test/small/poly2.c [new file with mode: 0644]
test/small/poly3.c [new file with mode: 0644]
test/small/poly4.c [new file with mode: 0644]
test/small/poly5.c [new file with mode: 0644]
test/small/poly6.c [new file with mode: 0644]
test/small/poly7.c [new file with mode: 0644]
test/small/ptrarith1.c [new file with mode: 0644]
test/small/ptrarith2.c [new file with mode: 0644]
test/small/retbound1.c [new file with mode: 0644]
test/small/return1.c [new file with mode: 0644]
test/small/sentinel1.c [new file with mode: 0755]
test/small/sentinel2.c [new file with mode: 0755]
test/small/size1.c [new file with mode: 0644]
test/small/size2.c [new file with mode: 0644]
test/small/size3.c [new file with mode: 0644]
test/small/size4.c [new file with mode: 0644]
test/small/sizeof1.c [new file with mode: 0644]
test/small/sizeof2.c [new file with mode: 0644]
test/small/sizeof3.c [new file with mode: 0644]
test/small/startof1.c [new file with mode: 0644]
test/small/startof2.c [new file with mode: 0644]
test/small/string1.c [new file with mode: 0755]
test/small/string10.c [new file with mode: 0755]
test/small/string12.c [new file with mode: 0644]
test/small/string13.c [new file with mode: 0755]
test/small/string14.c [new file with mode: 0755]
test/small/string15.c [new file with mode: 0755]
test/small/string16.c [new file with mode: 0755]
test/small/string18.c [new file with mode: 0755]
test/small/string19.c [new file with mode: 0755]
test/small/string2.c [new file with mode: 0755]
test/small/string20.c [new file with mode: 0755]
test/small/string21.c [new file with mode: 0644]
test/small/string3.c [new file with mode: 0644]
test/small/string4.c [new file with mode: 0644]
test/small/string5.c [new file with mode: 0644]
test/small/string6.c [new file with mode: 0644]
test/small/string7.c [new file with mode: 0644]
test/small/string8.c [new file with mode: 0644]
test/small/string9.c [new file with mode: 0755]
test/small/struct1.c [new file with mode: 0755]
test/small/testlib.c [new file with mode: 0644]
test/small/trusted1.c [new file with mode: 0644]
test/small/trusted10.c [new file with mode: 0644]
test/small/trusted11.c [new file with mode: 0755]
test/small/trusted12.c [new file with mode: 0644]
test/small/trusted13.c [new file with mode: 0644]
test/small/trusted2.c [new file with mode: 0644]
test/small/trusted3.c [new file with mode: 0644]
test/small/trusted4.c [new file with mode: 0755]
test/small/trusted5.c [new file with mode: 0644]
test/small/trusted6.c [new file with mode: 0644]
test/small/trusted7.c [new file with mode: 0644]
test/small/trusted8.c [new file with mode: 0644]
test/small/trusted9.c [new file with mode: 0644]
test/small/typedef1.c [new file with mode: 0755]
test/small/typedef2.c [new file with mode: 0755]
test/small/typeof1.c [new file with mode: 0644]
test/small/types1.c [new file with mode: 0644]
test/small/types2.c [new file with mode: 0644]
test/small/types3.c [new file with mode: 0644]
test/small/types4.c [new file with mode: 0644]
test/small/types5.c [new file with mode: 0644]
test/small/types6.c [new file with mode: 0644]
test/small/types7.c [new file with mode: 0644]
test/small/types8.c [new file with mode: 0644]
test/small/types9.c [new file with mode: 0644]
test/small/union1.c [new file with mode: 0755]
test/small/union2.c [new file with mode: 0755]
test/small/union3.c [new file with mode: 0755]
test/small/union4.c [new file with mode: 0755]
test/small/union5.c [new file with mode: 0755]
test/small/union6.c [new file with mode: 0644]
test/small/upcast1.c [new file with mode: 0644]
test/small/upcast2.c [new file with mode: 0644]
test/small/var1.c [new file with mode: 0644]
test/small/var2.c [new file with mode: 0644]
test/small/var3.c [new file with mode: 0644]
test/small/var4.c [new file with mode: 0755]
test/small/var5.c [new file with mode: 0644]
test/small/vararg1.c [new file with mode: 0644]
test/small/voidstar1.c [new file with mode: 0755]
test/small/voidstar2.c [new file with mode: 0755]
test/small/voidstar4.c [new file with mode: 0644]
test/small/volatile1.c [new file with mode: 0755]
test/testdeputy [new file with mode: 0755]
test/testdeputy.pl [new file with mode: 0644]
web/.htaccess [new file with mode: 0644]
web/index.html [new file with mode: 0644]
web/web-driver.cgi [new file with mode: 0644]