October 2004 - PPL-devel - BUGSENG Mailman

ppl/src LinExpression.defs.hh Variable.defs.hh
by Enea Zaffanella 27 Oct '04

27 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-27 16:56:56 Modified files: src : LinExpression.defs.hh Variable.defs.hh Log message: The new exceptions thrown by Variable and LinExpression are now mentioned in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

ppl/src ConSys.inlines.hh GenSys.inlines.hh Li ...
by Enea Zaffanella 27 Oct '04

27 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-27 12:38:45 Modified files: src : ConSys.inlines.hh GenSys.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Log message: Added static method Linear_System::max_space_dimension(). Corresponding methods of ConSys and GenSys are now implemented using this one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_public.c ...
by Enea Zaffanella 27 Oct '04

27 Oct '04

1 0

ppl/src Linear_Row.defs.hh Linear_Row.inlines.hh
by Enea Zaffanella 27 Oct '04

27 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-27 12:33:24 Modified files: src : Linear_Row.defs.hh Linear_Row.inlines.hh Log message: Implemented method max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh.dif…

1 0

ppl/tests exceptions3.cc
by Enea Zaffanella 27 Oct '04

27 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-27 12:30:10 Modified files: tests : exceptions3.cc Log message: Now also checking for exceptions thrown by Variable and LinExpression when exceeding the maximum space dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions3.cc.diff?cvs…

1 0

ppl/src LinExpression.defs.hh LinExpression.in ...
by Enea Zaffanella 27 Oct '04

27 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-27 12:05:45 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh LinExpression.cc Log message: Added method max_space_dimension(). Checking for space dimension overflows when building a LinExpression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0

ppl/src Variable.defs.hh Variable.inlines.hh
by Enea Zaffanella 27 Oct '04

27 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-27 12:00:54 Modified files: src : Variable.defs.hh Variable.inlines.hh Log message: Added methods space_dimension() and max_space_dimension() to class Variable. The constructor now checks for space dimension overflows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-26 22:34:00 Modified files: tests : Makefile.am Log message: Take into account that some tests with checked-int8 fail only when assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests ehandlers.hh
by Roberto Bagnara 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-26 22:32:53 Modified files: tests : ehandlers.hh Log message: Treat std::overflow_error specially. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsro…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-10-26 18:35:26 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Information about system-dependent features for the Prolog interface updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0