[GIT] ppl/ppl(products): Added method frequency() to the Polyhedron and BD Shape domains.
by Patricia Hill 21 May '09
by Patricia Hill 21 May '09
21 May '09
1
0
[GIT] ppl/ppl(master): Test test02() overflows with 16 bit checked integers .
by Enea Zaffanella 20 May '09
by Enea Zaffanella 20 May '09
20 May '09
1
0
[GIT] ppl/ppl(master): Added a warning about non-integrality for wrap_assign().
by Patricia Hill 20 May '09
by Patricia Hill 20 May '09
20 May '09
1
0
[GIT] ppl/ppl(products): Revert " Added a warning about non-integrality for wrap_assign()."
by Patricia Hill 20 May '09
by Patricia Hill 20 May '09
20 May '09
1
0
[GIT] ppl/ppl(products): Added a warning about non-integrality for wrap_assign().
by Patricia Hill 20 May '09
by Patricia Hill 20 May '09
20 May '09
1
0
[GIT] ppl/ppl(products): Some tests are expected to fail with 8-bit integers.
by Patricia Hill 20 May '09
by Patricia Hill 20 May '09
20 May '09
1
0
1
0
1
0
[GIT] ppl/ppl(products): Revised the tests so as to follow the organization for other domains.
by Patricia Hill 19 May '09
by Patricia Hill 19 May '09
19 May '09
1
0
[GIT] ppl/ppl(master): Corrected a typo in the known result of a wrap_assign test.
by Enea Zaffanella 19 May '09
by Enea Zaffanella 19 May '09
19 May '09
1
0