March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-04 08:19:12 Modified files: interfaces/Prolog: pl_check.pl Log message: Bug corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-04 08:13:24 Modified files: interfaces/Prolog: pl_check.pl Log message: Improved tests for widenig operators. Added tests for ...shuffle_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl ppl.spec.in
by Roberto Bagnara 04 Mar '03

04 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-04 06:16:06 Modified files: . : ppl.spec.in Log message: We require GMP at least 4.1.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:55:57 Modified files: interfaces/C : ppl_c.h Log message: For some reason, GMP up to and including version 4.1.2 requires <stdio.h> to be included before <gmp.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

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

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:55:31 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: The `var' argument of ppl_Constraint_coefficient() and ppl_Generator_coefficient() is of type ppl_dimension_type. 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/interfaces/C ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:44:04 Modified files: interfaces/C : ppl_c.h Log message: FIXME added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:38:33 Modified files: interfaces/C : ppl_c.h Log message: Do not worry about versions of GMP prior to 4.1.2 since they are not supported anyway. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

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

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:33:04 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: New function ppl_Polyhedron_time_elapse_assign(). 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/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:22:00 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign() and ppl_Polyhedron_bounded_H79_extrapolation_assign(). Comments of ppl_Polyhedron_limited_BHRZ03_extrapolation_assign() and ppl_Polyhedron_limited_H79_extrapolation_assign() fixed. 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 ./depcomp ./install-sh Watchdog/depcomp Wa ...
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:07:51 Modified files: . : depcomp install-sh Watchdog : depcomp install-sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/depcomp.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/depcomp.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/install-sh.diff?cvsr…

1 0