March 2010 Archives by author
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: Sun Mar 6 09:35:42 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).