March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Move the wrap_assign generator to the language independent file.
by Patricia Hill 24 Mar '10

24 Mar '10

Module: ppl/ppl Branch: master Commit: 06e30598ff1d90fe90ed296a3358dfe31cf73b9c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06e30598ff1d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 24 06:37:05 2010 +0000 Move the wrap_assign generator to the language independent file. --- ...l_interface_generator_c_procedure_generators.m4 | 1 - ...nterface_generator_java_procedure_generators.m4 | 1 - ...terface_generator_ocaml_procedure_generators.m4 | 1 - ...erface_generator_prolog_procedure_generators.m4 | 1 - ...erface_generator_common_procedure_generators.m4 | 4 +++- 5 files changed, 3 insertions(+), 5 deletions(-) diff --git a/interfaces/C/ppl_interface_generator_c_procedure_generators.m4 b/interfaces/C/ppl_interface_generator_c_procedure_generators.m4 index 2137ba3..330dc83 100644 --- a/interfaces/C/ppl_interface_generator_c_procedure_generators.m4 +++ b/interfaces/C/ppl_interface_generator_c_procedure_generators.m4 @@ -43,7 +43,6 @@ m4_define(`m4_procedure_list', ppl_new_@TOPOLOGY@@CLASS@_recycle_@BUILD_REPRESENT@s +simple, ppl_assign_@TOPOLOGY@@CLASS@_from_@TOPOLOGY@@CLASS@ +simple, ppl_@CLASS@_add_recycled_@CLASS_REPRESENT@s +simple, -ppl_@CLASS@_wrap_assign +simple, ppl_termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@ +simple, ppl_one_affine_ranking_function_@TERMINATION_ID@_@TOPOLOGY@@CLASS@ +simple, ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@ +simple, diff --git a/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 b/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 index 2bd99f5..62d1dc4 100644 --- a/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 +++ b/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 @@ -43,7 +43,6 @@ m4_define(`m4_procedure_list', ppl_free_@CLASS@/1 +all, ppl_@CLASS@_hashcode/2 +all -box, ppl_@CLASS@_string/1 +all, -ppl_@CLASS@_wrap_assign/8 +simple, ppl_termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@/1 +simple, ppl_one_affine_ranking_function_@TERMINATION_ID@_@TOPOLOGY@@CLASS@/2 +simple, ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@/2 +simple, diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4 index fad79c8..8b8ff38 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4 @@ -43,7 +43,6 @@ dnl m4_define(`m4_procedure_list', `m4_echo_unquoted(ppl_new_@CLASS@_iterator +pointset_powerset, `m4_common_procedure_list', -ppl_@CLASS@_wrap_assign +simple, ppl_termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@ +simple, ppl_one_affine_ranking_function_@TERMINATION_ID@_@TOPOLOGY@@CLASS@ +simple, ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@ +simple, diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 index a063ec5..685844f 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 @@ -87,7 +87,6 @@ ppl_MIP_Problem_ascii_dump/1`'dnl m4_define(`m4_procedure_list', `m4_echo_unquoted(`m4_common_procedure_list', -ppl_@CLASS@_wrap_assign/8 +simple, ppl_termination_test_@TERMINATION_ID@_@TOPOLOGY@@CLASS@/1 +simple, ppl_one_affine_ranking_function_@TERMINATION_ID@_@TOPOLOGY@@CLASS@/2 +simple, ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@/2 +simple, diff --git a/interfaces/ppl_interface_generator_common_procedure_generators.m4 b/interfaces/ppl_interface_generator_common_procedure_generators.m4 index a6242ce..5e5473d 100644 --- a/interfaces/ppl_interface_generator_common_procedure_generators.m4 +++ b/interfaces/ppl_interface_generator_common_procedure_generators.m4 @@ -128,5 +128,7 @@ ppl_@CLASS@_BGP99_@DISJUNCT_WIDEN@_extrapolation_assign/3 +pointset_powerset \bo dnl dnl CHECKME: This is not implemented. dnl -ppl_@CLASS@_BGP99_@DISJUNCT_EXTRAPOLATION@_extrapolation_assign/3 -pointset_powerset +ppl_@CLASS@_BGP99_@DISJUNCT_EXTRAPOLATION@_extrapolation_assign/3 -pointset_powerset, +ppl_@CLASS@_wrap_assign/8 +simple, + ')

1 0

[GIT] ppl/ppl(master): Added documentation for prolog wrap_assign/ 8 predicate.
by Patricia Hill 24 Mar '10

24 Mar '10

Module: ppl/ppl Branch: master Commit: f3342c5e5b7b30f4a698d3500f1f22890384a8bc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3342c5e5b7b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 21:06:16 2010 +0000 Added documentation for prolog wrap_assign/8 predicate. --- interfaces/Prolog/Prolog_interface.dox | 6 +++++ .../ppl_interface_generator_prolog_dox_code.m4 | 21 ++++++++++++++++++++ 2 files changed, 27 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index dd147ad..f1e9538 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -317,6 +317,12 @@ The specification uses the following grammar rules: P_Func --> [] list of map relations | [Vars_Pair | P_Func]. + Width --> bits_8 | bits_16 | bits_32 | bits_64 | bits_128 + + Representation --> unsigned | signed_2_complement + + Overflow --> overflow_wraps | overflow_undefined | overflow_impossible + Optimization_Mode --> max | min MIP_Problem_Status --> unfeasible diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 index 7564825..15e2694 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 @@ -946,6 +946,27 @@ m4_define(`ppl_@CLASS@_unconstrain_space_dimensions_trans_doc', ') +m4_define(`ppl_@CLASS@_wrap_assign_trans_doc', +`dnl +<P><CODE>ppl_@CLASS@_wrap_assign(+Handle, +List_of_PPL_Var, +Width, +Representation, +Overflow, +Constraint_System, +C_unsigned, +Boolean)</CODE><BR> + <EM>Transforms the m4_this_ppl_one_object \p P referenced by + <CODE>Handle</CODE> by wrapping the dimensions given by + <CODE>List_of_PPL_Vars</CODE> while respecting the specified + <CODE>Width</CODE>|COMMA| <CODE>Representation</CODE> and + <CODE>Overflow</CODE> behavior of all these variables. The + <CODE>Constraint_System</CODE> represents the conditional or + looping construct guard with respect to which wrapping is + performed. The non-negative integer <CODE>C_unsigned</CODE> and + <CODE>Boolean</CODE> allow control of the complexity/precision + ratio; higher values for <CODE>C_unsigned</CODE> will lead to + possibly greater precision while a true value for + <CODE>Boolean</CODE> indicates that the space dimensions should be + wrapped individually. See Section \extref{Wrapping_Operator|COMMA| + Wrapping Operator} for a more detailed description of this + operator.</EM> + +') + dnl ----------------------------------------------------------------- dnl Documentation for the concatenation predicates; dnl -----------------------------------------------------------------

1 0

[GIT] ppl/ppl(master): Added documentation for the OCaml wrap_assign function.
by Patricia Hill 24 Mar '10

24 Mar '10

Module: ppl/ppl Branch: master Commit: fc103063d4fdf9ba862fdcefdc34f94c8bf9bf83 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc103063d4fd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 20:01:55 2010 +0000 Added documentation for the OCaml wrap_assign function. --- interfaces/OCaml/OCaml_interface.dox | 26 ++++++++++++++++++++++++++ 1 files changed, 26 insertions(+), 0 deletions(-) diff --git a/interfaces/OCaml/OCaml_interface.dox b/interfaces/OCaml/OCaml_interface.dox index 96c64b1..2bc0ac9 100644 --- a/interfaces/OCaml/OCaml_interface.dox +++ b/interfaces/OCaml/OCaml_interface.dox @@ -975,6 +975,32 @@ This is the inverse transformation to that for <CODE>ppl_affine_image</CODE>. Mapping the Dimensions of the Vector Space} of the main PPL user manual. +<H2><CODE> ppl_Polyhedron_wrap_assign handle + list_of_vars + width + representation + overflow + constraint_system + complexity_threshold + wrap_indicator +</CODE></H2> + + Transforms the polyhedron referenced by <CODE>handle</CODE> by + wrapping the dimensions given by <CODE>list_of_vars</CODE> while + respecting the specified <CODE>width</CODE>, + <CODE>representation</CODE> and <CODE>overflow</CODE> behavior of + all these variables. The parameter <CODE>constraint_system</CODE> + represents the conditional or looping construct guard with respect + to which wrapping is performed. The non-negative integer + <CODE>complexity_threshold</CODE> and Boolean + <CODE>wrap_indicator</CODE> allow control of the + complexity/precision ratio; higher values for + <CODE>complexity_threshold</CODE> will lead to possibly greater + precision while a true value for <CODE>wrap_indicator</CODE> + indicates that the space dimensions should be wrapped + individually. See Section \extref{Wrapping_Operator, Wrapping + Operator} for a more detailed description of this operator. + <H2><CODE> ppl_Polyhedron_ascii_dump handle </CODE></H2>

1 0

[GIT] ppl/ppl(master): The `|' character cannot be used to produce proper paired delimiters.
by Roberto Bagnara 24 Mar '10

24 Mar '10

Module: ppl/ppl Branch: master Commit: cb165556dd22a919425ed9803156dfcb63896f62 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb165556dd22… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 24 06:43:33 2010 +0400 The `|' character cannot be used to produce proper paired delimiters. --- doc/definitions.dox | 17 +++++++++-------- doc/ppl.sty | 3 +++ 2 files changed, 12 insertions(+), 8 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 1a2a048..6e9ec24 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2211,11 +2211,12 @@ the frequency \f$f\f$ and a value \f$\mathrm{val} = \langle \vect{a}, \vect{w} \rangle + b\f$ where \f$\vect{w} \in \cL\f$ and \f[ - |\mathrm{val}| - = \min\Bigl\{\, - \big|\langle \vect{a}, \vect{v} \rangle + b - \big| \Bigm| \vect{v} \in \cL - \,\Bigr\}. + \lvert\mathrm{val}\rvert + = \min\Bigl\{\, + \bigl\lvert\langle \vect{a}, \vect{v} \rangle + b \bigr\rvert + \Bigm| + \vect{v} \in \cL + \,\Bigr\}. \f] Observe that the above definition is also applied to other simple objects in @@ -4786,13 +4787,13 @@ For \f$x\f$, \f$y \in \Zset\f$ with \f$y \ne 0\f$, we have x \brem y = \begin{cases} - x \brem |y|, & \text{if $x \ge 0$;} \\ - -(|x| \brem |y|), & \text{if $x < 0$.} + x \brem \abs{y}, & \text{if $x \ge 0$;} \\ + -(\abs{x} \brem \abs{y}), & \text{if $x < 0$.} \end{cases} \f] <B><EM>Proof</EM></B> -Throughout the proof we write \f$x_0 = |x|\f$ and \f$y_0 = |y|\f$. +Throughout the proof we write \f$x_0 = \abs{x}\f$ and \f$y_0 = \abs{y}\f$. First, assume that \f$x \ge 0\f$ and that \f$y < 0\f$. Let \f$k = \phi(x / y_0) = - \phi(x / y)\f$, by the property above. We have diff --git a/doc/ppl.sty b/doc/ppl.sty index 0678319..43fc889 100644 --- a/doc/ppl.sty +++ b/doc/ppl.sty @@ -136,6 +136,9 @@ \newcommand*{\relsym}{\mathrel{\bowtie}} \newcommand*{\relsyms}[1]{\mathrel{\bowtie_{#1}}} +% Absolute value. +\newcommand*{\abs}[1]{\lvert #1 \rvert} + % Vectors. \renewcommand*{\vec}[1]{\mathchoice{\mbox{\boldmath$\displaystyle#1$}} {\mbox{\boldmath$\textstyle#1$}}

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 23 Mar '10

23 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3ac94be0dd3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 22:26:34 2010 +0100 PIP_Tree.cc: use combine_needs_second() instead of combine() in sub_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fceb46357849… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 22:24:39 2010 +0100 PIP_Tree.cc: use combine_needs_second() instead of combine() in add_mul_assign_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1efca9aac7a4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 22:23:56 2010 +0100 Dense_Row: add combine_needs_first() and combine_needs_second() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b51fe286c9f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 22:23:39 2010 +0100 Sparse_Row, Sparse_Row_Reference: add combine_needs_first() and combine_needs_second() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b31687efa4e8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 22:22:56 2010 +0100 Unlimited_Sparse_Row: add combine_needs_first() and combine_needs_second() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c1f288ed80b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 21:45:24 2010 +0100 MIP_Problem: use combine() in second version of linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b91ce9e6ec4c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 21:44:48 2010 +0100 Unlimited_Sparse_Row: fixed combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b528ee1b7d5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 21:32:01 2010 +0100 MIP_Problem: use combine() in first version of linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33111f08cee4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 20:46:14 2010 +0100 PIP_Tree.cc: use combine() in add_mul_assign_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=596cd44e2e88… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 20:38:20 2010 +0100 PIP_Tree.cc: use combine() in sub_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c08d49d36531… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 20:30:51 2010 +0100 Dense_Row: add combine() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97c282e3c08e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 20:30:01 2010 +0100 Sparse_Row, Sparse_Row_Reference: add combine() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cae2dd38b9a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 20:28:18 2010 +0100 Unlimited_Sparse_Row: add method combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f81397772770… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 18:57:30 2010 +0100 PIP_Solution_Node: cache value s_i[pj] instead of accessing it multiple times, in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=940a6a194d39… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 18:44:48 2010 +0100 PIP_Solution_Node: sort using std::sort on a vector instead of using std::map, in update_tableau(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3b3541b223d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Mar 23 18:36:23 2010 +0100 PIP_Solution_Node: use find_create() instead of operator[], in update_tableau().

1 0

[GIT] ppl/ppl(master): Added implementations for the original PR termination tests.
by Enea Zaffanella 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: 490971b3d76a92e448803fa6437ca8e08abb7955 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=490971b3d76a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 23 19:22:14 2010 +0100 Added implementations for the original PR termination tests. These are activated when the preprocessor flag USE_ORIGINAL_PR_METHOD is set. The flag is now active. --- src/termination.cc | 227 +++++++++++++++++++++++++++++++++++++++++- src/termination.templates.hh | 34 ++++++ 2 files changed, 259 insertions(+), 2 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=490971b3…

1 0

[GIT] ppl/ppl(master): Improved documentation for frequency.
by Patricia Hill 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: aa99fbdd05ff71b6ddd9ace3d7401ca4a967af5b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa99fbdd05ff… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:51:20 2010 +0000 Improved documentation for frequency. --- doc/definitions.dox | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 6d9a73b..1a2a048 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2212,10 +2212,10 @@ the frequency \f$f\f$ and a value where \f$\vect{w} \in \cL\f$ and \f[ |\mathrm{val}| - = \min\Bigl\{ + = \min\Bigl\{\, \big|\langle \vect{a}, \vect{v} \rangle + b \big| \Bigm| \vect{v} \in \cL - \Bigr\}. + \,\Bigr\}. \f] Observe that the above definition is also applied to other simple objects in

1 0

[GIT] ppl/ppl(master): Type error fixed.
by Patricia Hill 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: 6821ba41f0d1c8a8f08c839fe33781e5a2f7b314 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6821ba41f0d1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:38:48 2010 +0000 Type error fixed. --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index 5ec23cd..1922588 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -1348,7 +1348,7 @@ ppl_@CLASS@_wrap_assign_native build_ppl_bounded_integer_type_overflow(oflow); Constraint_System ppl_cs = build_ppl_Constraint_System(cs); unsigned ppl_complexity = value_to_unsigned<unsigned>(complexity); - bool ppl_wrap_ind = Int_val(wrap_ind); + bool ppl_wrap_ind = Bool_val(wrap_ind); pph.wrap_assign(ppl_vset, build_ppl_bounded_integer_type_width(width), build_ppl_bounded_integer_type_representation(rep),

1 0

[GIT] ppl/ppl(master): Added interface code for wrap_assign().
by Patricia Hill 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: 8e9040044889a3a72c7c496827236916ae717b24 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e9040044889… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:31:12 2010 +0000 Added interface code for wrap_assign(). --- .../ppl_interface_generator_sicstus_sd_cc.m4 | 57 ++++++ .../ppl_interface_generator_prolog_cc_code.m4 | 74 ++++++++ .../ppl_interface_generator_prolog_hh_code.m4 | 14 ++ ...erface_generator_prolog_procedure_generators.m4 | 1 + interfaces/Prolog/ppl_prolog_common.cc | 179 ++++++++++++++++++++ interfaces/Prolog/ppl_prolog_common.defs.hh | 79 +++++++++ ...face_generator_prolog_generated_test_pl_code.m4 | 20 +++ 7 files changed, 424 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8e904004…

1 0

[GIT] ppl/ppl(master): Typo fixed.
by Patricia Hill 23 Mar '10

23 Mar '10

Module: ppl/ppl Branch: master Commit: bc6dffb591691b0986eb73aad6214d8e15ed630c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc6dffb59169… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 23 17:30:05 2010 +0000 Typo fixed. --- doc/definitions.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 403cf99..6d9a73b 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2214,7 +2214,7 @@ where \f$\vect{w} \in \cL\f$ and |\mathrm{val}| = \min\Bigl\{ \big|\langle \vect{a}, \vect{v} \rangle + b - \bigm| \Big| \vect{v} \in \cL + \big| \Bigm| \vect{v} \in \cL \Bigr\}. \f]

1 0