PPL-devel

Thread Start a new thread

Download

ppl-devel@bugseng.com

December 2002

7 participants
112 discussions

ppl/src Variable.cc
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 20:52:13 Modified files: src : Variable.cc Log message: Variable::default_output_function() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=…

1 0

ppl ./NEWS doc/definitions.dox interfaces/C/pp ...
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 18:44:26 Modified files: . : NEWS doc : definitions.dox interfaces/C : ppl_c.cc ppl_c.h interfaces/Prolog: Prolog_interface.dox pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc src : Polyhedron.cc Polyhedron.defs.hh algorithms.hh tests : Makefile.am exceptions1.cc exceptions2.cc limitedbbrz02widening1.cc Added files: tests : bhrz03widening1.cc bhrz03widening10.cc bhrz03widening11.cc bhrz03widening12.cc bhrz03widening13.cc bhrz03widening14.cc bhrz03widening15.cc bhrz03widening16.cc bhrz03widening17.cc bhrz03widening18.cc bhrz03widening19.cc bhrz03widening2.cc bhrz03widening3.cc bhrz03widening4.cc bhrz03widening5.cc bhrz03widening6.cc bhrz03widening7.cc bhrz03widening8.cc bhrz03widening9.cc Removed files: tests : bbrz02widening1.cc bbrz02widening10.cc bbrz02widening11.cc bbrz02widening12.cc bbrz02widening13.cc bbrz02widening14.cc bbrz02widening15.cc bbrz02widening16.cc bbrz02widening17.cc bbrz02widening18.cc bbrz02widening19.cc bbrz02widening2.cc bbrz02widening3.cc bbrz02widening4.cc bbrz02widening5.cc bbrz02widening6.cc bbrz02widening7.cc bbrz02widening8.cc bbrz02widening9.cc Log message: The new widening is now nicknamed BHRZ03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.49… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening1.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening10.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening11.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening12.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening13.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening14.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening16.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening17.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening18.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening19.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening2.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening3.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening4.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening5.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening6.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening7.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening8.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbbrz02widening1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening10.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening11.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening12.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening13.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening15.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening16.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening17.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening18.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening19.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening3.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening4.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening5.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening6.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening7.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening8.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening9.cc.diff…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 06 Dec '02

06 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-06 07:56:41 Modified files: src : Polyhedron.inlines.hh Log message: Avoid totally useless parentheses. Make sure inline methods and functions are defined before being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl config.guess config.sub
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 21:46:47 Modified files: . : config.guess config.sub Log message: Updated. 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…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 16:53:58 Modified files: htdocs/Credits : Credits.raw Log message: Ken Mixter added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Documentation bibliography.raw
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 16:48:45 Modified files: htdocs/Documentation: bibliography.raw Log message: Our latest TR has now a number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

ppl configure.ac
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 16:42:26 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests minconstraints4.cc
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 16:40:11 Modified files: tests : minconstraints4.cc Log message: Original testcase restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints4.cc.diff…

1 0

ppl interfaces/C/ppl_c.cc interfaces/Prolog/pp ...
by Roberto Bagnara 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-05 16:32:55 Modified files: interfaces/C : ppl_c.cc interfaces/Prolog: ppl_prolog.icc tests : append1.cc append2.cc exceptions1.cc minconstraints4.cc permute.cc removedim1.cc removedim2.cc removedim3.cc removedim6.cc removedim7.cc removedim8.cc Log message: Use PPL::Variables_Set instead of std::set<Variable>. 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/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints4.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim6.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim7.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim8.cc.diff?cvsr… Modified files: src : Determinate.defs.hh Determinate.inlines.hh Polyhedron.cc Polyhedron.defs.hh PowerSet.defs.hh PowerSet.inlines.hh Variable.defs.hh Variable.inlines.hh Log message: The function bool operator<(const Variable&, const Variable&) has been substituted by bool less(const Variable&, const Variable&). New predicate Variable::Compare useful for defining associative containers of variables. New typedef Variables_Set standing for std::set<Variable, Variable::Compare>. Use PPL::Variables_Set instead of std::set<Variable>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?…

1 0

ppl TODO
by Enea Zaffanella 05 Dec '02

05 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-05 12:58:19 Modified files: . : TODO Log message: Added an item about strong minimization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.27…

1 0

← Newer
1
2
3
4
5
6
7
8
...
12
Older →