August 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/images/abstractions abstractions.tex
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 16:38:03 Modified files: htdocs/images/abstractions: abstractions.tex Log message: Inequality in powerset of polyhedra image corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/…

1 0

w3ppl/htdocs details.raw
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 14:57:52 Modified files: htdocs : details.raw Log message: Added introductory remarks about the domains supported by the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs…

1 0

w3ppl/htdocs abstractions.raw
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 14:19:07 Modified files: htdocs : abstractions.raw Log message: Another correction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs abstractions.raw
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 14:04:26 Modified files: htdocs : abstractions.raw Log message: Revised bibliography references and congruence expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs abstractions.raw images/abstracti ...
by Roberto Bagnara 23 Aug '04

23 Aug '04

1 0

w3ppl/htdocs/images/abstractions make_images a ...
by Patricia Hill 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-08-23 12:08:12 Modified files: htdocs/images/abstractions: make_images abstractions.tex Log message: Added more examples and text. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions/…

1 0

ppl/src ConSys.cc Matrix.cc
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 12:07:59 Modified files: src : ConSys.cc Matrix.cc Log message: Use add_mul_assign() and sub_mul_assign() when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron_nonpublic.cc Row.cc Row.def ...
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 11:52:51 Modified files: src : Polyhedron_nonpublic.cc Row.cc Row.defs.hh Row.inlines.hh Log message: New funcions void homogeneous_scalar_product_assign(Integer& z, const Row& x, const Row& y) and int homogeneous_scalar_product_sign(const Row& x, const Row& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… 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.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl/src GenSys.cc
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 10:43:43 Modified files: src : GenSys.cc Log message: Last change completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src GenSys.cc
by Roberto Bagnara 23 Aug '04

23 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-23 10:43:03 Modified files: src : GenSys.cc Log message: Use scalar_product_assign() instead of replicating code.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0