August 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 11:42:00 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_hh_code.m4 Log message: Missing ";" added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 11:35:54 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_hh_files.m4 Log message: Fixed a typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 11:25:55 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_hh_code.m4 Log message: Removed some unwanted code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 10:13:01 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 Log message: Buggy code corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 10:02:45 Modified files: src : MIP_Problem.cc Log message: Allow the PPL to be compiled and used even on platforms where we are unable to detect the binary format used by doubles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 10:01:19 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Separately compile the C++ sources of the interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 10:00:53 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_hh_files.m4 Added files: interfaces/Prolog: ppl_prolog_common.cc Log message: Removed redundant code from the m4 file and renaming the common code file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 10:00:22 Modified files: . : configure.ac Log message: Compute the names of C++ domain-specific files for the Prolog interfaces: headers, sources and objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog Makefile.am ppl_interfac ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 09:47:34 Modified files: interfaces/Prolog: Makefile.am Added files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_hh_code.m4 ppl_interface_generator_prolog_hh_files.m4 Log message: New files to enable separate compilation of the Prolog interface code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 09:20:07 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: The new method intersection_preserving_enlarge_assign now returns a Boolean. At the moment the new version is only enabled for Polyhedra, but this will be fixed later. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0