November 2006 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.templates.hh
by Elena Mazzi 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-07 15:20:02 Modified files: src : BD_Shape.templates.hh Log message: Fixed a comment on BD_Shape::remove_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl ./configure.ac m4/Makefile.am m4/ac_prog_j ...
by Andrea Cimino 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-07 15:18:49 Modified files: . : configure.ac m4 : Makefile.am ac_prog_java.m4 ac_prog_javac.m4 Removed files: m4 : ac_prog_java_works.m4 ac_prog_javac_works.m4 Log message: Java environment detection improved. Moved all the *_works stuff in the ac_prog_java* files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_java.m4.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javac.m4.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_java_works.m4.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javac_works.m4.dif…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
by Enea Zaffanella 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-07 15:08:04 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Added (imprecise but safe) implementations of shapes constructors taking a congruence system as input. Added a few missing include files so as to avoid indirect dependencies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh
by Roberto Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-07 14:18:09 Modified files: src : Interval.defs.hh Interval.inlines.hh Log message: Added Interval::swap(Interval& y) for consistency with the rest of the library. The corresponding std::swap() function is now implemented in terms of that one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh Inte ...
by Abramo Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-07 13:14:59 Modified files: src : Boundary.defs.hh Interval.defs.hh Interval_Info.defs.hh Log message: Added swap. Moved adjust_boundary_info in more appropriate file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-07 13:13:54 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Move swap in std namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl ./configure.ac m4/ac_prog_javah.m4
by Roberto Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-07 10:23:31 Modified files: . : configure.ac m4 : ac_prog_javah.m4 Log message: AC_CANONICAL_SYSTEM is obsolete: use AC_CANONICAL_HOST instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javah.m4.diff?cvsr…

1 0

ppl ./configure.ac m4/ac_prog_javah.m4
by Andrea Cimino 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-07 10:00:34 Modified files: . : configure.ac m4 : ac_prog_javah.m4 Log message: Call AC_CANONICAL_SYSTEM before AM_INIT_AUTOMAKE to avoid the previous autoreconf messages. ac_prog_javah.m4 reverted to the previous version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javah.m4.diff?cvsr…

1 0

ppl/m4 ac_prog_javah.m4
by Andrea Cimino 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-07 09:23:52 Modified files: m4 : ac_prog_javah.m4 Log message: Avoid autoreconf warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_javah.m4.diff?cvsr…

1 0

ppl/src Box.inlines.hh
by Roberto Bagnara 07 Nov '06

07 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-07 08:51:59 Modified files: src : Box.inlines.hh Log message: Fixed Box<Interval>::is_empty(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0