November 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 12 Nov '02

12 Nov '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-11-12 14:32:19 Modified files: htdocs/Download: requirements.raw Log message: Updated and corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc Polyh ...
by Elisa Ricci 12 Nov '02

12 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-12 11:52:42 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Polyhedron.inlines.hh Log message: Improved the case of pending system in Polyhedron::generators() and Polyhedron::minimize() and Polyhedron::intersection_assign(). Corrected operator<= in the case that one of the two polyhedra have something pending. Added the method Polyhedron::can_have_something_pending(). Considered the case of pending constraints or pending generators in concatenate_assign(), poly_hull_assign(), poly_hull_assign()_and_minimize, add_dimension_and_embed(), add_dimensions_and_project, remove_dimensions() remove_higher_dimensions, in all the methods that are used to add constraints and generators, in affine_image() and affine_preimage, in time_elapse_assign(), in check_universe(), in is_bounded() and bounds(), in is_topologically_closed() and in topological_closure_assign(), in Polyhedron::swap() and in Polyhedron(Topology topol, const Box& box). Patches: 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/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl TODO
by Roberto Bagnara 12 Nov '02

12 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-12 10:31:22 Modified files: . : TODO Log message: Revised the section on urgent things to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Roberto Bagnara 12 Nov '02

12 Nov '02

1 0

ppl/tests memory1.cc
by Roberto Bagnara 10 Nov '02

10 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-10 17:56:49 Modified files: tests : memory1.cc Log message: Do not try to run the real test on Cygwin since the implementation of setrlimit() there is a dummy one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 10 Nov '02

10 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-10 11:31:07 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Allow to build in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl interfaces/Prolog/Ciao/.cvsignore tests/.c ...
by Roberto Bagnara 10 Nov '02

10 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-10 09:08:33 Modified files: interfaces/Prolog/Ciao: .cvsignore tests : .cvsignore Log message: Ignore more generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/.cvsig… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/.cvsignore.diff?cvsroot…

1 0

ppl/tests memory1.cc
by Roberto Bagnara 09 Nov '02

09 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-09 22:15:48 Modified files: tests : memory1.cc Log message: The LIMIT macro has been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl/interfaces/C/lpenum Makefile.am
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 20:10:05 Modified files: interfaces/C/lpenum: Makefile.am Log message: Do not assume the user has `.' in PATH. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am ciao_cl ...
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 18:52:26 Modified files: interfaces/Prolog/Ciao: Makefile.am ciao_clpq.pl Log message: Completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c…

1 0