
[GIT] ppl/ppl(termination): Implemented and fixed termination utilities with two input abstractions.
by Roberto Bagnara 17 Mar '10
by Roberto Bagnara 17 Mar '10
17 Mar '10
1
0
1
0

[GIT] ppl/ppl(termination): Added a test (based on test10 in termination1. cc in the
by Patricia Hill 17 Mar '10
by Patricia Hill 17 Mar '10
17 Mar '10
1
0

[GIT] ppl/ppl(termination): Added termination_test functions ending with " _2".
by Patricia Hill 17 Mar '10
by Patricia Hill 17 Mar '10
17 Mar '10
1
0
1
0
1
0

[GIT] ppl/ppl(master): Allow for the various numeric types in frequency1.cc
by Patricia Hill 16 Mar '10
by Patricia Hill 16 Mar '10
16 Mar '10
1
0

[GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node::Tableau: optimize scale( ) method for sparse matrices.
by Marco Poletti 16 Mar '10
by Marco Poletti 16 Mar '10
16 Mar '10
1
0

[GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: fix regression in solve( ), partially reverting commit d7f564.
by Marco Poletti 16 Mar '10
by Marco Poletti 16 Mar '10
16 Mar '10
1
0

[GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: fix regression in generate_cut() introduced by commit 65bee8.
by Marco Poletti 16 Mar '10
by Marco Poletti 16 Mar '10
16 Mar '10
1
0