[GIT] ppl/ppl(master): Avoid a few annoying warnings for unused parameters.
by Enea Zaffanella 27 Mar '10
by Enea Zaffanella 27 Mar '10
27 Mar '10
1
0
1
0
[GIT] ppl/ppl(master): Other minor improvements in assign_all_inequalities_approximation().
by Enea Zaffanella 27 Mar '10
by Enea Zaffanella 27 Mar '10
27 Mar '10
1
0
27 Mar '10
1
0
[GIT] ppl/ppl(master): A few optimizations applied to fill_constraint_systems_MS().
by Enea Zaffanella 26 Mar '10
by Enea Zaffanella 26 Mar '10
26 Mar '10
1
0
[GIT] ppl/ppl(master): Rename Termination.cc in ppl_java_Termination. cc in Java interface.
by Enea Zaffanella 26 Mar '10
by Enea Zaffanella 26 Mar '10
26 Mar '10
1
0
2
2
[GIT] ppl/ppl(sparse_matrices): MIP_Problem: clarify code in linear_combine ().
by Marco Poletti 25 Mar '10
by Marco Poletti 25 Mar '10
25 Mar '10
1
0
[GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: swap elements instead of copy-constructing them, in update_tableau().
by Marco Poletti 25 Mar '10
by Marco Poletti 25 Mar '10
25 Mar '10
1
0
[GIT] ppl/ppl(sparse_matrices): PIP_Tree_Node: avoid insertion in method compatibility_check(), may be very slow with some backends.
by Marco Poletti 25 Mar '10
by Marco Poletti 25 Mar '10
25 Mar '10
1
0