April 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 16 Apr '03

16 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-16 05:56:47 Modified files: interfaces/Prolog: Makefile.am Log message: Distribute expected3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces/Prolog Makefile.am
by Roberto Bagnara 15 Apr '03

15 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-15 21:39:09 Modified files: interfaces/Prolog: Makefile.am Log message: Distribute also pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...
by Roberto Bagnara 15 Apr '03

15 Apr '03

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 15 Apr '03

15 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-15 19:25:13 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Distribute also ciao_clpq2.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines. ...
by Roberto Bagnara 15 Apr '03

15 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-15 13:40:14 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Log message: Polyhedron::is_empty() renamed Polyhedron::marked_empty(). 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.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 15 Apr '03

15 Apr '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-04-15 13:39:26 Modified files: htdocs/Download: requirements.raw Log message: We now use Libtool 1.5. We also discourage using Doxygen versions prior to 1.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 15 Apr '03

15 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-15 13:38:38 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated. 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

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/Pr ...
by Roberto Bagnara 15 Apr '03

15 Apr '03

1 0

ppl/src Polyhedron.defs.hh Polyhedron_nonpubli ...
by Roberto Bagnara 14 Apr '03

14 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-14 16:16:53 Modified files: src : Polyhedron.defs.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Log message: Polyhedron::is_included(const Polyhedron&) renamed Polyhedron::is_included_in(const Polyhedron&). 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_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces/Prolog pl_check.pl Ciao/ppl_ciao.pl
by Patricia Hill 14 Apr '03

14 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-14 12:24:41 Modified files: interfaces/Prolog: pl_check.pl interfaces/Prolog/Ciao: ppl_ciao.pl Log message: The ciao system now allows for ppl_Polyhedron_generalized_affine_image to fail. This is now tested in pl_check. Patches: 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/Ciao/ppl_ci…

1 0