26 Jul '10
1
0
[GIT] ppl/ppl(floating_point): Adapted to latest changes in Concrete_Expression's
by Fabio Bossi 26 Jul '10
by Fabio Bossi 26 Jul '10
26 Jul '10
1
0
1
0
[GIT] ppl/ppl(floating_point): Started rewriting the incarnation of concrete expression to be used in PPL tests .
by Roberto Bagnara 25 Jul '10
by Roberto Bagnara 25 Jul '10
25 Jul '10
1
0
1
0
1
0
24 Jul '10
1
0
[GIT] ppl/ppl(floating_point): Some progress with the linearization algorithm.
by Fabio Bossi 24 Jul '10
by Fabio Bossi 24 Jul '10
24 Jul '10
1
0
[GIT] ppl/ppl(floating_point): Added a skeleton for the new linearization function.
by Fabio Bossi 24 Jul '10
by Fabio Bossi 24 Jul '10
24 Jul '10
2
1
1
0