January 2004 - PPL-devel - BUGSENG Mailman

ppl ./mkinstalldirs ./missing ./depcomp ./inst ...
by Roberto Bagnara 25 Jan '04

25 Jan '04

1 0

ppl configure.ac
by Roberto Bagnara 25 Jan '04

25 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-25 22:55:45 Modified files: . : configure.ac Log message: Check for SWIG added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 25 Jan '04

25 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-25 22:47:59 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub Log message: Updated from config. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 25 Jan '04

25 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-25 22:35:20 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated from Libtool 1.5.2. 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

assign a variable
by fersman＠lsv.ens-cachan.fr 25 Jan '04

25 Jan '04

Dear Roberto, In my program I need to assign a variable, say x, a new value, say y+k, in a polyhedron. As far as I understand, to do this i need to free x, i.e. romove constraints on x, and after that intersect with the constraint x==y+k. Using functions from the library, a can first remove dimension x, then add a new dimension and add a constraint. After that the representation of the polyhedron when it is printed changes, i.e. if A represented x before, now it would represent y. How to avoid this problem? Is there a better way of freeing a variable than removing the dimension and adding it again? Best regards, Elena

2 2

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 23 Jan '04

23 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-23 21:50:17 Modified files: src : Polyhedron.defs.hh Log message: Implement a new method to differentiate between the inclusion of Ph_Status.idefs.hh and the inclusion of all other header files. This gets around a bug in doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 23 Jan '04

23 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-23 14:55:07 Modified files: src : Polyhedron.defs.hh Log message: Documentation for Polyhedron::max_min() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests dualhypercubes.cc
by Enea Zaffanella 21 Jan '04

21 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-01-21 13:52:42 Modified files: tests : dualhypercubes.cc Log message: Corrected an error and made silent. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/dualhypercubes.cc.diff?…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 21 Jan '04

21 Jan '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2004-01-21 10:59:57 Modified files: htdocs/Documentation: ppl.bib Log message: Added entry for Q349. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests Makefile.am dualhypercubes.cc
by Enea Zaffanella 20 Jan '04

20 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-01-20 08:34:01 Modified files: tests : Makefile.am Added files: tests : dualhypercubes.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/dualhypercubes.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0