September 2005 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 18 Sep '05

18 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-18 00:49:28 Modified files: htdocs/Credits : Credits.raw Log message: On Sat, 17 Sep 2005 16:27:31 -0500, in message <51F20188CC93C14D8D8521F4733F9E905C9D96(a)MSA.uwgb.edu>, "Song, Hosung" <songh(a)uwgb.edu>, not having anything else to do, wrote to "Roberto Bagnara" <bagnara(a)cs.unipr.it>: > But I'm wondering if you've ever got > an approval from me that you can describe my work and put links to my > html pages in your PPL site. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/src Row.cc
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 18:12:35 Modified files: src : Row.cc Log message: Added an alternative implementation for Row::normalize() that should be more efficient than the present one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

w3ppl/htdocs/Contribute
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 14:51:58 w3ppl/htdocs/Contribute Update of /cvs/ppl/w3ppl/htdocs/Contribute In directory spartacus.cs.unipr.it:/tmp/cvs-serv6665/Contribute Log Message: Directory /cvs/ppl/w3ppl/htdocs/Contribute added to the repository

1 0

Import
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: applications Changes by: roberto(a)cs.unipr.it 2005-09-17 14:11:34 Log message: Some applications using the PPL. Status: Vendor Tag: RB Release Tags: INIT N applications/PHAVer/2005-01-25/packed/phaver_050125.zip N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/COPYING N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/config.guess N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/AUTHORS N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/config.sub N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/depcomp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/install-sh N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/ltmain.sh N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/missing N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/mkinstalldirs N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/ChangeLog N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/INSTALL N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/NEWS N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/README N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/TODO N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/phaver.kdevelop N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/Makefile.am N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/Makefile.cvs N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/configure.in N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/aclocal.m4 N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/config.h.in N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/Makefile.in N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/stamp-h.in N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/configure N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/config.log N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/Doxyfile N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/stamp-h1 N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/phaver.kdevses N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/phaver.kdevelop.pcs N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/Makefile N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/libtool N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/config.status N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/config.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/stamp-h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/templates/h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/templates/cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/Makefile.am N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/phaver.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/Makefile.in N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.tab.c N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.tab.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/lex.yy.c N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/Makefile N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/agc_sim.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/agc_sim.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/agc_sim.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/agc_sim.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/ag_sim.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/ag_sim.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/ag_sim.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/ag_sim.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_compose.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.y~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_general.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton.h I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/phaver.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_minim.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_reach.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_sim.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_vec.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_vec.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_vec.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_vec.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/clock_val_set.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/general.h~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/clock_val_set.h I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_i_refvec.h~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/clock_val_set.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/clock_val_set.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/convex_clock_val_set.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_sim.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/convex_clock_val_set.h I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parameters.h~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/convex_clock_val_set.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/convex_clock_val_set.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.l~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.h I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton.h~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/derivify.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_ops.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/transition.h~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_ops.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/general.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/general.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/general.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/general.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/gmon.out N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/phaver.h I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/variable_time_elapse_func.h~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/agc_sim.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/Makefile.am~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/Makefile.in~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/make_parser I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/ag_sim.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/memtime N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parameters.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parameters.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parameters.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parameters.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.l N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.output I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_compose.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parser.y N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/phaver.all_cpp.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/stopwatch.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/stopwatch.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/stopwatch.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/stopwatch.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/symb_states.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/symb_states.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/symb_states.ii N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/symb_states.s N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array1d.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array1d_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array2d.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array2d_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array3d.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array3d_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_cmat.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_fortran_array1d.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_fortran_array1d_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_fortran_array2d.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_fortran_array2d_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_fortran_array3d.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_fortran_array3d_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_i_refvec.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_math_utils.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_sparse_matrix_csr.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_stopwatch.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_subscript.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_vec.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_version.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/yl_comp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/yl_make I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_general.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_minim.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/convex_clock_val_set.h~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/location.h~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/general.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/location.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_reach.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/fp_interface.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/derivify.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/convex_clock_val_set.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/tnt_array1d_utils.h~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_vec.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/fp_interface.h~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/symb_states.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/symb_states.h~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_refine.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/extended_ppl.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/extended_ppl.h~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.h_osc1 I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/clock_val_set.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.h_circ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/fp_interface.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/fp_interface.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_ops.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/extended_ppl.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/extended_ppl.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/parameters.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/myPFunction.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/myPFunction.cpp I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/stopwatch.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.h_osc2 I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/myPFunction.cpp~ I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/rat_linexpression.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.h_ellipse I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/transition.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/test.h I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/variable_time_elapse_func.cpp~ N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def.h_osc1_scale N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/deriv_def_osc.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/rat_linexpression.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/rat_linexpression.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/make_parser_debug N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/location.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/location.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/transition.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/transition.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/variable_time_elapse_func.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/variable_time_elapse_func.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/automaton_refine.cpp N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/globals.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.kdbgrc.phaver N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/ag_sim.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/agc_sim.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_compose.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_general.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_minim.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_reach.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_refine.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_sim.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/automaton_vec.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/clock_val_set.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/convex_clock_val_set.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/deriv_def.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/deriv_ops.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/derivify.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/extended_ppl.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/fp_interface.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/general.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/location.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/myPFunction.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/parameters.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/phaver.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/rat_linexpression.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/stopwatch.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/symb_states.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/transition.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/src/.deps/variable_time_elapse_func.Po N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/autom4te.cache/requests N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/autom4te.cache/output.0 N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/autom4te.cache/traces.0 N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/config.log N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/Makefile N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/libtool N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/config.status N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/config.h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/stamp-h N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/src/Makefile I applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/src/phaver.o N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/src/phaver N applications/PHAVer/2005-01-25/unpacked/home/gfrehse/phaver/debug/src/.deps/phaver.P N applications/LPInv/2005-01-31/packed/lpinv-examples.tgz N applications/LPInv/2005-01-31/packed/lpinv-src.tgz N applications/LPInv/2005-01-31/unpacked/lpinv-src/LICENSE N applications/LPInv/2005-01-31/unpacked/lpinv-src/README N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/cars2p.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/cars.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/train-beacon.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/swim-pool.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/mcc.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/heap.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/berkeley.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/dragon.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/consistencyprot.in N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Standard/README N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/barberm4-1.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/barberm4-2.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/bigjava.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/CSM.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/incdec.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/mesh2x2.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/mesh3x2.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/README N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/consprod.br N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/multipool.br I applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/bigjava.br.o N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/bigjava.br.e I applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/consistencyprot.br.o N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/consistencyprot.br.e I applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/incdec.br.o N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/incdec.br.e I applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/CSM.br.o N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/CSM.br.e I applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/consprod.br.o N applications/LPInv/2005-01-31/unpacked/lpinv-src/examples/Delz/Outputs/consprod.br.e N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/cars-driver.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Makefile.deps N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/EqnUtilities.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Eqn.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/EqnUtilities.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/EquationTemplate.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/EvolvingGens.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/funcs.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/GenPool.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/GenPoolMap.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/IMap.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LinExpr.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LocTemplateMap.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/SparseLinExpr.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/OneParameterConstraint.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/parse_globals.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/PolyUtils.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Rational.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/ResourceMonitor.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TemplateBuilder.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Timer.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrLoc.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrRel.h I applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Makefile.deps.bak N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/cars-driver.cc I applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Makefile~ N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/EvolvingGens.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LProblem.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/EquationTemplate.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Makefile N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/funcs.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/GenPool.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/GenPoolMap.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/IMap.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LinExpr.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LocTemplateMap.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/OneParameterConstraint.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/PolyUtils.cc I applications/LPInv/2005-01-31/unpacked/lpinv-src/src/SparseLinExpr.h~ N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Rational.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/ResourceMonitor.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/SparseLinExpr.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TemplateBuilder.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Timer.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrLoc.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrRel.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrSys.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/var-info.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/delzanno.y N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/duchess.y N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/delzanno.l N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/duchess.l N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/myassertions.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/global_types.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LProblem.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Eqn.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/Makefile.globals N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/LICENSE N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/var-info.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrLocImpl.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/parse_globals.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrLocImpl.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrRelImpl.h N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrRelImpl.cc N applications/LPInv/2005-01-31/unpacked/lpinv-src/src/TrSys.h N applications/LPInv/2005-01-31/unpacked/examples/Standard/cars2p.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/cars.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/train-beacon.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/swim-pool.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/mcc.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/heap.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/berkeley.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/dragon.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/consistencyprot.in N applications/LPInv/2005-01-31/unpacked/examples/Standard/README N applications/LPInv/2005-01-31/unpacked/examples/Delz/barberm4-1.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/barberm4-2.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/bigjava.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/CSM.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/incdec.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/mesh2x2.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/mesh3x2.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/README N applications/LPInv/2005-01-31/unpacked/examples/Delz/consprod.br N applications/LPInv/2005-01-31/unpacked/examples/Delz/multipool.br I applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/bigjava.br.o N applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/bigjava.br.e I applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/consistencyprot.br.o N applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/consistencyprot.br.e I applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/incdec.br.o N applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/incdec.br.e I applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/CSM.br.o N applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/CSM.br.e I applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/consprod.br.o N applications/LPInv/2005-01-31/unpacked/examples/Delz/Outputs/consprod.br.e N applications/StInG/2005-01-31/packed/lsting-examples.tgz N applications/StInG/2005-01-31/packed/lsting-src.tgz N applications/StInG/2005-01-31/unpacked/lsting-src/Clump.cc N applications/StInG/2005-01-31/unpacked/lsting-src/DualInvariantMap.cc N applications/StInG/2005-01-31/unpacked/lsting-src/DualTransitionRelation.cc N applications/StInG/2005-01-31/unpacked/lsting-src/InvariantMap.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Location.cc N applications/StInG/2005-01-31/unpacked/lsting-src/System.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Timer.cc N applications/StInG/2005-01-31/unpacked/lsting-src/TransitionRelation.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Clump.h N applications/StInG/2005-01-31/unpacked/lsting-src/DualInvariantMap.h N applications/StInG/2005-01-31/unpacked/lsting-src/DualTransitionRelation.h N applications/StInG/2005-01-31/unpacked/lsting-src/InvariantMap.h N applications/StInG/2005-01-31/unpacked/lsting-src/Location.h N applications/StInG/2005-01-31/unpacked/lsting-src/System.h N applications/StInG/2005-01-31/unpacked/lsting-src/Timer.h N applications/StInG/2005-01-31/unpacked/lsting-src/TransitionRelation.h N applications/StInG/2005-01-31/unpacked/lsting-src/y.tab.h N applications/StInG/2005-01-31/unpacked/lsting-src/ltrtest.y N applications/StInG/2005-01-31/unpacked/lsting-src/ltrtest.l N applications/StInG/2005-01-31/unpacked/lsting-src/DisequalityStore.h N applications/StInG/2005-01-31/unpacked/lsting-src/MatrixStore.h N applications/StInG/2005-01-31/unpacked/lsting-src/PolyStore.h N applications/StInG/2005-01-31/unpacked/lsting-src/DisequalityStore.cc N applications/StInG/2005-01-31/unpacked/lsting-src/MatrixStore.cc N applications/StInG/2005-01-31/unpacked/lsting-src/PolyStore.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Makefile.deps N applications/StInG/2005-01-31/unpacked/lsting-src/Context.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Expression.cc N applications/StInG/2005-01-31/unpacked/lsting-src/ExpressionStore.cc N applications/StInG/2005-01-31/unpacked/lsting-src/funcs.cc N applications/StInG/2005-01-31/unpacked/lsting-src/LinExpr.cc N applications/StInG/2005-01-31/unpacked/lsting-src/LinTransform.cc N applications/StInG/2005-01-31/unpacked/lsting-src/PolyUtils.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Rational.cc N applications/StInG/2005-01-31/unpacked/lsting-src/SparseLinExpr.cc N applications/StInG/2005-01-31/unpacked/lsting-src/SparseLinTransform.cc N applications/StInG/2005-01-31/unpacked/lsting-src/var-info.cc N applications/StInG/2005-01-31/unpacked/lsting-src/Context.h N applications/StInG/2005-01-31/unpacked/lsting-src/Expression.h N applications/StInG/2005-01-31/unpacked/lsting-src/ExpressionStore.h N applications/StInG/2005-01-31/unpacked/lsting-src/funcs.h N applications/StInG/2005-01-31/unpacked/lsting-src/global_types.h N applications/StInG/2005-01-31/unpacked/lsting-src/LinExpr.h N applications/StInG/2005-01-31/unpacked/lsting-src/LinTransform.h N applications/StInG/2005-01-31/unpacked/lsting-src/myassertions.h N applications/StInG/2005-01-31/unpacked/lsting-src/PolyUtils.h N applications/StInG/2005-01-31/unpacked/lsting-src/Rational.h N applications/StInG/2005-01-31/unpacked/lsting-src/SparseLinExpr.h N applications/StInG/2005-01-31/unpacked/lsting-src/SparseLinTransform.h N applications/StInG/2005-01-31/unpacked/lsting-src/README N applications/StInG/2005-01-31/unpacked/lsting-src/var-info.h I applications/StInG/2005-01-31/unpacked/lsting-src/Makefile.deps.bak N applications/StInG/2005-01-31/unpacked/lsting-src/Makefile N applications/StInG/2005-01-31/unpacked/lsting-src/doit N applications/StInG/2005-01-31/unpacked/lsting-src/Makefile.globals N applications/StInG/2005-01-31/unpacked/lsting-src/LICENSE N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/barber.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/berkeley-nat.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/berkeley.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/cars.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/cars1.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/cars2.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/efm.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/efm1.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/heap.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/lifo.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/robot.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/see-saw.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/swim-pool.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/lifo-nat.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/train-beacon.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/train-one-loc.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/swim-pool-1.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/train-rm03.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/torun I applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/torun~ N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/doit I applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/doit~ I applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/cars.in~ I applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/cars1.in~ I applications/StInG/2005-01-31/unpacked/lsting-src/Examples/LowDim/heap.in~ N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Cars/cars-2p-avg.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Cars/cars-2p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Cars/cars-3p-avg.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Cars/cars-3p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Cars/cars-4p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Cars/cars-5p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Scheduler/scheduler-2p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Scheduler/scheduler-2p-throughput.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Scheduler/scheduler-3p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Scheduler/scheduler-4p.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Scheduler/scheduler-4p-throughput.in N applications/StInG/2005-01-31/unpacked/lsting-src/Examples/Scheduler/scheduler-5p.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/barber.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/berkeley-nat.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/berkeley.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/cars.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/cars1.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/cars2.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/efm.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/efm1.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/heap.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/lifo.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/robot.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/see-saw.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/swim-pool.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/lifo-nat.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/train-beacon.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/train-one-loc.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/swim-pool-1.in N applications/StInG/2005-01-31/unpacked/Examples/LowDim/train-rm03.in N applications/StInG/2005-01-31/unpacked/Examples/Cars/cars-2p-avg.in N applications/StInG/2005-01-31/unpacked/Examples/Cars/cars-2p.in N applications/StInG/2005-01-31/unpacked/Examples/Cars/cars-3p-avg.in N applications/StInG/2005-01-31/unpacked/Examples/Cars/cars-3p.in N applications/StInG/2005-01-31/unpacked/Examples/Cars/cars-4p.in N applications/StInG/2005-01-31/unpacked/Examples/Cars/cars-5p.in N applications/StInG/2005-01-31/unpacked/Examples/Scheduler/scheduler-2p.in N applications/StInG/2005-01-31/unpacked/Examples/Scheduler/scheduler-2p-throughput.in N applications/StInG/2005-01-31/unpacked/Examples/Scheduler/scheduler-3p.in N applications/StInG/2005-01-31/unpacked/Examples/Scheduler/scheduler-4p.in N applications/StInG/2005-01-31/unpacked/Examples/Scheduler/scheduler-4p-throughput.in N applications/StInG/2005-01-31/unpacked/Examples/Scheduler/scheduler-5p.in N applications/PrologAnalyser/2005-03-03/packed/analyser-0.2a.tar.bz2 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/BUGS N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/Makefile N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/Manifest N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/README N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/AUTHORS N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/INSTALL N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/COPYING N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/Vars.mk N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/jc N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/jr N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/jcc N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/jdc N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/jdoc N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/ascii2psREC N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/cextract N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/cheaders N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/file2ps N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/lstree N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/javancss N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/ascii2ps N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/ascii2ps_nonb N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/bin/ascii2psREC_nonb N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/jar/hs_err_pid7573.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/jar/hs_err_pid7815.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/jar/javancss.jar N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/jar/jhbasic.jar N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/jar/ccl.jar N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/src/function.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/src/global.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/src/jniaux.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/src/matrix.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/src/polyhedron.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/src/CPoly.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/ppl_cpoly/include/LibCPoly.h N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/ASeqTest.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/RefOutTest.java I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/.TestParser.jj~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/Test.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/CPolyTest.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/TestParser.jj N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/ASubstTest.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/refout-tests/REFOUT_UNIF_FUNC.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/refout-tests/REFOUT_EXTG.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/refout-tests/REFOUT_NORMALIZE.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/refout-tests/REFOUT_CONC.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/refout-tests/REFOUT_UNIF_GLB.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/PS_STAR.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/LEQ.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/unif.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/EXTC_SUBST.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/unif1.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/leq.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/LUB.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/UNIF1.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/lub.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/GLB.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/glb.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/UNIF.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/UNIF_BETA.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/RESTRG_SUBST.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/RESTRC_SUBST.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/ao-tests/ps_star.log N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_UNIF_FUNC_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_RESTRC_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_DIFF_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_UNIF_BETA.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_LEQ.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_REF_REF.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_UNIF_VAR_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_EXTG_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_EXTC_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_GLB.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_PS_STAR.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_UNIF.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_RESTRC_CLAUSES.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_EXT_LUB.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_EXTC_CLAUSES.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_UNIF1.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/asubst-tests/ASUBST_RESTRG_SUBST.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_LUB.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_REPLACE.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_GLB.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_NNC.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_GET_DIMENSION.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_GET_COPY.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_SUM_SOL.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_IS_EMPTY_Z.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_ICM.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_EXTEND.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_ADD_CONSTRAINT.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_DELETE.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_RESTRICT.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_DCM.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_MULT_SOL.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_DIFFERENCE.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_LEQ.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/cpoly-tests/CPOLY_CREATE.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_CHECK_TERM.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_UNIF_FUNC.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_REF_REF.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_RESTRC.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_EXTG.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_RESTRG.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_CONC.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_UNIF_VAR.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_LEQ.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/output-tests/aseq-tests/ASEQ_ADD_IMPLICIT_CONSTRAINTS.out N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/refout-tests/REFOUT_UNIF_GLB.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/refout-tests/REFOUT_EXTG.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/refout-tests/REFOUT_NORMALIZE.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/refout-tests/REFOUT_UNIF_FUNC.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/refout-tests/REFOUT_CONC.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/PS_STAR.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/LEQ.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/EXTC_SUBST.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/LUB.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/UNIF1.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/GLB.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/RESTRG_LITERAL.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/RESTRC_CLAUSES.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/UNIF.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/EXTC_CLAUSES.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/UNIF_BETA.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/RESTRG_SUBST.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/ao-tests/RESTRC_SUBST.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_RESTRG_SUBST.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_RESTRC_SUBST.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_EXTC_SUBST.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_unif1.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_UNIF_BETA.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_leq.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_unif.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_lub.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_glb.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_RESTRG_LITERAL.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_RESTRC_CLAUSES.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_EXTC_CLAUSES.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/copies/_ps_star.txt N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_UNIF_BETA.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_EXTC_CLAUSES.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_RESTRG_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_RESTRC_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_UNIF_VAR_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_UNIF_FUNC_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_GLB.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_LEQ.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_EXTG_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_EXTC_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_UNIF.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_DIFF_SUBST.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_PS_STAR.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_RESTRC_CLAUSES.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_EXT_LUB.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_UNIF1.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/asubst-tests/ASUBST_REF_REF.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_RESTRICT.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_REPLACE.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_GET_COPY.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_IS_EMPTY_Z.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_DELETE.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_EXTEND.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_CREATE.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_DCM.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_MULT_SOL.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_DIFFERENCE.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_GLB.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_GET_DIMENSION.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_ICM.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_ADD_CONSTRAINT.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_LEQ.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_LUB.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_NNC.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/cpoly-tests/CPOLY_SUM_SOL.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_REF_REF.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_RESTRC.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_EXTG.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_RESTRG.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_UNIF_VAR.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_ADD_IMPLICIT_CONSTRAINTS.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_CHECK_TERM.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_CONC.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_LEQ.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/test/input-tests/aseq-tests/ASEQ_UNIF_FUNC.in N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/ArgumentErrorException.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/ArgumentProcessor.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/StringTracker.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/StringDef.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/BoolDef.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/ParameterDef.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/CharTracker.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/IntDef.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/jargp/ParameterSet.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/src/function.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/src/global.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/src/jniaux.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/src/matrix.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/src/polyhedron.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/src/CPoly.c N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/polylib_cpoly/include/LibCPoly.h N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/Analyser.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/Statistics.java I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/.Parameters.java~ I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/.Analyser.java~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/Parameters.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/LaTeX.java I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/.Statistics.java~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/Time.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/package.html N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/Bottom.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/abeh/BehaviouralPair.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/abeh/Behaviour.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/abeh/SBeh.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/AbstractSequence.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/gamma/Sizes.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/gamma/GammaDispatcher.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/gamma/GammaDomain.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/gamma/GammaTuple.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/gamma/esol/ESol.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/aseq/gamma/erefout/ERefOut.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/AbstractSubstitution.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/BetaRefOut.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/DeltaRefOut.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/Delta.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/sv/SV.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/frm/FRM.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/frm/Frame.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/ModeType.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/AlphaDomain.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/AlphaTuple.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/AlphaDispatcher.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/ps/PSharingI.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/lin/Lin.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/mode/ModesI.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/mode/Mode.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/type/Type.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/adom/asubst/alpha/type/TypesI.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/Trace.java1 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/ASem2.java1 I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/Analysis.java~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/DecoratedProcedure.java1 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/AbstractExecution.java1 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/Analysis.javaOLD N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/DecoratedClause.java1 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/DecoratedProgram.java1 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/Analysis.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/ASem.java1 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/ASem1.java1 I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/asem/.Analysis.java~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/myio/MyFile.java I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/myio/.MyFile.java~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/exception/CPolyException.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/exception/UserSpecException.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/exception/AnalyserException.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MyFunction.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/Vertex.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/Matrix.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/CPoly.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/Variable2I.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MySet.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/I2I.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MySymRelation.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/Pair.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/V2V.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/UV2SV.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/I2Variable.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/I2Frame.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/IxI.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/VxV.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MyBoolean.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/Variable2UV.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/UV2UV.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/IxI2I.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/Indice.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MyRelation.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MyInteger.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/UVxUV.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/I2Type.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/MyObject.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/I2Mode.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/UV2I.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/DepGraph.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/ConSysUnion.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/LinExpression.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/Variable.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/ConSys.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/Coefficient.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/SizeVariable.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/mystructure/sizes/Constraint.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/parsing/BatchParser.jj I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/parsing/.Parser.jj~ I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/parsing/.BatchParser.jj~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/parsing/Parser.jj N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/userspec/UserArg.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/userspec/UserArgFrame.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/userspec/UserVariable.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/userspec/UserSpec.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/userspec/UserASubst.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Procedure.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Program.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Cut.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/NameArity.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Variable.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Term.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/PredicateFunctor.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Predicate.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Functor.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Unification.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Clause.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/EmptyLiteral.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Mapping.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Not.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/sources/analyser/program/Literal.java N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/nat.spec N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/err.spec N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/special.spec I applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/.bench_01.batch~ N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_01.pl N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_02.pl N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_03.pl N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_04.pl N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/special.pl N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/nat.pl N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_01.spec N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/batch_01 N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_02.spec N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/inputs/bench_03.spec N applications/PrologAnalyser/2005-03-03/unpacked/analyser-0.2a/properties/analyser.prop No conflicts created by this import

1 0

w3ppl/htdocs Applications/Applications.raw Cre ...
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 11:43:31 Modified files: htdocs/Applications: Applications.raw htdocs/Credits : Credits.raw Log message: Updated the links to StInG and LPInv. LPInv now also mentioned in the credits page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs Applications/Applications.raw Cre ...
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 11:36:22 Modified files: htdocs/Applications: Applications.raw htdocs/Credits : Credits.raw Log message: Links to the home page of Sriram Sankaranarayanan updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs Applications/Applications.raw Cre ...
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 11:34:33 Modified files: htdocs/Applications: Applications.raw htdocs/Credits : Credits.raw Log message: Links to TVLA updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/src Row.cc
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 08:22:20 Modified files: src : Row.cc Log message: Row::normalize() speeded-up further. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 17 Sep '05

17 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-17 08:17:27 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Frehse05th added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int64_a
by Roberto Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-16 21:24:16 Modified files: interfaces/Prolog/tests: expected_pchk_int64_a Log message: Adapted to the recent changes in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0