May 2007 - PPL-devel - BUGSENG Mailman

[Fwd: question about PPL]
by Roberto Bagnara 21 May '07

21 May '07

-------- Original Message -------- Subject: question about PPL Date: Mon, 21 May 2007 17:14:33 +0200 (CEST) From: letallec(a)i3s.unice.fr To: bagnara(a)cs.unipr.it First of all Hello and sorry for my very bad english speaking but my italian is worst, My name is LE TALLEC Jean-François and i study synchronous language in France. i'm currently doing an internship on behavior formal proving of SyncChart and that why i started using PPL. But i would know if it is possible to determinate if there is an integer solution in a domain describe with a NNC polyhedron. i.e. : in the square x<0 ; x>1 ; y<0 ; y>1 with strict inequality i wasn't able to show that there is no solution. i tried some manipulation with "grid" and the determinate<PH> function, tried to intersect 2 NNC poly (first with the constraints and the second with the congruence) but that did nothing. So i wondered if you could explain to me how to do that if it's possible. thanks for your attention, waiting for your response, Ciao :-) LE TALLEC Jean-François I3S laboratory -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Makefile.am
by Roberto Bagnara 21 May '07

21 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-21 15:03:09 Modified files: src : Makefile.am Log message: Distribute also meta_programming.hh and Temp.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 21 May '07

21 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-21 15:02:25 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated from Libtool 1.5.23b. 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 TODO
by Roberto Bagnara 21 May '07

