April 2005 - PPL-devel - BUGSENG Mailman

ppl/src Float.defs.hh checked_float.inlines.hh
by Abramo Bagnara 28 Apr '05

28 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-04-28 18:50:55 Modified files: src : Float.defs.hh checked_float.inlines.hh Log message: Avoid some compiler warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

RE: [PPL-devel] question about ppl and prolog.
by P M Hill 28 Apr '05

28 Apr '05

Dear Jie, The PPL has been developed for GNU/Linux operating systems. A list of platforms that have been used to install the PPL are listed at http://www.cs.unipr.it/ppl/portability. It is not therefore so surprising that you have a problem installing it in "windows". If you would like to use the PPL, I suggest you try it on one of the recommended platforms. For installing the PPL, see the instructions in ppl-0.7-1/INSTALL. However, before installation, it is worth also checking the installation requirements - and these are described at http://www.cs.unipr.it/ppl/Download/requirements. Note also that instructions for dynamically loading the library in SICStus Prolog are described in the user documentation (which may be read at http://www.cs.unipr.it/ppl/Documentation/user/). Let us know how you get on. best wishes, Pat On Wed, 27 Apr 2005, jouyang wrote: > Dear Pat, > > Thank you for your reply. I am using PPL version 0.7 and SICStus prolog > under windows. I downloaded the package and uncompressed it. Actually I > don't know how to make sure the package is properly installed. Do I need > to compile the source files? I did 'automake' for the package but it > seemed nothing was changed. When I consult 'sp_pl_check.pl' in the > 'ppl/interfaces/Prolog/SICStus', the error I get is > 'Existence error in argument 1 of load_foreign_resource/1 > file ppl_sicstus does not exist'. I doubt the package is not > installed. Can you tell what I missed from the above information? Your > help is greatly appreciated. Look forward to your reply. Thanks again. > > Best regards, > > Jie > > -----Original Message----- > From: P M Hill [mailto:hill@comp.leeds.ac.uk] > Sent: Wednesday, April 27, 2005 2:45 AM > To: jouyang > Cc: ppl-devel(a)cs.unipr.it > Subject: Re: [PPL-devel] question about ppl and prolog. > > Dear Jie, > > We would be happy to help you get started with the PPL, but you do not > give us much information. > > I assume you have successfully installed the PPL and at least one of the > > Prolog interfaces. Is this correct? Then, in this case, we need to know > which Prolog interfaces you have installed. The way we use the Prolog > interface for the PPL partly depends on the Prolog system itself. > > There are several examples of Prolog programs that use the PPL included > in > the `ppl/interfaces/Prolog/tests' directory (clpq.pl, clpq2.pl and > pl_check.pl). Any extra code needed for the specific Prolog system to be > > used are in the appropriate subdirectories. You can see these being run > if > you do a "make check" for the Prolog System you have installed. I > suggest > you look at at least one of these examples to see how things work before > > writing your own interface. Note that the program pl_check.pl executes > every one of the Prolog predicates provided by the PPL and, hence, > provides examples of their use. > > As regards "initializing" the library, normally, in the Prolog code, > before using any of the main PPL predicates, you should first call the > proposition: > ppl_initialize. > This, in fact, initializes the PPL system. > > Information about the installation and use of the Prolog systems is also > > in the documentation. Have a look at the section on "System-Dependent > Features" for your Prolog system you are using. > > If you want more help, let us know which Prolog system you are > using and if you can run "make check" successfully on this system. > > All the best, > Pat > > On Tue, 26 Apr 2005, jouyang wrote: > >> Hi, >> I am new to PPL and Prolog. I am trying to use PPL in Prolog programs. >> Can someone give an example showing how to initialize the library and >> use the interfaces. Thanks in advance. >> >> >> Jie >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > > > >

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...
by Matthew Mundell 27 Apr '05

27 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-27 21:45:24 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid_conversion.cc Grid.inlines.hh Grid.defs.hh Log message: Take out all saturation matrix code, polyhedron method descriptions, some tracing, the polyhedron related parts of exception messages, and the methods obtain_sorted_congruences, obtain_sorted_generators, obtain_sorted_congruences_with_sat_c and obtain_sorted_generators_with_sat_g. Only pass the source and destination systems to the conversion and simplify methods. Revert some of the temporarily public methods to private. Clean up the minimize methods and enclose them in a namespace block. Conversion Enclose the method definitions in a namespace block. Improve comments and initial asserts. Skip multiplying the destination grid by the multiplier when the multiplier is one. Use temporary variables better in the parameter to congruence version. Reduction Neaten the reduce_line_with_line description, and some variable names in the reduce methods. Only define trailing_rows_are_zero when assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Congruence_System.inlines.hh
by Matthew Mundell 27 Apr '05

27 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-27 21:10:52 Modified files: src : Congruence_System.inlines.hh Log message: Take old comment out of resize_no_copy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines…

1 0

question about ppl and prolog.
by jouyang 27 Apr '05

27 Apr '05

Hi, I am new to PPL and Prolog. I am trying to use PPL in Prolog programs. Can someone give an example showing how to initialize the library and use the interfaces. Thanks in advance. Jie

3 2

ppl/src Grid_simplify.cc
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:54:48 Modified files: src : Grid_simplify.cc Log message: Use the new is_virtual and set_is_virtual methods instead of the old virtual row functions. Clean up many of the temporary comments and some of the others. Improve variable names. Take out some of the trace printing. Improve the loop used to iterate through the preceding rows in the congruence reduction. Move the congruence reduction OK assertion so that is is called in every return case. Save doing one of the comparisons in the empty grid check at the end of the congruence reduction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_minimize.cc
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:38:53 Modified files: src : Grid_minimize.cc Log message: Add an assertion that there are rows to the 4 parameter congruence to generator minimize method. Take the Polhedron assertion comment out of both of the 4 parameter minimize methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

ppl/src Grid_nonpublic.cc Grid_conversion.cc G ...
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:33:32 Modified files: src : Grid_nonpublic.cc Grid_conversion.cc Generator_System.cc Log message: Use new is_virtual and set_is_virtual methods instead of the old virtual row functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Grid.inlines.hh Grid.defs.hh
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:30:30 Modified files: src : Grid.inlines.hh Grid.defs.hh Log message: Take out the virtual row functions (replace with methods in the Generator and Congruence classes). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Generator.inlines.hh Generator.defs.hh
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:28:33 Modified files: src : Generator.inlines.hh Generator.defs.hh Log message: Add is_virtual. Patches: 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.defs.hh.diff?cv…

1 0