October 2005 - PPL-devel - BUGSENG Mailman

ppl/src checked.cc
by Matthew Mundell 14 Oct '05

14 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-14 13:09:35 Modified files: src : checked.cc Log message: Comment every function. Slightly improve the formatting in parse_number and input_mpq. In parse_number1 - move the error handling to the first error occurrence (this ensures that variables are always initialised at the destinations of the error jumps) - capatilise the second 'n' in the "inf" check - make the '+' case when parsing strings like "+inf" fall through to the "inf" parsing, instead of jumping to it - after the initial sign-and-symbol-parsing switch statement, split the validity check on the current character into two checks, one of which is already present - use only variable c when parsing a leading "0x", instead of using a second variable (d) - convert the parsing state machine into a series of loops, to save the state interpretation overhead and to lower the number of jumps and the size of the code - manually inline the small relevant portion of get_digit at the digit validity checks which call get_digit with a base of ten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 14 Oct '05

14 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-14 11:42:43 Modified files: src : Polyhedron_public.cc Log message: Prefer "unsatisfiable" to "insoluble". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src scalar_products.types.hh
by Enea Zaffanella 14 Oct '05

14 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-14 09:10:05 Added files: src : scalar_products.types.hh Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.types.hh?…

1 0

ppl/src Constraint.defs.hh Constraint_System.c ...
by Enea Zaffanella 13 Oct '05

13 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-13 10:45:32 Modified files: src : Constraint.defs.hh Constraint_System.cc Generator.defs.hh Generator.inlines.hh Generator_System.cc Generator_System.defs.hh Linear_Expression.defs.hh Linear_System.cc Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc conversion.cc scalar_products.cc scalar_products.defs.hh scalar_products.inlines.hh Log message: Added class Scalar_Products gathering all scalar product functions defined so far. Also added class Topology_Adjusted_Scalar_Product_Sign, implementing a function object choosing the correct scalar product function for the given context. Using these classes to simplify friend declarations and to allow for the removal of some friend declarations. In particular: - Constraint_System is no longer a friend of Generator; - Generator_System is no longer a friend of Constraint. Also added a few missing const qualifications to local variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.h…

1 0

ppl TODO NEWS
by Patricia Hill 12 Oct '05

12 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-10-12 17:53:37 Modified files: . : TODO NEWS Log message: Updated for the with_token changes to the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.15… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 12 Oct '05

12 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-10-12 17:45:04 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Documentation for the Prolog widening/extrapolation "with_tokens" predicates revised to match the changes to the actual implementation. General improvements to the descriptions of all the Prolog widening/extrapolation predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

How can we detect if PPL is installed
by Mario Mendez 11 Oct '05

11 Oct '05

Hi again! In the CLIP group (http://clip.dia.fi.upm.es/) we are in the process of adding an abstract domain for linear invariants discovery to our static analyzer CiaoPP, based on your PPL library. That was the ultimate reason for previous questions to the list. For doing so in a ordered manner, the installation of Ciao now asks the user whether PPL is already installed in the computer or not. If it is, the Ciao-PPL interface in use is the file 'ppl_ciao.pl'. If not, we created a dummy, empty version of it so compilations do not complaint about unknown references. The questions are: -How can we *automatically* detect if PPL is installed -> Which file can be considered as the reference and which command should be used to look for it [rpm -q, install, find...]? -The location of the Ciao interface can be considered as a constant DIR_WHERE_PPL_IS_INSTALLED/interfaces/Prolog/Ciao/ppl_ciao.pl or it depends on any variable (PPL_version,for instance) Thanks! Mario

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ciao ...
by Patricia Hill 11 Oct '05

11 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-10-11 12:47:43 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ciao_pl_check.pl ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc xsb_pl_check.P interfaces/Prolog/YAP: ppl_yap.cc interfaces/Prolog/tests: pl_check.pl Log message: Modified the "with_token" widening and extrapolation predicates to be "with_tokens" where each predicate has an extra argument (ie there are two arguments for the token numbers). All predicates require the number of available tokens as input in the first token argument and unify the second of the token arguments with the number of tokens available after the widening/extrapolation operation. pl_check.pl now tests the modified predicates and their possible exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/src ppl-config.cc.in
by Enea Zaffanella 11 Oct '05

11 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-11 12:07:57 Modified files: src : ppl-config.cc.in Log message: Help message now says something about the available options. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvs…

1 0

ppl ./Makefile.am ./STANDARDS ./TODO ./config. ...
by Roberto Bagnara 11 Oct '05

11 Oct '05

1 0