- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/Ciao Makefile.am ciao_cl ...
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 12:03:45 Modified files: interfaces/Prolog/Ciao: Makefile.am Added files: interfaces/Prolog/Ciao: ciao_clpq.pl Log message: Little progress in the Ciao-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 12:02:45 Modified files: src : Polyhedron.inlines.hh Log message: Improved comments for Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Polyhedron.inlines.hh
by Elisa Ricci 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-04 11:36:57 Modified files: src : Polyhedron.inlines.hh Log message: In Polyhedron::shrink_bounding_box() added the comment that explains why we change the sign of `n' when we built the ExtendedRational `r`. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 10:29:23 Modified files: src : Polyhedron.inlines.hh Log message: Avoid taking references to temporary GMP expressions. FIXME about a missing comment added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/tests boundingbox3.cc boundingbox4.cc
by Elisa Ricci 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-04 09:34:55 Modified files: tests : boundingbox3.cc boundingbox4.cc Log message: Modified these tests so that they also verify Polyhedron::shrink_bounding_box(box, POLYNOMIAL). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cv…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 08:38:17 Modified files: src : Polyhedron.cc Log message: Avoid some useless copies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 23:30:57 Modified files: src : Polyhedron.cc Log message: Avoid taking references to temporary GMP expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am ascii_dump_load1.cc asci ...
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 18:41:01 Modified files: tests : Makefile.am ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc ascii_dump_load4.cc ascii_dump_load5.cc Log message: Be consistent in naming files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load5.cc.dif…

1 0

ppl/src Row.cc Row.inlines.hh
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 17:32:22 Modified files: src : Row.cc Row.inlines.hh Log message: Progress in supporting compilers that do not provide flexible arrays. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl interfaces/Prolog/Prolog_interface.dox int ...
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 12:02:32 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/GNU: Makefile.am m4 : ac_check_gmp.m4 Log message: For the sake of not very smart linkers, link with `-lgmpxx -lgmp' instead of the other way around. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0