September 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB ppl_xsb.H ppl_xsb.cc ...
by Enea Zaffanella 20 Sep '06

20 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-20 12:28:39 Modified files: interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc xsb_pl_check.P Log message: Adapted to the chnages in the LP_Problem interface. Patches: 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/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_…

1 0

ppl/tests/LP_Problem exceptions1.cc
by Andrea Cimino 20 Sep '06

20 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-20 12:22:36 Modified files: tests/LP_Problem: exceptions1.cc Log message: Added new tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/exceptions1.…

1 0

ppl/utils timings.cc
by Roberto Bagnara 20 Sep '06

20 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-20 11:01:17 Modified files: utils : timings.cc Log message: Fixed a bug in print_clock(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/timings.cc.diff?cvsroot…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 20 Sep '06

20 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-20 09:50:30 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Adapted to the new LP_Problem interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/tests/Polyhedron powerset1.cc
by Roberto Bagnara 20 Sep '06

20 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-20 08:04:28 Modified files: tests/Polyhedron: powerset1.cc Log message: Work around bugs in GCC 3.3.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc…

1 0

ppl/tests/Ask_Tell
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 20:54:26 ppl/tests/Ask_Tell Update of /cvs/ppl/ppl/tests/Ask_Tell In directory spartacus.cs.unipr.it:/tmp/cvs-serv14137/Ask_Tell Log Message: Directory /cvs/ppl/ppl/tests/Ask_Tell added to the repository

1 0

ppl NEWS
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 20:52:41 Modified files: . : NEWS Log message: Introduce the new Octagonal_Shape class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.19…

1 0

ppl/src Octagonal_Shape.templates.hh
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 20:46:37 Modified files: src : Octagonal_Shape.templates.hh Log message: Indentation fixes. Never leave an operator at end of line. Useless inclusions removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon .cvsignore
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 20:33:03 Removed files: tests/Octagon : .cvsignore Log message: Previous change completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/.cvsignore.diff…

1 0

ppl ./configure.ac tests/Makefile.am tests/Oct ...
by Roberto Bagnara 19 Sep '06

19 Sep '06

1 0