[PPL-devel] [GIT] ppl/ppl(polyops): Added test cases for the positive time elapse operator.

[Marco Faella]

Module: ppl/ppl
Branch: polyops
Commit: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecec8a84028b623f777cd1a424e4a82bdbc8b7dd

Author: Marco Faella <marfaella at 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=ecec8a84028b623f777cd1a424e4a82bdbc8b7dd