October 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java ppl_interface_generator_ja ...
by Andrea Cimino 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-10-03 19:16:22 Modified files: interfaces/Java: ppl_interface_generator_java_dat.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_globals.cc interfaces/Java/ppl_java: MIP_Problem.java ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Implemented `total_memory_in_bytes' for the PPL objects. At the moment the method returns only the memory used by the C++ objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 19:12:07 Modified files: htdocs : FAQ.raw Log message: Some HTML errors corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 19:04:42 Modified files: htdocs : FAQ.raw Log message: Another tag fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 19:02:01 Modified files: htdocs : FAQ.raw Log message: Tag fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 19:00:09 Modified files: htdocs : FAQ.raw Log message: Started working at the the answer about worst-case computational complexity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 17:08:20 Modified files: htdocs : FAQ.raw Log message: More tags fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 17:05:04 Modified files: htdocs : FAQ.raw Log message: Fixed several tags. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 16:57:59 Modified files: htdocs : FAQ.raw Log message: More questions added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 03 Oct '07

03 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-03 15:05:35 Modified files: htdocs : FAQ.raw Log message: Added more questions and answers and drafted an index. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

Re: [PPL-devel] setitimer functions
by Ro'ee Sfaradi 03 Oct '07

03 Oct '07

Hi, Thanks for the snapshot. It almost worked. I have a small (I think) problem. When configure reaches the following lines: ---------------- checking whether the C++ compiler supports flexible arrays... yes checking if the compiler has the remainder bug... ---------------- the conftest.exe raises an exception(in windows): "An unhandled win32 exception occured in conftest.exe [3752]." when I choose not to debug this exception (in the VS dialog), the configure continue as no error occurred and no compiler bug has been found. But when I run "make" it returns with the following error: ---------------- In file included from checked.defs.hh:431, from Checked_Number.defs.hh:27, from Coefficient.types.hh:15, from Coefficient.defs.hh:26, from globals.defs.hh:27, from Interval.defs.hh:26, from Box.defs.hh:28, from Box.cc:24: checked.inlines.hh: In function `Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::input_generic(Type&, std::istream&, Parma_Polyhedra_Library::Rounding_Dir)': checked.inlines.hh:575: internal compiler error: in invert_truthvalue, at fold-const.c:2695 Please submit a full bug report, with preprocessed source if appropriate. See http://www.mingw.org/bugs.shtml> for instructions. make[3]: *** [Box.lo] Error 1 make[2]: *** [all] Error 2 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 ---------------- I guess this error is related to the remainder bug that is somehow not detected because of the exception? Could it be a problem in my system? Is there a way to avoid it? Ro'ee Sfaradi sfa_roy(a)yahoo.com ----- Original Message ---- From: Roberto Bagnara <bagnara(a)cs.unipr.it> To: Ro'ee Sfaradi <sfa_roy(a)yahoo.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel(a)cs.unipr.it> Sent: Monday, October 1, 2007 1:33:05 PM Subject: Re: [PPL-devel] setitimer functions Ro'ee Sfaradi wrote: > Hi Roberto, > > I've tried the CVS version, and I had troubles with creating the configure file > (I'm not very familiar with autotools). If it's no bother I'll be glad if you > could send the snapshot. > > Best Regards, > Ro'ee Sfaradi > sfa_roy(a)yahoo.com Dear Ro'ee, there is a snapshot for you at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-0.10pre9.tar.bz2 Please let us know how it goes and do not hesitate to get in touch to suggest improvements or if you need help. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it ____________________________________________________________________________________ Fussy? Opinionated? Impossible to please? Perfect. Join Yahoo!'s user panel and lay it on us. http://surveylink.yahoo.com/gmrs/yahoo_panel_invite.asp?a=7

2 2