October 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests pl_check.pl
by Enea Zaffanella 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-01 22:32:34 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Define aux predicate clean_ppl_new_LP_Problem_from_space_dimension/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Roberto Bagnara 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-01 20:57:33 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: Severa FIXMEs dealt with. 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…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_interf ...
by Roberto Bagnara 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-01 20:36:39 Modified files: interfaces/Prolog: exceptions.hh ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: Most predicates now raise meaningful exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… 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…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_interf ...
by Roberto Bagnara 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-01 18:19:46 Modified files: interfaces/Prolog: exceptions.hh ppl_interface_generator_prolog_icc_preamble Log message: Class PPL_integer_out_of_range revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Andrea Cimino 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-01 17:19:34 Modified files: tests/Polyhedron: variablesset1.cc Log message: Test also `std::set_intersection' and `std::set_difference'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-01 15:27:38 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_preamble Log message: LP_Problem interface updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-01 15:26:40 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: LP_Problem interface updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_interf ...
by Roberto Bagnara 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-01 14:37:39 Modified files: interfaces/Prolog: exceptions.hh ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: Started improving the Prolog interface error reporting mechanisms. Fixed several copy-and-paste mistakes in the support for grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… 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…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Roberto Bagnara 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-01 11:29:57 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Sample code to support building polyhedra from OCaml. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Roberto Bagnara 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-01 08:37:38 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: build_Constraint_System() and build_Generator_System() rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0