January 2006 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 20:56:50 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Option --max-memory has now -R (and not -V) as its short counterpart. New option --version (-V) prints version information on stdout. Fixed a couple of error messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 20:40:28 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Option --max-memory has now -M (and not -V) as its short counterpart. New option --version (-V) prints version information on stdout. Fixed a bug in the definition of OPTION_LETTERS (-c is not available unless USE_PPL is defined). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl doc/ppl-config.1 src/ppl-config.cc.in
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 20:16:04 Modified files: doc : ppl-config.1 src : ppl-config.cc.in Log message: In the documentation for option --help (-h), specify that the output is written on stdout. Patches: 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/src/ppl-config.cc.in.diff?cvs…

1 0

ppl/doc Makefile.am ppl-config.1
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 20:07:29 Modified files: doc : Makefile.am Added files: doc : ppl-config.1 Log message: Added a draft man page for `ppl-config'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl ./Makefile.am Watchdog/Makefile.am Watchdo ...
by Roberto Bagnara 10 Jan '06

10 Jan '06

1 0

ppl/src ppl-config.cc.in
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 18:17:11 Modified files: src : ppl-config.cc.in Log message: Option --interface (-I) fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvs…

1 0

ppl/src ppl-config.cc.in
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 18:15:48 Modified files: src : ppl-config.cc.in Log message: The --all (-Z) option has been removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvs…

1 0

ppl/src ppl-config.cc.in
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 18:13:44 Modified files: src : ppl-config.cc.in Log message: Print usage information to stdout, not stdin. Include information on reporting bugs in the usage information. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl-config.cc.in.diff?cvs…

1 0

ppl/tests/BD_Shape run_tests
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 16:44:24 Modified files: tests/BD_Shape : run_tests Log message: If "$MAKE" is empty, define it to be "make". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/src LP_Problem.cc
by Enea Zaffanella 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-10 16:17:32 Modified files: src : LP_Problem.cc Log message: Exploit the now available ascii_dump() method for Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0