December 2004 - PPL-devel - BUGSENG Mailman

ppl config.rpath
by Roberto Bagnara 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-24 10:42:24 Modified files: . : config.rpath Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.rpath.diff?cvsroot=ppl…

1 0

ppl TODO README.configure
by Roberto Bagnara 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-24 10:41:51 Modified files: . : TODO README.configure Log message: Minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl NEWS
by Roberto Bagnara 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-24 10:41:15 Modified files: . : NEWS Log message: Minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14…

1 0

ppl CREDITS
by Roberto Bagnara 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-24 10:40:42 Modified files: . : CREDITS Log message: AIDA project credited. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/src Checked_Number.inlines.hh Native_Integ ...
by Enea Zaffanella 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-24 10:14:33 Modified files: src : Checked_Number.inlines.hh Native_Integer.inlines.hh checked.defs.hh Log message: Added some \relates doxygen commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl Watchdog/Makefile.am Watchdog/configure.ac ...
by Roberto Bagnara 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-24 09:00:57 Modified files: Watchdog : Makefile.am configure.ac interfaces/Prolog/YAP: Makefile.am Log message: Enable the creation of DLLs under Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl TODO
by Patricia Hill 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-24 08:40:31 Modified files: . : TODO Log message: More checking of the documentation should be done. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13…

1 0

ppl/src Generator_System.defs.hh Linear_Expres ...
by Patricia Hill 24 Dec '04

24 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-24 08:34:59 Modified files: src : Generator_System.defs.hh Linear_Expression.defs.hh Polyhedra_Powerset.defs.hh Polyhedron.defs.hh Powerset.defs.hh Log message: Several small improvements to the documantation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs…

1 0

ppl NEWS
by Enea Zaffanella 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-23 22:37:13 Modified files: . : NEWS Log message: Added quotes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14…

1 0

ppl NEWS
by Enea Zaffanella 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-23 22:36:37 Modified files: . : NEWS Log message: Mentioned the new configuration option --enable-coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.14…

1 0