[GIT] ppl/ppl(master): Fixed the all_affine_ranking_functions_PR*() functions to correctly deal with the case where the system is unsatisfiable .
by Roberto Bagnara 25 Mar '10
by Roberto Bagnara 25 Mar '10
25 Mar '10
1
0
[GIT] ppl/ppl(master): Implemented methods Pointset_Powerset:: drop_some_non_integer_points().
by Roberto Bagnara 25 Mar '10
by Roberto Bagnara 25 Mar '10
25 Mar '10
1
0
[GIT] ppl/ppl(master): Test Polyhedron::drop_some_non_integer_points().
by Roberto Bagnara 25 Mar '10
by Roberto Bagnara 25 Mar '10
25 Mar '10
1
0
[GIT] ppl/ppl(master): Fixed a couple of bugs in drop_some_non_integer_points().
by Roberto Bagnara 25 Mar '10
by Roberto Bagnara 25 Mar '10
25 Mar '10
1
0
24 Mar '10
1
0
[GIT] ppl/ppl(master): Enable *drop_some_non_integer_points* for Polyhedron ; disable it for Pointset_Powerset.
by Roberto Bagnara 24 Mar '10
by Roberto Bagnara 24 Mar '10
24 Mar '10
1
0
1
0
[GIT] ppl/ppl(master): Drafted the implementation of methods drop_some_non_integer_points().
by Roberto Bagnara 24 Mar '10
by Roberto Bagnara 24 Mar '10
24 Mar '10
1
0
[GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Std_Vector_Backend: add and use sequential_search_treshold.
by Marco Poletti 24 Mar '10
by Marco Poletti 24 Mar '10
24 Mar '10
1
0
[GIT] ppl/ppl(master): Enable the interfaces procedures for Grid:: drop_some_non_integer_points().
by Patricia Hill 24 Mar '10
by Patricia Hill 24 Mar '10
24 Mar '10
1
0