October 2008 - PPL-devel - BUGSENG Mailman

ppl/src MIP_Problem.cc
by Enea Zaffanella 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-26 18:14:41 Modified files: src : MIP_Problem.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.1 ppl_lpsol.c pp ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 16:09:02 Modified files: demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol.c ppl_lpsol_extra_man_text Log message: Documentation improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol_ext…

1 0

ppl ./TODO demos/ppl_lpsol/ppl_lpsol.1 demos/p ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 15:20:12 Modified files: . : TODO demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol.c ppl_lpsol_extra_man_text devtools : generate_man_pages Log message: Completed the man page of ppl_lpsol. Other minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol_ext… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_man_pages.d…

1 0

ppl/doc libppl.3 libppl_c.3
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 14:56:36 Modified files: doc : libppl.3 libppl_c.3 Log message: The standard section name is AUTHOR, not AUTHORS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl_c.3.diff?cvsroot=p…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.1 demos/ppl_lcdd/p ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 14:50:01 Modified files: demos/ppl_lcdd : ppl_lcdd.1 ppl_lcdd_extra_man_text demos/ppl_lpsol: ppl_lpsol.1 ppl_lpsol_extra_man_text doc : ppl-config.1 ppl-config_extra_man_text Log message: Small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.1.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd_extra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.1.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol_ext… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config_extra_man_text…

1 0

ppl TODO
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 14:44:22 Modified files: . : TODO Log message: One item moved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27…

1 0

ppl ./TODO doc/Makefile.am doc/libppl.3
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 14:43:22 Modified files: . : TODO doc : Makefile.am libppl.3 Log message: Another item dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

ppl/doc libppl_c.3
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 14:42:43 Added files: doc : libppl_c.3 Log message: Short overview on how to use the Parma Polyhedra Library (PPL) in C programs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl_c.3?cvsroot=ppl&re…

1 0

ppl ./TODO doc/libppl.3
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 14:08:05 Modified files: . : TODO doc : libppl.3 Log message: One item dealt whith. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

ppl/tests README Polyhedron/README
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 12:25:48 Added files: tests : README Removed files: tests/Polyhedron: README Log message: Moved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/README.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/README.diff?…

1 0