December 2004 - PPL-devel - BUGSENG Mailman

ppl ./install-sh Watchdog/install-sh
by Roberto Bagnara 19 Dec '04

19 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-19 07:25:47 Modified files: . : install-sh Watchdog : install-sh Log message: Updated from Automake 1.9.4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsr…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 18 Dec '04

18 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-18 17:37:26 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Erase the *.xwam files so as to force XSB to recompile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl NEWS
by Roberto Bagnara 18 Dec '04

18 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-18 16:29:47 Modified files: . : NEWS Log message: One entry slightly improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14…

1 0

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

18 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-18 16:28:04 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: No longer support unary plus in linear expressions. Avoid long source lines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc XSB/ppl ...
by Abramo Bagnara 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-17 18:59:52 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Added missing colons. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl configure.ac
by Roberto Bagnara 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-17 18:53:59 Modified files: . : configure.ac Log message: Created tests/Polyhedron/Makefile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./configure.ac demos/ppl_lcdd/ppl_lcdd.cc ...
by Abramo Bagnara 17 Dec '04

17 Dec '04

1 0

ppl/src float.types.hh
by Abramo Bagnara 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-17 18:18:51 Modified files: src : float.types.hh Log message: More portable code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsro…

1 0

ppl/src Makefile.am
by Abramo Bagnara 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-17 18:18:16 Modified files: src : Makefile.am Log message: Added new files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Limits.hh
by Abramo Bagnara 17 Dec '04

17 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-12-17 18:17:57 Modified files: src : Limits.hh Log message: More portable code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh.diff?cvsroot=pp…

1 0