February 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus .cvsignore
by Roberto Bagnara 12 Feb '06

12 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-12 09:19:09 Modified files: interfaces/Prolog/SICStus: .cvsignore Log message: File ppl_sicstus.pl was erroneously ignored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/.cv…

1 0

ppl/src GMP_Integer.defs.hh
by Enea Zaffanella 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-11 20:47:31 Modified files: src : GMP_Integer.defs.hh Log message: Added a missing \relates Doxygen command for gdcext_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?…

1 0

ppl/src Congruence.defs.hh Congruence_System.d ...
by Enea Zaffanella 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-11 20:46:50 Modified files: src : Congruence.defs.hh Congruence_System.defs.hh Grid_Generator.defs.hh Grid_Generator_System.defs.hh Grid_Certificate.defs.hh Grid.defs.hh globals.defs.hh Log message: Inserting the Grid classes in the C++ interface documentation group. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

ppl/src LP_Problem.cc LP_Problem.defs.hh
by Andrea Cimino 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-11 15:51:39 Modified files: src : LP_Problem.cc LP_Problem.defs.hh Log message: Removed redundant code where possible. Properly renamed some variables and methods. Try to avoid memory reallocations and to keep the internal data structures always consistent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl src/Makefile.am tests/BD_Shape/Makefile.am ...
by Roberto Bagnara 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-11 13:51:52 Modified files: src : Makefile.am tests/BD_Shape : Makefile.am tests/Grid : Makefile.am tests/Polyhedron: Makefile.am Log message: Use precompiled headers, if requested to do so. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl src/Grid.defs.hh doc/definitions.dox
by Patricia Hill 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-11 13:27:08 Modified files: src : Grid.defs.hh doc : definitions.dox Log message: Corrected doxygen references. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl configure.ac
by Roberto Bagnara 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-11 12:45:22 Modified files: . : configure.ac Log message: Added an initial version of the new --enable-pch configure option: this will allow to enable precompiled headers when they are made available by the C/C++ compilers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl Watchdog/src/.cvsignore Watchdog/src/Makef ...
by Roberto Bagnara 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-11 11:34:14 Modified files: Watchdog/src : .cvsignore Makefile.am interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc tests/Polyhedron: watchdog1.cc Log message: We now directly create `pwl.hh': `pwl_install.hh' does not exist any longer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/.cvsignore.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… 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/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/watchdog1.cc…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Enea Zaffanella 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-11 11:06:07 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Added a couple of missing namespace qualifications in \relates Doxygen commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl Watchdog/utils/.cvsignore debian/.cvsignor ...
by Roberto Bagnara 11 Feb '06

11 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-11 11:03:44 Modified files: Watchdog/utils : .cvsignore debian : .cvsignore doc : .cvsignore src : .cvsignore utils : .cvsignore Log message: Ignore more built files and directories. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/.cvsignore.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/.cvsignore.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/.cvsignore.diff?cvsroot…

1 0