February 2006 - PPL-devel - BUGSENG Mailman

ppl/m4 Makefile.am
by Roberto Bagnara 10 Feb '06

10 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-10 11:52:38 Modified files: m4 : Makefile.am Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p…

1 0

ppl/m4 ac_check_fpu_control.m4
by Roberto Bagnara 10 Feb '06

10 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-10 11:51:42 Added files: m4 : ac_check_fpu_control.m4 Log message: New function to check for the possibility to control the FPU. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4?cv…

1 0

C interface
by Lambert Simon 10 Feb '06

10 Feb '06

Hello, I use the C interface of the Parma Polyhedra Library but I have some problems to build a linear expression. I want to build the linear expression "x_1 + 5x_3 - 100 >= 0" for example but I do not arrive. I do "ppl_new_Linear_Expression _with_dimension(&ple, (ppl_dimension_type) 4);" and after I want to add the values to the variables by using the "ppl_Linear_Expression_add_to_coefficient(ple, coefficient_index[i], ppl_coeff);" function but that doesn't go. I don't understand how we can build a linear expression just using this 2 functions. Can you help me by giving me the code to build this linear expression with the C interface and to explain it ? Thank you in advance. Simon

2 1

ppl/src checked_float.inlines.hh
by Roberto Bagnara 10 Feb '06

10 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-10 07:57:34 Modified files: src : checked_float.inlines.hh Log message: Use the new interfaces offered by the FPU control/query functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl NEWS
by Roberto Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-09 22:04:48 Modified files: . : NEWS Log message: Mention the portability improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/src checked_int.inlines.hh
by Roberto Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-09 21:45:00 Modified files: src : checked_int.inlines.hh Log message: Be functional also if the "fast" integral types are missing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl configure.ac
by Roberto Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-09 21:43:58 Modified files: . : configure.ac Log message: Check for the availability of "fast" integral types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Init.cc Init.defs.hh
by Roberto Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-09 20:38:14 Modified files: src : Init.cc Init.defs.hh Log message: Adapted to the recent changes concerning FPU control. Init::Init() was probably broken on some architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot…

1 0

ppl/src fpu-c99.inlines.hh
by Roberto Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-09 20:21:32 Modified files: src : fpu-c99.inlines.hh Log message: Mac OS X 10.4 has fixed <fenv.h>: now the FE_* constants are defined by means of macros. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c…

1 0

ppl/src Makefile.am fpu-c99.inlines.hh fpu-ia3 ...
by Roberto Bagnara 09 Feb '06

09 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-09 20:04:03 Modified files: src : Makefile.am fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-sparc.inlines.hh fpu.defs.hh Added files: src : fpu.types.hh Log message: FPU control functions documented. They now use the new system-dependent types fpu_rounding_direction_type and fpu_rounding_control_word_type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.types.hh?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-sparc.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=…

1 0