21 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-21 14:59:43 Modified files: . : TODO Log message: Added one item concerning the Java interface. (Thanks to Fausto Spoto.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21…

1 0

Re: [PPL-devel] Problema nella compilazione sotto mac os x 10.4.9
by Roberto Bagnara 18 May '07

18 May '07

Valerio Senni wrote: > > Thank you very much for the hint > It seems to have fixed a lage part of the "Undefined symbol" messages. > > However it still remains one error message. > I attach the log of the "make" command. > (I double checked that the diffs are exatly as yours...) > > Thanks > Valerio > > % -------------------------------------------------- > > $ make > make all-recursive > Making all in utils > make[2]: Nothing to be done for `all'. > Making all in src > make all-am > make[3]: Nothing to be done for `all-am'. > Making all in Watchdog > make all-recursive > Making all in utils > make[4]: Nothing to be done for `all'. > Making all in src > make all-am > make[5]: Nothing to be done for `all-am'. > Making all in tests > Making all in . > make[3]: Nothing to be done for `all-am'. > Making all in BD_Shape > make[3]: Nothing to be done for `all'. > Making all in Polyhedron > make[3]: Nothing to be done for `all'. > Making all in Grid > make[3]: Nothing to be done for `all'. > Making all in interfaces > Making all in C > make[3]: Nothing to be done for `all'. > Making all in Prolog > Making all in Ciao > make[4]: Nothing to be done for `all'. > Making all in GNU > make[4]: Nothing to be done for `all'. > Making all in SICStus > /bin/sh ../../../libtool --mode=link --tag=CXX \ > spld --config=myspconfig --main=prolog \ > --cflag=`echo ' -W -Wall -g -O2 -Wno-long-double' | tr " " ","` \ > --resources=ppl_sicstus.s.o -o ppl_sicstus \ > ../../../src/libppl.la \ > ../../../Watchdog/src/libpwl.la \ > -lm -L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp > -R/usr/local/lib -R/usr/local/lib > spld --config=myspconfig --main=prolog > --cflag=,-W,-Wall,,-g,-O2,-Wno-long-double --resources=ppl_sicstus.s.o > -o .libs/ppl_sicstus -Wl,-bind_at_load ../../../src/.libs/libppl.dylib > ../../../Watchdog/src/.libs/libpwl.dylib -lm -L/usr/local/lib > /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib > SICStus 3.11.2 (powerpc-darwin-7.4.0): Wed Jun 2 11:48:07 CEST 2004 > Licensed to uniroma2.it > /usr/bin/ld: Undefined symbols: > sp_main_SPENV_ppl_0x5Fsicstus(SP_MAINFUN_PARAMS_STRUCT*) > collect2: ld returned 1 exit status > ! compiler command failed: 256 at /usr/local/bin/spld line 700, <CONF> > line 127. > make[4]: *** [ppl_sicstus] Error 1 > make[3]: *** [all-recursive] Error 1 > make[2]: *** [all-recursive] Error 1 > make[1]: *** [all-recursive] Error 1 > make: *** [all] Error 2 I strongly recommend you upgrade to SICStus 3.12.8 (you seem to be using 3.11.2). -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: Re: Problema nella compilazione sotto mac os x 10.4.9]
by Roberto Bagnara 18 May '07

18 May '07

-------- Original Message -------- Subject: Re: [PPL-devel] Problema nella compilazione sotto mac os x 10.4.9 Date: Fri, 18 May 2007 14:06:29 +0200 From: Valerio Senni <senni(a)disp.uniroma2.it> Reply-To: senni(a)disp.uniroma2.it To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <463F1316.8020507(a)disp.uniroma2.it> <463F32F8.8060000(a)cs.unipr.it> <463F3C60.208(a)disp.uniroma2.it> <4649920A.9060901(a)cs.unipr.it> <4649A6E5.5060806(a)cs.unipr.it> Thank you very much for the hint It seems to have fixed a lage part of the "Undefined symbol" messages. However it still remains one error message. I attach the log of the "make" command. (I double checked that the diffs are exatly as yours...) Thanks Valerio % -------------------------------------------------- $ make make all-recursive Making all in utils make[2]: Nothing to be done for `all'. Making all in src make all-am make[3]: Nothing to be done for `all-am'. Making all in Watchdog make all-recursive Making all in utils make[4]: Nothing to be done for `all'. Making all in src make all-am make[5]: Nothing to be done for `all-am'. Making all in tests Making all in . make[3]: Nothing to be done for `all-am'. Making all in BD_Shape make[3]: Nothing to be done for `all'. Making all in Polyhedron make[3]: Nothing to be done for `all'. Making all in Grid make[3]: Nothing to be done for `all'. Making all in interfaces Making all in C make[3]: Nothing to be done for `all'. Making all in Prolog Making all in Ciao make[4]: Nothing to be done for `all'. Making all in GNU make[4]: Nothing to be done for `all'. Making all in SICStus /bin/sh ../../../libtool --mode=link --tag=CXX \ spld --config=myspconfig --main=prolog \ --cflag=`echo ' -W -Wall -g -O2 -Wno-long-double' | tr " " ","` \ --resources=ppl_sicstus.s.o -o ppl_sicstus \ ../../../src/libppl.la \ ../../../Watchdog/src/libpwl.la \ -lm -L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp -R/usr/local/lib -R/usr/local/lib spld --config=myspconfig --main=prolog --cflag=,-W,-Wall,,-g,-O2,-Wno-long-double --resources=ppl_sicstus.s.o -o .libs/ppl_sicstus -Wl,-bind_at_load ../../../src/.libs/libppl.dylib ../../../Watchdog/src/.libs/libpwl.dylib -lm -L/usr/local/lib /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib SICStus 3.11.2 (powerpc-darwin-7.4.0): Wed Jun 2 11:48:07 CEST 2004 Licensed to uniroma2.it /usr/bin/ld: Undefined symbols: sp_main_SPENV_ppl_0x5Fsicstus(SP_MAINFUN_PARAMS_STRUCT*) collect2: ld returned 1 exit status ! compiler command failed: 256 at /usr/local/bin/spld line 700, <CONF> line 127. make[4]: *** [ppl_sicstus] Error 1 make[3]: *** [all-recursive] Error 1 make[2]: *** [all-recursive] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/tests/Polyhedron mapspacedims1.cc
by Roberto Bagnara 18 May '07

18 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-18 07:19:47 Modified files: tests/Polyhedron: mapspacedims1.cc Log message: New test added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/mapspacedims…

1 0

Problema nella compilazione sotto mac os x 10.4.9
by Valerio Senni 15 May '07

15 May '07

Spero di non essere off-topic con il seguente messaggio. In questo caso mi scuso anticipatamente. Dopo aver compilato gmp library, nella compilazione della PPL mi dà il seguente errore riguardo il modulo per l'interfaccia con SICStus A cosa è dovuto questo errore? Grazie per qualunque suggerimento mi possiate dare. Valerio ... Making all in SICStus /bin/sh ../../../libtool --mode=link --tag=CXX \ spld --main=prolog \ --cflag=`echo ' -W -Wall -g -O2 -Wno-long-double' | tr " " ","` \ --resources=ppl_sicstus.s.o -o ppl_sicstus \ ../../../src/libppl.la \ ../../../Watchdog/src/libpwl.la \ -lm -L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp -R/usr/local/lib -R/usr/local/lib spld --main=prolog --cflag=,-W,-Wall,,-g,-O2,-Wno-long-double --resources=ppl_sicstus.s.o -o .libs/ppl_sicstus -Wl,-bind_at_load ../../../src/.libs/libppl.dylib ../../../Watchdog/src/.libs/libpwl.dylib -lm -L/usr/local/lib /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib SICStus 3.11.2 (powerpc-darwin-7.4.0): Wed Jun 2 11:48:07 CEST 2004 Licensed to uniroma2.it /usr/bin/ld: Undefined symbols: __gnu_cxx::__exchange_and_add(int volatile*, int) std::logic_error::what() const std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_M_destroy(std::allocator<char> const&) std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_S_terminal std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_S_empty_rep_storage std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_S_create(unsigned long, unsigned long, std::allocator<char> const&) std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string(char const*, std::allocator<char> const&) std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) std::basic_string<char, std::char_traits<char>, std::allocator<char> >::~basic_string() std::logic_error::~logic_error() std::domain_error::domain_error(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) std::length_error::length_error(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) std::invalid_argument::invalid_argument(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >::basic_ostringstream(std::_Ios_Openmode) std::locale::~locale() std::ios_base::Init::Init() std::ios_base::Init::~Init() std::ios_base::~ios_base() std::__throw_bad_alloc() std::_Rb_tree_decrement(std::_Rb_tree_node_base const*) std::_Rb_tree_decrement(std::_Rb_tree_node_base*) std::__throw_logic_error(char const*) std::__throw_length_error(char const*) std::_Rb_tree_insert_and_rebalance(bool, std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::_Rb_tree_node_base&) std::terminate() typeinfo for std::logic_error typeinfo for std::runtime_error typeinfo for std::bad_alloc typeinfo for std::exception VTT for std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> > vtable for __cxxabiv1::__class_type_info vtable for __cxxabiv1::__si_class_type_info vtable for __cxxabiv1::__vmi_class_type_info vtable for std::basic_streambuf<char, std::char_traits<char> > vtable for std::basic_stringbuf<char, std::char_traits<char>, std::allocator<char> > vtable for std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> > vtable for std::basic_ios<char, std::char_traits<char> > operator delete(void*) operator new(unsigned long) ___cxa_allocate_exception ___cxa_begin_catch ___cxa_end_catch ___cxa_free_exception ___cxa_guard_abort ___cxa_guard_acquire ___cxa_guard_release ___cxa_pure_virtual ___cxa_rethrow ___cxa_throw ___gxx_personality_v0 collect2: ld returned 1 exit status ! compiler command failed: 256 at /usr/local/bin/spld line 700, <CONF> line 126. make[4]: *** [ppl_sicstus] Error 1 make[3]: *** [all-recursive] Error 1 make[2]: *** [all-recursive] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2

3 5

ppl configure.ac
by Roberto Bagnara 15 May '07

15 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-15 09:45:37 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_interface_ge ...
by Roberto Bagnara 10 May '07

10 May '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-05-10 16:27:38 Modified files: interfaces/Prolog/SICStus: ppl_interface_generator_sicstus_sd_cc.m4 Log message: The former `prolog_atoms' array is now called `prolog_interface_atoms'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0