January 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Ciao/Makefile.am SICStus ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 16:12:23 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am Log message: Renamed some variables. 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/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 15:56:10 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Dependencies fixed. Allow the test targets to be executed in parallel. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am SICStus ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 14:48:43 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am Log message: Added missing prerequisites. 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/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

w3ppl/htdocs/Documentation ppl.bib ppl_citatio ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 11:53:45 Modified files: htdocs/Documentation: ppl.bib ppl_citations.bib Log message: Added ISBN for the SAS 2005 volume. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

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

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 11:08:08 Modified files: src : Checked_Number.defs.hh Log message: Useless, commented-out declaration removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-08 10:18:41 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Added a test for exception "notan_LP_Problem_handle". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/src Row.cc
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 08:44:40 Modified files: src : Row.cc Log message: Corrected use of exact_div_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Linear_System.cc
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 08:43:59 Modified files: src : Linear_System.cc Log message: Corrected uses of exact_div_assign(). Repeated computation factorized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/src LP_Problem.cc
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 08:42:56 Modified files: src : LP_Problem.cc Log message: Corrected the uses of lcm_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src GMP_Integer.defs.hh GMP_Integer.inlines.hh
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 08:40:31 Modified files: src : GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Removed the following redundant functions void gcd_assign(GMP_Integer& x, const GMP_Integer& y); void lcm_assign(GMP_Integer& x, const GMP_Integer& y); void exact_div_assign(GMP_Integer& x, const GMP_Integer& y); void sqrt_assign(GMP_Integer& x). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di…

1 0