March 2008 - PPL-devel - BUGSENG Mailman

ppl/tests ppl_test.hh
by Enea Zaffanella 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-10 12:21:25 Modified files: tests : ppl_test.hh Log message: Added overloading for helper function check_result that allows for computing the rectilinear distance between two mpq_class numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-10 12:04:20 Modified files: . : TODO Log message: Started drafting a text that, properly elaborated, should constitute the "philosophy" of our user interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/tests ppl_test.hh
by Enea Zaffanella 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-10 11:55:30 Modified files: tests : ppl_test.hh Log message: Added overloading for function check_result to compute and check distances between a pair of (closure) points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Generator.defs.hh Generator.inlines.hh
by Enea Zaffanella 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-10 11:53:42 Modified files: src : Generator.defs.hh Generator.inlines.hh Log message: Added functions to compute the (rectilinear, euclidean or l-infinify) distance between a pair of (closure) points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

ppl/src Octagonal_Shape.inlines.hh
by Patricia Hill 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-10 07:51:18 Modified files: src : Octagonal_Shape.inlines.hh Log message: Corrected a couple of comments. When building from a congruence system, for a non-zero dimension universe octagon, first set the stongly closed flag (as is already done for building from other systems). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 09 Mar '08

09 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-09 23:40:48 Modified files: src : Box.templates.hh Log message: Braces added to avoid ambiguous `else'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 08 Mar '08

08 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-08 15:24:20 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added PayetS07th. 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 08 Mar '08

08 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-08 15:15:39 Modified files: htdocs/Documentation: ppl_citations.bib Log message: GopanR07a completed. 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 08 Mar '08

08 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-08 15:13:12 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Gopan07th. 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 08 Mar '08

08 Mar '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-03-08 15:03:45 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added Gobert07th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0