[GIT] ppl/ppl(bounded_arithmetic): Changed declaration and definition for the left_shift and right_shift operators ,
by Alberto Gioia 18 Jul '11
by Alberto Gioia 18 Jul '11
18 Jul '11
1
0
[GIT] ppl/ppl(bounded_arithmetic): Added implementation of the operator<=.
by Alberto Gioia 18 Jul '11
by Alberto Gioia 18 Jul '11
18 Jul '11
1
0
1
0
16 Jul '11
1
0
14 Jul '11
1
0
1
0
13 Jul '11
1
0
[GIT] ppl/ppl(bounded_arithmetic): Added test files about bitwise operators on integer intervals, then added in Makefile.am files
by Alberto Gioia 13 Jul '11
by Alberto Gioia 13 Jul '11
13 Jul '11
1
0
[GIT] ppl/ppl(bounded_arithmetic): Adjust the functions about bitwise operators.
by Alberto Gioia 13 Jul '11
by Alberto Gioia 13 Jul '11
13 Jul '11
1
0
[GIT] ppl/ppl(master): Avoid annoying warnings caused by internal OCaml C code.
by Enea Zaffanella 11 Jul '11
by Enea Zaffanella 11 Jul '11
11 Jul '11
1
0