December 2004 - PPL-devel - BUGSENG Mailman

ppl interfaces/Prolog/Ciao/Makefile.am interfa ...
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 13:04:50 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am demos/ppl_lpsol: Makefile.am demos/ppl_lcdd : Makefile.am Log message: When checking for differences between the obtained and the expected output, use `diff -u' instead of `diff -q'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0

ppl/src simplex.cc
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 13:03:45 Modified files: src : simplex.cc Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src simplex.cc
by Roberto Bagnara 31 Dec '04

31 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-31 09:01:26 Modified files: src : simplex.cc Log message: Variable-length automatic arrays are not (yet) standard in C++: use vectors instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Checked_Number.inlines.hh Extended_Num ...
by Abramo Bagnara 31 Dec '04

31 Dec '04

1 0

ppl/demos/ppl_lpsol expected_mpz_a
by Roberto Bagnara 30 Dec '04

30 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-30 18:59:18 Modified files: demos/ppl_lpsol: expected_mpz_a Log message: Adapted to the recent changes to ppl_lpsol. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz_…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 30 Dec '04

30 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-30 16:40:24 Modified files: src : Generator.defs.hh Log message: Avoid a couple of long lines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl ./TODO demos/ppl_lpsol/Makefile.am demos/p ...
by Roberto Bagnara 30 Dec '04

30 Dec '04

1 0

ppl src/Constraint_System.defs.hh src/simplex. ...
by Roberto Bagnara 30 Dec '04

30 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-30 15:21:10 Modified files: src : Constraint_System.defs.hh simplex.cc interfaces/C : ppl_c.cc demos/ppl_lpsol: ppl_lpsol.c Log message: The simplex solver now returns a Simplex_Status instead of a bool. 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/simplex.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 30 Dec '04

30 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-30 15:17:00 Modified files: src : Polyhedron.inlines.hh Log message: In Polyhedron::map_space_dimensions(const Partial_Function& pfunc) we no longer completely trust the (user-provided) partial function `pfunc'. Compiler warning silenced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 30 Dec '04

30 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-30 15:14:57 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Fixed term_to_Coefficient(Prolog_term_ref t). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0