Module: ppl/ppl Branch: termination Commit: 5d2d2e0aa6341133e05220f4892e4c853693608b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2d2e0aa6341... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Mar 7 14:32:06 2010 +0400 Several improvements. Changed the encoding of the input systems. Started drafting the implementation of the method of Podelski and Rybalchenko. --- tests/Polyhedron/termination1.cc | 263 +++++++++++++++++++++++++++---------- 1 files changed, 192 insertions(+), 71 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5d2d2e0aa...