Module: ppl/ppl Branch: polyops Commit: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecec8a84028b6... Author: Marco Faella <marfaella@gmail.com> Date: Mon May 13 16:29:50 2013 +0200 Added test cases for the positive time elapse operator. Modified the user manual and the credits in order to acknowledge the new function and its authors, respectively. --- CREDITS | 9 + doc/definitions.dox | 45 ++++ doc/ppl.bib | 29 +++ doc/ppl_citations.bib | 21 -- tests/Polyhedron/Makefile.am | 1 + tests/Polyhedron/postimeelapse1.cc | 429 ++++++++++++++++++++++++++++++++++++ 6 files changed, 513 insertions(+), 21 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ecec8a840...