-
unpacking source archive /...-source-tarball/tarballs/lutin-package-0.2.tar.gz
-
lutin-package-0.2/
-
lutin-package-0.2/config/
-
lutin-package-0.2/config/autoxt.m4
-
lutin-package-0.2/config/dryad.m4
-
lutin-package-0.2/config/java-front.m4
-
lutin-package-0.2/config/prolog-tools.m4
-
lutin-package-0.2/config/swi-prolog.m4
-
lutin-package-0.2/config/Makefile.xt
-
lutin-package-0.2/config/Makefile.am
-
lutin-package-0.2/config/Makefile.in
-
lutin-package-0.2/config/config.guess
-
lutin-package-0.2/config/config.sub
-
lutin-package-0.2/config/depcomp
-
lutin-package-0.2/config/install-sh
-
lutin-package-0.2/config/ltmain.sh
-
lutin-package-0.2/config/missing
-
lutin-package-0.2/README
-
lutin-package-0.2/configure.ac
-
lutin-package-0.2/aclocal.m4
-
lutin-package-0.2/Makefile.am
-
lutin-package-0.2/Makefile.in
-
lutin-package-0.2/configure
-
lutin-package-0.2/AUTHORS
-
lutin-package-0.2/COPYING
-
lutin-package-0.2/ChangeLog
-
lutin-package-0.2/INSTALL
-
lutin-package-0.2/NEWS
-
lutin-package-0.2/TODO
-
lutin-package-0.2/src/
-
lutin-package-0.2/src/Makefile.am
-
lutin-package-0.2/src/Makefile.in
-
lutin-package-0.2/src/check_program/
-
lutin-package-0.2/src/check_program/Makefile.am
-
lutin-package-0.2/src/check_program/Makefile.in
-
lutin-package-0.2/src/check_program/graph_relations_tools.pl
-
lutin-package-0.2/src/check_program/le_evaluator.pl
-
lutin-package-0.2/src/check_program/program_checker.pl
-
lutin-package-0.2/src/check_program/check_program.pl
-
lutin-package-0.2/src/check_program/Readme.txt
-
lutin-package-0.2/src/check_program/constraints.pl
-
lutin-package-0.2/src/check_program/prolog_header.pl
-
lutin-package-0.2/src/java-traverse/
-
lutin-package-0.2/src/java-traverse/Makefile.am
-
lutin-package-0.2/src/java-traverse/Makefile.in
-
lutin-package-0.2/src/java-traverse/java-traverse.str
-
lutin-package-0.2/src/java-traverse/java-traverse.meta
-
lutin-package-0.2/src/java-locate/
-
lutin-package-0.2/src/java-locate/Makefile.am
-
lutin-package-0.2/src/java-locate/Makefile.in
-
lutin-package-0.2/src/java-locate/pl-to-term.str
-
lutin-package-0.2/src/java-locate/gen-java-restore-case.str
-
lutin-package-0.2/src/java-locate/gen-java-restore-case.meta
-
lutin-package-0.2/src/java-locate/java-locate.str
-
lutin-package-0.2/src/java-fold/
-
lutin-package-0.2/src/java-fold/Makefile.am
-
lutin-package-0.2/src/java-fold/Makefile.in
-
lutin-package-0.2/src/java-fold/dryad-ex.str
-
lutin-package-0.2/src/java-fold/dryad-update-relation.str
-
lutin-package-0.2/src/java-fold/dynamic-code-fold.str
-
lutin-package-0.2/src/java-fold/fold-input.str
-
lutin-package-0.2/src/java-fold/gen-java-restore-case.meta
-
lutin-package-0.2/src/java-fold/gen-java-restore-case.str
-
lutin-package-0.2/src/java-fold/generic-fold.str
-
lutin-package-0.2/src/java-fold/java-fold.meta
-
lutin-package-0.2/src/java-fold/java-fold.str
-
lutin-package-0.2/src/java-fold/pl-to-term.str
-
lutin-package-0.2/src/java-fold/static-code-fold.str
-
lutin-package-0.2/src/java-fold/static-data-fold.str
-
lutin-package-0.2/src/java-fold/type-fold.str
-
lutin-package-0.2/src/java-graph/
-
lutin-package-0.2/src/java-graph/Makefile.am
-
lutin-package-0.2/src/java-graph/Makefile.in
-
lutin-package-0.2/src/java-graph/term-to-pl.str
-
lutin-package-0.2/src/java-graph/java-graph.str
-
lutin-package-0.2/src/java-graph/java-to-dot.str
-
lutin-package-0.2/src/java-graph/java-to-dot.meta
-
lutin-package-0.2/src/lutin/
-
lutin-package-0.2/src/lutin/Makefile.am
-
lutin-package-0.2/src/lutin/Makefile.in
-
lutin-package-0.2/src/lutin/lutin.str
-
lutin-package-0.2/src/lutin/save-graph.str
-
lutin-package-0.2/src/violation-pp/
-
lutin-package-0.2/src/violation-pp/Makefile.am
-
lutin-package-0.2/src/violation-pp/Makefile.in
-
lutin-package-0.2/src/violation-pp/violation-to-abox.str
-
lutin-package-0.2/src/violation-pp/violation-to-abox.meta
-
lutin-package-0.2/src/violation-pp/pp-violation.str
-
lutin-package-0.2/src/violation-correct/
-
lutin-package-0.2/src/violation-correct/Makefile.am
-
lutin-package-0.2/src/violation-correct/Makefile.in
-
lutin-package-0.2/src/violation-correct/access_graph_constraints.pl
-
lutin-package-0.2/src/violation-correct/access_graph_conv.pl
-
lutin-package-0.2/src/violation-correct/access_graph_fold.pl
-
lutin-package-0.2/src/violation-correct/access_graph_lib.pl
-
lutin-package-0.2/src/violation-correct/correct_program.pl
-
lutin-package-0.2/src/violation-correct/violations_correction.pl
-
lutin-package-0.2/tests/
-
lutin-package-0.2/tests/Makefile.am
-
lutin-package-0.2/tests/Makefile.in
-
lutin-package-0.2/tests/java-graph/
-
lutin-package-0.2/tests/java-graph/Makefile.am
-
lutin-package-0.2/tests/java-graph/Makefile.in
-
lutin-package-0.2/tests/java-graph/ArrayType.java
-
lutin-package-0.2/tests/java-graph/Cast.java
-
lutin-package-0.2/tests/java-graph/Constrinv.java
-
lutin-package-0.2/tests/java-graph/Editor.java
-
lutin-package-0.2/tests/java-graph/Editor1.java
-
lutin-package-0.2/tests/java-graph/Instanceof.java
-
lutin-package-0.2/tests/java-graph/Method.java
-
lutin-package-0.2/tests/java-graph/Overload.java
-
lutin-package-0.2/tests/java-graph/ShapeTest1.java
-
lutin-package-0.2/tests/java-graph/java03.java
-
lutin-package-0.2/tests/java-graph/java07.java
-
lutin-package-0.2/tests/java-graph/java08.java
-
lutin-package-0.2/tests/java-graph/ArrayType.java.ref
-
lutin-package-0.2/tests/java-graph/Cast.java.ref
-
lutin-package-0.2/tests/java-graph/Constrinv.java.ref
-
lutin-package-0.2/tests/java-graph/Editor.java.ref
-
lutin-package-0.2/tests/java-graph/Editor1.java.ref
-
lutin-package-0.2/tests/java-graph/Instanceof.java.ref
-
lutin-package-0.2/tests/java-graph/Method.java.ref
-
lutin-package-0.2/tests/java-graph/Overload.java.ref
-
lutin-package-0.2/tests/java-graph/ShapeTest1.java.ref
-
lutin-package-0.2/tests/java-graph/java03.java.ref
-
lutin-package-0.2/tests/java-graph/java07.java.ref
-
lutin-package-0.2/tests/java-graph/java08.java.ref
-
lutin-package-0.2/tests/java-graph/checkgraph.sh
-
lutin-package-0.2/tests/sampleTests/
-
lutin-package-0.2/tests/sampleTests/Makefile.am
-
lutin-package-0.2/tests/sampleTests/Makefile.in
-
lutin-package-0.2/tests/sampleTests/lutin-sunit.str
-
lutin-package-0.2/tests/sampleTests/arraytype.java
-
lutin-package-0.2/tests/sampleTests/cast.java
-
lutin-package-0.2/tests/sampleTests/editor.java
-
lutin-package-0.2/tests/sampleTests/generics.java
-
lutin-package-0.2/tests/sampleTests/instanceof.java
-
lutin-package-0.2/tests/sampleTests/mail.java
-
lutin-package-0.2/tests/sampleTests/maze.java
-
lutin-package-0.2/tests/sampleTests/method.java
-
lutin-package-0.2/tests/sampleTests/overload.java
-
lutin-package-0.2/tests/sampleTests/shapetest1.java
-
lutin-package-0.2/tests/sampleTests/staticinit.java
-
lutin-package-0.2/tests/sampleTests/arraytype.pl
-
lutin-package-0.2/tests/sampleTests/cast.pl
-
lutin-package-0.2/tests/sampleTests/editor.pl
-
lutin-package-0.2/tests/sampleTests/generics.pl
-
lutin-package-0.2/tests/sampleTests/instanceof.pl
-
lutin-package-0.2/tests/sampleTests/mail.pl
-
lutin-package-0.2/tests/sampleTests/maze.pl
-
lutin-package-0.2/tests/sampleTests/method.pl
-
lutin-package-0.2/tests/sampleTests/overload.pl
-
lutin-package-0.2/tests/sampleTests/shapetest1.pl
-
lutin-package-0.2/tests/sampleTests/staticinit.pl
-
lutin-package-0.2/tests/sampleTests/arraytype.ref
-
lutin-package-0.2/tests/sampleTests/cast.ref
-
lutin-package-0.2/tests/sampleTests/editor.ref
-
lutin-package-0.2/tests/sampleTests/generics.ref
-
lutin-package-0.2/tests/sampleTests/instanceof.ref
-
lutin-package-0.2/tests/sampleTests/mail.ref
-
lutin-package-0.2/tests/sampleTests/maze.ref
-
lutin-package-0.2/tests/sampleTests/method.ref
-
lutin-package-0.2/tests/sampleTests/overload.ref
-
lutin-package-0.2/tests/sampleTests/shapetest1.ref
-
lutin-package-0.2/tests/sampleTests/staticinit.ref
-
lutin-package-0.2/tests/violation-correct/
-
lutin-package-0.2/tests/violation-correct/Makefile.am
-
lutin-package-0.2/tests/violation-correct/Makefile.in
-
lutin-package-0.2/tests/violation-correct/Personne.java
-
lutin-package-0.2/tests/violation-correct/Editor.java
-
lutin-package-0.2/tests/violation-correct/Personne-graph.pl
-
lutin-package-0.2/tests/violation-correct/Editor-graph.pl
-
lutin-package-0.2/tests/violation-correct/Personne-violations.pl
-
lutin-package-0.2/tests/violation-correct/Editor-violations.pl
-
lutin-package-0.2/tests/violation-correct/Personne-constraints.pl
-
lutin-package-0.2/tests/violation-correct/Editor-constraints.pl
-
lutin-package-0.2/tests/violation-correct/Personne-corrections.pl
-
lutin-package-0.2/tests/violation-correct/Editor-corrections.pl
-
lutin-package-0.2/tests/violation-correct/check.sh
-
lutin-package-0.2/tests/java-fold/
-
lutin-package-0.2/tests/java-fold/Makefile.am
-
lutin-package-0.2/tests/java-fold/Makefile.in
-
lutin-package-0.2/tests/java-fold/test-fold-input.str
-
lutin-package-0.2/tests/java-fold/static_code_fold.pl
-
lutin-package-0.2/tests/java-fold/viol-correction.pl
-
lutin-package-0.2/tests/java-fold/static_code_fold.out
-
lutin-package-0.2/tests/java-fold/viol-correction.out
-
lutin-package-0.2/tests/java-fold/personne.java
-
lutin-package-0.2/tests/java-fold/scf-use-this.java
-
lutin-package-0.2/tests/java-fold/scf-all-acces.java
-
lutin-package-0.2/tests/java-fold/scf-method.java
-
lutin-package-0.2/tests/java-fold/scf-static-method.java
-
lutin-package-0.2/tests/java-fold/scf-constructor.java
-
lutin-package-0.2/tests/java-fold/dcf-personne.java
-
lutin-package-0.2/tests/java-fold/sdf-personne.java
-
lutin-package-0.2/tests/java-fold/sdf-two-fields.java
-
lutin-package-0.2/tests/java-fold/personne.fold.pl
-
lutin-package-0.2/tests/java-fold/scf-use-this.fold.pl
-
lutin-package-0.2/tests/java-fold/scf-all-acces.fold.pl
-
lutin-package-0.2/tests/java-fold/scf-method.fold.pl
-
lutin-package-0.2/tests/java-fold/scf-static-method.fold.pl
-
lutin-package-0.2/tests/java-fold/scf-constructor.fold.pl
-
lutin-package-0.2/tests/java-fold/dcf-personne.fold.pl
-
lutin-package-0.2/tests/java-fold/sdf-personne.fold.pl
-
lutin-package-0.2/tests/java-fold/sdf-two-fields.fold.pl
-
lutin-package-0.2/tests/java-fold/personne.res.java
-
lutin-package-0.2/tests/java-fold/scf-use-this.res.java
-
lutin-package-0.2/tests/java-fold/scf-all-acces.res.java
-
lutin-package-0.2/tests/java-fold/scf-method.res.java
-
lutin-package-0.2/tests/java-fold/scf-static-method.res.java
-
lutin-package-0.2/tests/java-fold/scf-constructor.res.java
-
lutin-package-0.2/tests/java-fold/dcf-personne.res.java
-
lutin-package-0.2/tests/java-fold/sdf-personne.res.java
-
lutin-package-0.2/tests/java-fold/sdf-two-fields.res.java
-
lutin-package-0.2/tests/java-fold/test-fold.sh
-
lutin-package-0.2/tests/lutin/
-
lutin-package-0.2/tests/lutin/Makefile.am
-
lutin-package-0.2/tests/lutin/Makefile.in
-
lutin-package-0.2/tests/lutin/personne.java
-
lutin-package-0.2/tests/lutin/dcf-personne.java
-
lutin-package-0.2/tests/lutin/personne.pl
-
lutin-package-0.2/tests/lutin/dcf-personne.pl
-
lutin-package-0.2/tests/lutin/personne.ref.java
-
lutin-package-0.2/tests/lutin/dcf-personne.ref.java
-
lutin-package-0.2/tests/lutin/check.sh
source root is lutin-package-0.2