[GIT] ppl/ppl(master): Dense_Matrix, Sparse_Matrix: remove useless typedefs for row_type.
by Marco Poletti 03 Oct '10
by Marco Poletti 03 Oct '10
03 Oct '10
1
0
2
1
1
0
[GIT] ppl/ppl(floating_point): Always use marked_empty() instead of is_empty() after
by Fabio Bossi 29 Sep '10
by Fabio Bossi 29 Sep '10
29 Sep '10
1
0
1
0
[GIT] ppl/ppl(floating_point): Added generalized_refine_with_linear_form_inequality.
by Fabio Bossi 29 Sep '10
by Fabio Bossi 29 Sep '10
29 Sep '10
1
0
1
0
29 Sep '10
1
0
1
0
1
0