January 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 01 Jan '05

01 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-01 23:52:37 Modified files: tests/Polyhedron: memory1.cc Log message: Comment added to help decipher a #else. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

ppl/src simplex.cc
by Roberto Bagnara 01 Jan '05

01 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-01 18:19:07 Modified files: src : simplex.cc Log message: The first_phase() function now returns a Simplex_Status(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 01 Jan '05

01 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-01 14:35:07 Modified files: interfaces/C : ppl_c.cc Log message: Fixed ppl_Constraint_System_minimize() (thanks to Andrea Cimino). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src checked.inlines.hh checked_float.inlin ...
by Abramo Bagnara 01 Jan '05

01 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-01 12:24:51 Modified files: src : checked.inlines.hh checked_float.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Renamed mod to more appropriate rem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 01 Jan '05

01 Jan '05

1 0