March 2002 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc PolyBase.cc
by Roberto Bagnara 27 Mar '02

27 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-27 08:58:40 Modified files: src : GenSys.cc PolyBase.cc Log message: Merged the changes made to the `strict' branch after yesterday's merge. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl ./TODO src/ConSys.defs.hh src/ConSys.inlin ...
by Roberto Bagnara 27 Mar '02

27 Mar '02

1 0

ppl/src GenSys.cc PolyBase.cc
by Enea Zaffanella 27 Mar '02

27 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-27 08:21:41 Modified files: src : GenSys.cc PolyBase.cc Log message: Method GenSys::relation_with(c) now supports all the possible combinations of topology and type for both *this and the constraint parameter c. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl ./TODO src/Constraint.defs.hh src/Generato ...
by Roberto Bagnara 27 Mar '02

27 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-27 08:07:17 Modified files: . : TODO src : Constraint.defs.hh Generator.defs.hh Log message: Avoid using \enum when it is not strictly necessary. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.13… 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/Generator.defs.hh.diff?cv…

1 0

The `strict' branch has been merged
by Roberto Bagnara 27 Mar '02

27 Mar '02

Dear all, the merge was surprisingly smooth: only 6 conflicts and all very easy to deal with. We can now forget about the strict branch and proceed working on the main trunk. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl doc/devref-browse.doxyconf-latex.in doc/de ...
by Roberto Bagnara 26 Mar '02

26 Mar '02

1 0

Merging the `strict' branch
by Roberto Bagnara 26 Mar '02

26 Mar '02

Dear all, I will now merge the `strict' branch to the main trunk. Please, avoid committing changes to the repository until the merge is finished (this is not strictly required, but it would make my life easier). I will send a note to the list when everything is done. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-26 21:00:08 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Implemented the error handling and reporting mechanisms. Many other improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src minimize.cc
by Roberto Bagnara 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-26 19:17:30 Modified files: src : minimize.cc Log message: Throw `std::runtime_error' instead of `std::invalid_argument'. Removed the inclusion of two unneeded header. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/interfaces/C Makefile.am ppl_c.cc ppl_c.h
by Roberto Bagnara 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-26 18:16:23 Modified files: interfaces/C : Makefile.am ppl_c.cc ppl_c.h Log message: All the interface functions should be there now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0