January 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Roberto Bagnara 04 Jan '06

04 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-04 22:29:31 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Removed an inclusion and a using declaration probably left there after a debugging session. Use a single temporary mpz_class object. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/src Limits.hh
by Enea Zaffanella 04 Jan '06

04 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-04 17:15:37 Modified files: src : Limits.hh Log message: Fixed indentation of a line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh.diff?cvsroot=pp…

1 0

ppl/src LP_Problem.cc LP_Problem.defs.hh LP_Pr ...
by Andrea Cimino 04 Jan '06

04 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-01-04 14:43:08 Modified files: src : LP_Problem.cc LP_Problem.defs.hh LP_Problem.inlines.hh Log message: Restored last changes made by Enea, were removed by mistake. Added a FIXME about incrementality and the default constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/src Constraint.defs.hh LP_Problem.cc LP_Pr ...
by Andrea Cimino 04 Jan '06

04 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-01-04 12:57:16 Modified files: src : Constraint.defs.hh LP_Problem.cc LP_Problem.defs.hh LP_Problem.inlines.hh Log message: Added experimental code for incrementality. Backported some changes from the main trunk. Added a modified version of `ascii_dump' for testing purposes. LP_Problem made friend of Constraint to allow compiling. 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/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/src Linear_Expression.cc
by Roberto Bagnara 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-03 21:07:40 Modified files: src : Linear_Expression.cc Log message: Print objects of type Coefficient as such, not as objects of some other type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff…

1 0

ppl/src Checked_Number.defs.hh
by Roberto Bagnara 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-03 20:56:20 Modified files: src : Checked_Number.defs.hh Log message: Added a draft input syntax to the input function for checked numbers: template <typename T, typename Policy> Result input(std::istream& is, Checked_Number<T, Policy>& x, Rounding_Dir dir). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/src Constraint_System.defs.hh Linear_Expre ...
by Roberto Bagnara 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-03 20:53:23 Modified files: src : Constraint_System.defs.hh Linear_Expression.defs.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Enea Zaffanella 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-03 18:38:57 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Return directly the temporary Coefficeint object. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-03 18:37:30 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Corrected a typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Enea Zaffanella 03 Jan '06

03 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-03 16:50:01 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Tentative correction of a bug in the conversion from SWI Prolog unbounded coefficients to PPL's (checked bounded integers) Coefficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0