September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests Box/.cvsignore MIP_Problem/.cvsignor ...
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 21:27:11 Modified files: tests/Box : .cvsignore tests/MIP_Problem: .cvsignore tests/Octagonal_Shape: .cvsignore tests/Partially_Reduced_Product: .cvsignore tests/Powerset : .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/.cvsignore.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/.cvsignore.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/.cvsignore.dif…

1 0

ppl ./TODO interfaces/Prolog/tests/Makefile.am
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 21:23:14 Modified files: . : TODO interfaces/Prolog/tests: Makefile.am Log message: Source file interfaces/Prolog/tests/ppl_predicate_check_common.pl is no longer deleted from the source directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/interfaces Java/ppl_java/.cvsignore OCaml/ ...
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 20:53:42 Modified files: interfaces/Java/ppl_java: .cvsignore interfaces/OCaml: .cvsignore interfaces/Prolog: .cvsignore interfaces/Prolog/XSB: .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/.cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/.cvsignore.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/.cvsignore.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/.cvsign…

1 0

PPL for Mac
by Swarat Chaudhuri 08 Sep '08

08 Sep '08

Hello all, Has anyone here built PPL on Mac OS X? If so, can it be made available for download? I tried to compile PPL on Mac but ran into strange errors involving GMP. Thanks in advance, Swarat

2 11

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 17:43:15 Modified files: m4 : ac_check_swi_prolog.m4 Log message: In Fedora, SWI-Prolog.h is installed in /usr/include/pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl ./Makefile.am ./configure.ac Watchdog/conf ...
by Roberto Bagnara 08 Sep '08

08 Sep '08

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-08 14:54:25 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 ppl_ocaml_globals.cc ppl_ocaml_globals.ml interfaces/OCaml/tests: test1.ml Log message: Added - ppl_set_rounding_for_PPL - ppl_restore_pre_PPL_rounding to the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-08 14:53:35 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_procedure_generators.m4 Log message: Include the new predicates ppl_set_rounding_for_PPL and ppl_restore_pre_rounding_for_PPL in the list of fixed predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/src Grid.defs.hh Grid.templates.hh Grid_si ...
by Roberto Bagnara 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-08 14:21:42 Modified files: src : Grid.defs.hh Grid.templates.hh Grid_simplify.cc Log message: Code controlled by STRONG_REDUCTION moved to the appropriate place. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-08 14:15:43 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: Commet improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0