June 2007 - PPL-devel - BUGSENG Mailman

ppl/tests ppl_test.hh
by Abramo Bagnara 30 Jun '07

30 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-06-30 10:41:14 Modified files: tests : ppl_test.hh Log message: Use method instead of function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 29 Jun '07

29 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-06-29 22:25:28 Modified files: src : Interval.defs.hh Log message: Converted many Interval functions in methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh Interval.defs.hh
by Abramo Bagnara 29 Jun '07

29 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-06-29 22:20:09 Modified files: src : Box.templates.hh Interval.defs.hh Log message: Converted many Interval functions in methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 28 Jun '07

28 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-06-28 12:18:41 Modified files: src : Interval.defs.hh Log message: Removed duplicate definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 28 Jun '07

28 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-06-28 11:14:21 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated from Libtool 1.5.24. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 20 Jun '07

20 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-20 21:15:52 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Doyen06th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 19 Jun '07

19 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-19 08:29:09 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 18 Jun '07

18 Jun '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-06-18 18:31:48 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added SlaninaSSM07TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 13 Jun '07

13 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-06-13 18:31:08 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 Log message: Call the appropriate destructor if the underlined C++ object is a NNC_Polyhedron or a C_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl ppl.spec.in
by Roberto Bagnara 12 Jun '07

12 Jun '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-06-12 21:10:59 Modified files: . : ppl.spec.in Log message: `%%check' removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0