PPL-devel

Download

ppl-devel@bugseng.com

August 2019

2 participants
2 discussions

[GIT] ppl/ppl(master): Removed pointless qualifier.
by Abramo Bagnara 14 Aug '19

14 Aug '19

Module: ppl/ppl Branch: master Commit: 26787291164ec3aef72c27b3dc6a40fc1dff17b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26787291164e… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Wed Aug 14 18:09:51 2019 +0200 Removed pointless qualifier. --- src/compiler.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/compiler.hh b/src/compiler.hh index 217121f..31f88de 100644 --- a/src/compiler.hh +++ b/src/compiler.hh @@ -36,7 +36,7 @@ namespace Parma_Polyhedra_Library { the compiler. */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) -#define PPL_USED(v) (const void)(v) +#define PPL_USED(v) (void)(v) #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 13 Aug '19

13 Aug '19

Module: ppl/ppl Branch: master Commit: fe66d8719af728506b80f2d772c4e2cdd87f2a8e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe66d8719af7… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Aug 13 19:46:46 2019 +0200 Updated. --- config.guess | 282 +++++++++++++++++++++++++++++++++++++++++++++++----------- config.sub | 59 +++++++------ 2 files changed, 260 insertions(+), 81 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fe66d871…

1 0