June 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid bug1.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:21:04 Modified files: tests/Grid : bug1.cc Log message: Add header comment, use nout instead of cerr. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.cc.diff?cvsro…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:14:44 Modified files: tests/Grid : grid1.cc Log message: Improve comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/src Row.defs.hh
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:05:35 Modified files: src : Row.defs.hh Log message: Declare Congruence_System a friend when EXTRA_ROW_DEBUG. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 18:01:42 Modified files: src : Grid_simplify.cc Log message: In reduce_pc_with_pc add GCD tracing and use the ternary operator instead of !. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 17:59:11 Modified files: src : Grid_conversion.cc Log message: In generator to congruence conversion ensure that the resulting moduli and first element of the matrix are positive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-06-10 14:02:40 Modified files: src : checked_int.inlines.hh Log message: Avoided a warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 11:16:35 Modified files: src : Grid_simplify.cc Log message: In free_row in the congruence simplify, ensure that all the rows to have the same capacity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 10 Jun '05

10 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-10 11:13:38 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Add method add_row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

Re: [SWIPL] Re: Suggestion for the DarwinPorts version of SWI-Prolog
by Richard A. O'Keefe 10 Jun '05

10 Jun '05

Roberto Bagnara <bagnara(a)cs.unipr.it> wrote: you are also missing a few things. I think you have misunderstood the direction of my argument. My point is that *ANY* set of *fixed* locations (as opposed to *default* locations, which is what you get with the usual 'configure' setup) is a bad idea, and that changing to another fixed location is not an improvement. If a change is to be made, let it be in a more generally useful way. For example, let the installation be relative to the current directory. The third thing is that my proposal is simply to improve portability by matching what Jan's makefile already does on all Unix/GNU platforms: No, the standard setup for SWI on UNIX platforms installs quite happily wherever I tell it to. It has *default* locations, not *fixed* locations. I really wonder how can people in CS departments accept impositions such as the one of not being allowed to know the root password of their own machines. As long as I don't want them connected to the University's network, I can do what I like with them. But if I want them connected to the University's network, I have to abide by the terms and conditions. As for the University's machines (which are bigger and faster than my old machines), they are the University's property and they have the right to set any reasonable conditions they want to. I'm old enough to remember the old co-operative days of the ARPAnet, when you automatically trusted the people at the other end of the wire. I'm also very glad NOT to be running a Windows box; from memory this University receives about 3 times as many bytes of Windows viruses as it does of wanted e-mail. It's not that long since one of our labs was shut down for the best part of a day by students plugging a laptop they "knew" was clean into the network. And it was only yesterday that the University network was shut down by what I believe was an e-attack. If I have to wait a while for things to be done because the sysadmins are busy keeping anti-virus software and firewalls up to date and installing all the latest security patches, that's a price I'm willing to pay. Now if you wanted to start an argument about Sun's FLEXlm-governed C compiler, which costs me serious lost time whenever there's a network outage, and FLEXlm's underlying philosophy (we'll assume you are a lying thieving weasel unless and until you prove otherwise), .... (:-).

1 0

ppl/tests/Polyhedron exceptions3.cc
by Roberto Bagnara 09 Jun '05

09 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-09 20:33:28 Modified files: tests/Polyhedron: exceptions3.cc Log message: Avoid a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/exceptions3.…

1 0