October 2001 - PPL-devel - BUGSENG Mailman

[Fwd: Re: To summarize [Was: Feature request: optionally compile with support for exceptions]]
by Roberto Bagnara 30 Oct '01

30 Oct '01

-------- Original Message -------- Subject: Re: To summarize [Was: Feature request: optionally compile with support for exceptions] Date: Mon, 29 Oct 2001 23:52:58 GMT From: pedrogimeno(a)wanadoo.es (Pedro Gimeno) To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <Pine.LNX.4.21.0110231300510.7206-100000(a)higgs.physik.uni-mainz.de> <878zdznxwu.fsf(a)zip.com.au> <3BDD1C4F.3312FF88(a)cs.unipr.it> Hello, I don't know whether this can help or not, but there's a chance. Please take a look at: <http://freetype.sourceforge.net/david/reliable-c.html> to see if you find there suggestions that can help you in your task. Regards, Pedro Gimeno

1 0

To summarize [Was: Feature request: optionally compile with support for exceptions]
by Roberto Bagnara 29 Oct '01

29 Oct '01

Hi there, it looks like I was not very successful in explaining why we absolutely need GMP to be compiled with exception support (and, in the long run, to be exception-safe). Absolutely means that we have only two choices: 1) we work with the GMP people to get this done in a way that satisfies everybody; or 2) we distribute our own patched version of the GMP (sources and binaries). If at all possible, we want to avoid 2, but we need to know whether the GMP people is available for alternative 1. All the best, Roberto P.S. You can learn more about one of the projects where the functionality we require is needed at http://www.cs.unipr.it/ppl/ -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

ppl/src Polyhedron.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 21:20:18 Modified files: src : Polyhedron.cc Log message: Be lazy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src conversion.cc minimize.cc simplify.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 21:18:02 Modified files: src : conversion.cc minimize.cc simplify.cc Log message: Comments fixed: the class is called Polyhedron, not Poly. Patches: 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/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 18:26:01 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Use Constraint/Generator::space_dimension() instead of the no longer existing last_variable(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 16:47:18 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh Log message: Removed methods last_variable() and added method space_dimension() to Constraint and Generator. 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.inlines.hh.dif… 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…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-29 16:46:08 Modified files: src : Polyhedron.cc Log message: In Polyhedron(size_t num_dimensions, Degenerate_Kind kind) if we build an universe polyhedron the system of constraints is in the minimal form. In the function insert(Constraint) added the comment that specify why when we insert the constraint the polyhedron is non-empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src ConSys.cc Constraint.cc Constraint.defs.hh
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 16:30:14 Modified files: src : ConSys.cc Constraint.cc Constraint.defs.hh Log message: Constraint::is_non_trivial() transformed into Constraint::is_trivial(). Btw, the old evrsion was still wrong. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-29 16:26:43 Modified files: src : Polyhedron.cc Log message: In function add_constraints, add_constraints_lazy and add_generators the case of cs(gs)_num_columns == 1 && space_dimension() == 0 is considered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl missing
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 16:17:45 Modified files: . : missing Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/missing.diff?cvsroot=ppl&r1=1…

1 0