March 2010 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Mar 1 10:19:44 CET 2010
Ending: Wed Mar 31 22:21:39 CEST 2010
Messages: 376

• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed documentation files.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(master): Fixed documentation files.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed documentation files.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] Watchdog still not fully working on hurd   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Apparently GNU Hurd only supports ITIMER_REAL.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Replaced using directives by using declarations.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Proper spacing added to throw_syscall_error().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Added method bool Constraint_System:: has_equalities() const.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Added functions for termination analysis following the approach of Mesnard and Serebrenik .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Several improvements. Changed the encoding of the input systems. Started drafting the implementation of the method of Podelski and Rybalchenko .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Moved the utilities for termination analysis to their final destination.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): LaTeX inconsistency removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Documented the interfaces of the termination analysis functions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added BozgaGI09.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Completed a couple of comment blocks.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Still working on specifications.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Documentation improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Added stub implementations for one_affine_ranking_function_PR() and all_affine_ranking_functions_PR().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed the input polyhedra for test01() and test02().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Added a couple of missing constraints.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Comments improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use \link ... \endlink consistently.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Use \link ... \endlink consistently.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed some copy-and-paste mistakes.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Support newer versions of SWI-Prolog.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Support newer versions of SWI-Prolog.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed the implementation of the *_all_affine_ranking_functions_* predicates .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed one_affine_ranking_function_MS(): it was not projecting the generator onto the mu variables.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Debugging output switched off.   Roberto Bagnara
• [PPL-devel] Exponential behavior in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Support newer versions of SWI-Prolog.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Indentation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Restored line erased by mistake.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Restored line erased by mistake.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Description of the PR method improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Missing files added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Missing files added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): LaTeX code fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Function renamed. Unwanted stuff removed from comment.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Implemented the improved Podelski and Rybalchenko termination test.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): test10() and test11() witness a bug in termination_test_PR().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Merge branch 'master' into products   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Add BD_Shape<int8_t> to the instantiations enabled by default.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New versions of the termination utility functions with two input parameters .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Implemented template termination_test_PR_2().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Printing of debug information suppressed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Arities fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Implemented and fixed termination utilities with two input abstractions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Code formatting fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Temporarily implemented termination_test_PR() in terms of termination_test_PR_2().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Kludge to allow the proof-of-concept implementation of the PR functions to compile .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Completed fill_constraint_system_PR().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Kludge removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): C and Prolog interfaces for the termination utility functions renamed and fixed .   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Define PROLOG_TRACK_ALLOCATION to 1 to make a few bugs evident.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed some invocations of PPL_CHECK.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed several typos.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Turn off debugging output.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed two bogus invocations of PPL_WEAK_REGISTER.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Several corrections.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed one_affine_ranking_function_PR().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New Linear_Expression methods.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Termination functions renamed in non-C++ interfaces.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Completed the implementation of all_affine_ranking_functions_PR*().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into products   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the ordering of exception handlers.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed the ordering of exception handlers.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): Merge branch 'master' into termination   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(termination): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the handling of Termination.java.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Debugging output switched off.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the expected result for test04().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Debugging output switched off.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixed the handling of Termination.java.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixed the expected result for test04().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed ill-positioned \f$.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added two new tests.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The `|' character cannot be used to produce proper paired delimiters.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Drafted the implementation of methods drop_some_non_integer_points().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation corrected.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Enable *drop_some_non_integer_points* for Polyhedron ; disable it for Pointset_Powerset.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in drop_some_non_integer_points().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a couple of bugs in drop_some_non_integer_points().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Implemented methods Pointset_Powerset:: drop_some_non_integer_points().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test Polyhedron::drop_some_non_integer_points().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the all_affine_ranking_functions_PR*() functions to correctly deal with the case where the system is unsatisfiable .   Roberto Bagnara
• [PPL-devel] unable to clone ppl git repository   Roberto Bagnara
• [PPL-devel] unable to clone ppl git repository   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Comma changed into full-stop.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] Exponential behavior in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron   Albert Cohen
• [PPL-devel] [GIT] ppl/ppl(master): Added two tests for incremental addition of parametric constraints.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added a test for problem feasibility when incrementally adding parameter constraints .   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added one more test for incremental solving.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Eventually perform solution tree simplifications after incremental addition of parameter constraints .   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Moved the compatibility_check static methods to PIP_Tree_Node.   François Galea
• [PPL-devel] [GIT] ppl/ppl(termination): Eventually perform solution tree simplifications after incremental addition of parameter constraints .   François Galea
• [PPL-devel] [GIT] ppl/ppl(termination): Moved the compatibility_check static methods to PIP_Tree_Node.   François Galea
• [PPL-devel] [GIT] ppl/ppl(termination): Added one more test for incremental solving.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Documentation fixes.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added two paragraphs about uses of the big parameter in the documentation.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Documentation fixes. Added a paragraph about optimizing a linear cost function.   François Galea
• [PPL-devel] [GIT] ppl/ppl(products): Documentation fixes. Added a paragraph about optimizing a linear cost function.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Improved the documentation with examples for uses of the big parameter.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added a couple of tests using the big parameter.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a typo in the documentation.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added a test generating a solution node with two context constraints.   François Galea
• [PPL-devel] Test using big parameter.   François Galea
• [PPL-devel] Test using big parameter.   François Galea
• [PPL-devel] Test using big parameter.   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added C interface for wrap_assign.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): The wrap_assign has only been added to the C interface   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added the new termination functions to Prolog interface and   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed some bugs in the Prolog interface termination code.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added the rest of the termination functions to the C interface.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Code for Polyhedron_all_affine_ranking_functions_PR and similar   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Improved variable names.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Conflicts resolved.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(products): Test changed so as to be meaningful for all integer types.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Test changed so as to be meaningful for all integer types.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added more termination_test predicates to the Prolog interface.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Java interface for wrap asign added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Allow for the various numeric types in frequency1.cc   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Fixed some cut and paste typos.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added termination_test functions ending with " _2".   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added a test (based on test10 in termination1. cc in the   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Fixed some typos for code related to the wrap_assign java interface.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added implementation code for Java interface for wrap_assign.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Delete objects before exiting code.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Revised code neede for wrap assign wrap_assign in Java.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Avoid leakage when exiting a test.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): All_affine_ranking_functions_PR* functions,   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Improved documentation for frequency().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Missing variable initialization added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): As in previous commit - ensure initialization of variables.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Updated the first item for TODO and removed code for   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Test changed so as to be meaningful for all integer types.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added some of the Java interface code needed for the termination   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added Java interface for Linear_Expression:: is_zero() and   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added std:: logic_error to the list of exceptions caught.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added OCaml interface for Linear_Expression:: is_zero() and   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Simplified OCaml code for all_zero() and all_homogeneous_terms_are_zero()   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added missing code for logic_error exception.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added further needed code for handling logic_error exception.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Revised to allow for for expected logic_error.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added missing C++ exceptions.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Revised exceptions that can be thrown.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Added OCaml interface code for the 6 new termination methods.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Finished adding code for the java interface to the termination methods.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(termination): Code, unintensionally added by previous commit, removed..   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added and improved documentation for the frequency operator.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Added and improved documentation for the frequency operator.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added interface code for wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Several errors in the documentation for frequency fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Wrong latex fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added interface code for wrap_assign().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Type error fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Improved documentation for frequency.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added documentation for the OCaml wrap_assign function.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added documentation for prolog wrap_assign/ 8 predicate.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Move the wrap_assign generator to the language independent file.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added stubs for 7 and 8 argument predicates.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added stubs for 7 and 8 argument predicates.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added interface predicate for frequency().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added Ocaml interface function for frequency().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added C interface for frequency().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added Java interface method for frequency().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added interface code for drop_some_non-integer_points() methods.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Test disabled while problem is investigated.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): In frequency(), deal properly with the case when a box is empty.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added the generated Termination files to make clean.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added a draft implementation for Grid:: drop_some_non_integer_points().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Enable the interfaces procedures for Grid:: drop_some_non_integer_points().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Bug in Grid::wrap_assign() fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Expected test result corrected.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added missing sources line.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Fixed bugs leading to warning messages.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Almost complete (but untested) Java interface to the PIP_Problem   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Whitespace bug fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added Java interface tests for termination_test_MS,   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Completed draft Java interface for PIP_Problem ( untested).   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Some tests for some of the new PIP_Problem methods added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Fixed problem with PIP_Problem constructor from a sequence of   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Updated with news of the new reduction operator for   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Several improvements and bug fixes.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Several improvements and bug fixes.   Patricia Hill
• [PPL-devel] unable to clone ppl git repository   Bryan Hundven
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixes tests: Unlimited_Sparse_Row_Std_List_Backend: don' t copy-construct an iterator in the default constructor.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Custom_Slist_Backend: add std::swap() specialization.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Std_List_Backend: fix splice().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Std_List_Backend: fix splice() methods, now really.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: fixed swap().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Custom_Slist_Backend: fix splice() so assert() does not fail.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Temporarily add unneeded includes to please KDevelop4.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem, PIP_Tree: port from Matrix to Dense_Matrix and Sparse_Matrix. Optimizations to exploit the sparse representation have not been added yet .   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Dense_Row: make iterator and const_iterator Assignable.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Dense_Row: temporarily add unneeded include to please KDevelop4.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Dense_Row: add find() and find_create() methods, for compatibility with Sparse_Row.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree: optimize static functions add_mul_assign_row() and sub_assign() for sparse rows.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree: optimize static function merge_assign() for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row, Sparse_Row_Reference: add reset_after() methods.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row, Sparse_Row_Reference: add assignment operator from Unlimited_Sparse_Row.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem: add another version of static function neg_assign_row(), optimized for sparse rows.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Indentation fixes.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row, Unlimited_Sparse_Row, Unlimited_Sparse_Row_Backend_*: use iterator instead of dangerous_iterator when possible.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: use Coefficient_zero( ) instead of Coefficient(0).   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: fix indentation.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: don' t uselessly copy the candidates set in find_lexico_minimum_column_in_set().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: split out compatibility_check_find_pivot_in_set() from compatibility_check_find_pivot().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: revert optimizations in find_lexico_minimum_column_in_set().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: prepare find_lexico_minimum_column_in_set() for optimization.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: prepare find_lexico_minimum_column_in_set() for optimization (#2).   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: some little optimizations to find_lexico_minimum_column_in_set().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Delete file PIP_Tree.cc. master added by mistake.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: some optimization and a fix to find_lexico_minimum_column_in_set().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: optimize find_lexico_minimum_column_in_set().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: fix comment in find_lexico_minimum_column_in_set().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: prepare compatibility_check_find_pivot_in_set() for optimizations (#1).   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: optimize generate_cut() method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: optimize solve() method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: optimize update_solution () method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree_Node: fix regression in add_constraint() introduced by commit 1341d3.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: fix regression in generate_cut() introduced by commit 65bee8.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: fix regression in solve( ), partially reverting commit d7f564.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node::Tableau: optimize scale( ) method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: use matrix_row_const_iterator instead of matrix_row_iterator in erase_artificials ().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem: optimize solve() method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: correct typo in comment.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem: add typedefs for matrix_row_copy_iterator and matrix_row_copy_const_iterator .   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem: optimize solve() method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row, Sparse_Row, Sparse_Row_Reference: remove useless upper_bound() methods.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: fix regression in find_lexico_minimum_column_in_set() introduced by commit 8EE0EA53.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row, Unlimited_Sparse_Row_Backend_*: move find*() and lower_bound*() implementation to backends.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: optimize solve() method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Improved code indentation and readability.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(master): Added formatting conventions to the STANDARDS file.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixes build: fixed typos.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: add assign() and assign_if_nonzero() methods.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row, Sparse_Row_Reference: add assign() and assign_if_nonzero() methods.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize find_create() calls in linear_combine().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize find_create() calls in linear_combine() (#2).   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Whitespace fix.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: use get2() instead of two get( ) calls, in method get_exiting_base_index().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: use std:: sort on a vector instead of using a map, in method OK().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Indentation fixes: replace tab characters with spaces.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: indentation fixes.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem: fix border-case in solve() method.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Indentation fixes.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: add an optimized version of add_mul_assign_row() for sparse backends with slow insertions.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: fix optimized version of add_mul_assign_row().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: add an optimized version of sub_assign() for sparse backends with slow insertions.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Dense_Row: added two-argument assign() and assign_if_nonzero().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: use assign_if_nonzero() instead of reinventing the wheel, in merge_assign().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: fix and optimize merge_assign( ).   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix regression in process_pending_constraints(), introduced in commit beb4f18.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: modify generate_cut() to be efficient even with backends that have slow insertions.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: use std::vector instead of std ::set in compatibility_check_find_pivot().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node::Tableau: remove useless calls to get() in is_better_pivot().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: optimize generate_cut() method for sparse matrices.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: use std::vector instead of std ::set in find_lexico_minimum_column().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Std_Vector_Backend: add and use sequential_search_treshold.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree_Node: avoid insertion in method compatibility_check(), may be very slow with some backends.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: swap elements instead of copy-constructing them, in combine().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: swap elements instead of copy-constructing them, in combine_needs_second() .   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: clarify code in linear_combine ().   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: swap elements instead of copy-constructing them, in update_tableau().   Marco Poletti
• [PPL-devel] Exponential behavior in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron   Sebastian Pop
• [PPL-devel] Watchdog still not fully working on hurd   Michael Tautschnig
• [PPL-devel] [GIT] ppl/ppl(master): Completed removal of support for circular intervals.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Several minor improvements to the PIP_Problem resolution process.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected typo in test19().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Method PIP_Tree_Node::solve() now checks context feasibility when needed.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Made a pass on the documentation of class PIP_Problem.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Detected several overflows in tests 5 and 6 of digitalfilters1.cc.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Adopted a more flexible implementation for the DO_TEST* macros.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Tests 20, 21 and 22 overflow on 8-bit coefficients ( derived from test02).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Test 4 in digitalfilers1. cc overflows with 64-bits if assertions are on.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a couple of typos in the documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(termination): Corrected a couple of typos in the documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected an invalid reference bug in PIP_Solution_Node::update_tableau().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(termination): Corrected an invalid reference bug in PIP_Solution_Node::update_tableau().   Enea Zaffanella
• [PPL-devel] Test using big parameter.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the value of INPUT doxygen configuration variable.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Improved checks in PIP_Decision_Node::OK() method.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed documentation reference.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(products): Fixed documentation reference.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(products): Fixed the value of INPUT doxygen configuration variable.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(products): Improved checks in PIP_Decision_Node::OK() method.   Enea Zaffanella
• [PPL-devel] Tinderbox oranges.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a couple of resource allocation problems ( reported by Marco Poletti).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a few memory allocation problems in ppl_pips.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed input file sor1d.pip.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Test 08 may does not overflow when using exact Octagonal_Shapes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected expected result for test sor1d.pip.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected the expected results for test fimmel.pip.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected typo: register the C++ pointer, not the Prolog term.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Let ppl_*_linear_partition/ 4 register its outputs to the allocator tracker.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Define the SOURCES for test concatenate1.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid a broken reference to another manual that is built later.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed tests/Partially_Reduced_Product/Makefile.am.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Don't take the address of a temporary object.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mention header file partially_reduced_product_test. hh.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected/improved a few tests in BD_Shape/ frequency1.cc.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Let test13 compile.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Cut exponential execution paths by calls to maybe_abandon().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): All test functions should be declared in the anonymous namespace.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added implementations for the original PR termination tests.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added helper function sub_mul_assign() to Linear_Expression interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Use original PR method if a single pointset is provided.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid the creation of many temporary linear expressions.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid nonpositivity constraints in the enhanced PR methods by changing sign .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Rename Termination.cc in ppl_java_Termination. cc in Java interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): A few optimizations applied to fill_constraint_systems_MS().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Apply more memory allocation improvements.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Other minor improvements in assign_all_inequalities_approximation().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid a few annoying warnings for unused parameters.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Factored away common code in the MS-based termination procedures.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added procedures computing all the affine quasi-ranking functions.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added to Prolog interface the predicates for quasi-ranking functions.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected several errors in Java interface for termination test procedures .   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Enable Java interface for termination procedures ( and corrected bugs).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Interfaced quasi_ranking procedures to C.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed assign_all_inequalities_approximation for shapes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Completed removal of Constraint_System_Iterator.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed problems in the Artificial_Parameter(_Sequence ) interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Drafted drop_some_non_integer_points() for weakly relational shapes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Drafted drop_some_non_integer_points() for Interval and Box.   Enea Zaffanella

Last message date: Wed Mar 31 22:21:39 CEST 2010
Archived on: Fri Jan 20 18:10:36 CET 2012

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...