[GIT] ppl/ppl(master): Completed draft Java interface for PIP_Problem ( untested).
by Patricia Hill 30 Mar '10
by Patricia Hill 30 Mar '10
30 Mar '10
1
0
[GIT] ppl/ppl(master): Added Java interface tests for termination_test_MS,
by Patricia Hill 30 Mar '10
by Patricia Hill 30 Mar '10
30 Mar '10
1
0
[GIT] ppl/ppl(master): Enable Java interface for termination procedures ( and corrected bugs).
by Enea Zaffanella 30 Mar '10
by Enea Zaffanella 30 Mar '10
30 Mar '10
1
0
1
0
[GIT] ppl/ppl(master): Almost complete (but untested) Java interface to the PIP_Problem
by Patricia Hill 30 Mar '10
by Patricia Hill 30 Mar '10
30 Mar '10
1
0
[GIT] ppl/ppl(master): Corrected several errors in Java interface for termination test procedures .
by Enea Zaffanella 29 Mar '10
by Enea Zaffanella 29 Mar '10
29 Mar '10
1
0
1
0
[GIT] ppl/ppl(master): Added to Prolog interface the predicates for quasi-ranking functions.
by Enea Zaffanella 29 Mar '10
by Enea Zaffanella 29 Mar '10
29 Mar '10
1
0
[GIT] ppl/ppl(master): Added procedures computing all the affine quasi-ranking functions.
by Enea Zaffanella 29 Mar '10
by Enea Zaffanella 29 Mar '10
29 Mar '10
1
0
[GIT] ppl/ppl(master): Factored away common code in the MS-based termination procedures.
by Enea Zaffanella 27 Mar '10
by Enea Zaffanella 27 Mar '10
27 Mar '10
1
0