PPL-devel

Download

ppl-devel@bugseng.com

May 2013

10 participants
12 discussions

[GIT] ppl/ppl(polyops): Added test cases for the positive time elapse operator.
by Marco Faella 13 May '13

13 May '13

Module: ppl/ppl Branch: polyops Commit: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecec8a84028b… Author: Marco Faella <marfaella(a)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=ecec8a84…

1 0

[GIT] ppl/ppl(master): Apparently, some versions of Doxygen require this line.
by Roberto Bagnara 11 May '13

11 May '13

Module: ppl/ppl Branch: master Commit: 46edbeca89067126365ca31b38011d5bde23bdb8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46edbeca8906… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat May 11 17:55:04 2013 +0200 Apparently, some versions of Doxygen require this line. (Thanks to Matthias Klose.) --- doc/devref-language-interface.tex | 1 + doc/devref.tex | 1 + doc/user-language-interface.tex | 1 + doc/user.tex | 1 + 4 files changed, 4 insertions(+), 0 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 661feb5..fb734e6 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/devref.tex b/doc/devref.tex index fd69ac1..e0d2e14 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index df64139..05b2b3d 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user.tex b/doc/user.tex index 32469b7..52ab7ee 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true,

1 0