August 2002 - PPL-devel - BUGSENG Mailman

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 14 Aug '02

14 Aug '02

1 0

ppl/tests NNCinclusion1.cc NNCminimize1.cc NNC ...
by Roberto Bagnara 14 Aug '02

14 Aug '02

1 0

ppl/tests Makefile.am
by Roberto Bagnara 14 Aug '02

14 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-14 12:55:38 Modified files: tests : Makefile.am Log message: The test nnc_polydifference1 must fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Generator.defs.hh Generator.cc GenSys.cc
by Enea Zaffanella 14 Aug '02

14 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-14 12:10:24 Modified files: src : Generator.defs.hh Generator.cc GenSys.cc Log message: The skip_forward() method now only skips the minus_epsilon_ray. 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.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 14 Aug '02

14 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-14 12:07:23 Modified files: src : ConSys.cc Log message: In the skip_forward() method, avoid useless computations for necessarily closed constraint systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am NNCinclusion1.cc NNCmini ...
by Roberto Bagnara 14 Aug '02

14 Aug '02

1 0

ppl/src ConSys.cc ConSys.defs.hh ConSys.inline ...
by Enea Zaffanella 14 Aug '02

14 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-08-14 11:05:58 Modified files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh Constraint.defs.hh Constraint.cc Log message: Now the iterators on constraint systems do skip the next constraint when the current one is a strict inequality and the next one is a non-strict inequality matching the current one (we still skip trivial-true constraints). 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/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl NEWS
by Roberto Bagnara 14 Aug '02

14 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-14 08:05:55 Modified files: . : NEWS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.28…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 14 Aug '02

14 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-14 08:05:15 Modified files: src : Polyhedron.cc Log message: Polyhedron::concatenate_assign() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am intersection1.cc interse ...
by Roberto Bagnara 13 Aug '02

13 Aug '02

1 0