November 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Avoid overloading std::swap for PPL types.
by Enea Zaffanella 07 Nov '11

07 Nov '11

1 0

[GIT] ppl/ppl(master): More words added.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 0442fb1660eb2a57e4412b44505a3a28a8d826f0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0442fb1660eb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:42:13 2011 +0100 More words added. --- devtools/vocabulary | 33 ++++++++++++++++++++++++++++++++- 1 files changed, 32 insertions(+), 1 deletions(-) diff --git a/devtools/vocabulary b/devtools/vocabulary index ae5e555..9fd9c7d 100644 --- a/devtools/vocabulary +++ b/devtools/vocabulary @@ -1,4 +1,4 @@ -TOTAL_COUNT 593525 +TOTAL_COUNT 600795 a 5311 ab 1 abandon 18 @@ -142,6 +142,7 @@ anyway 6 ap 29 apart 4 api 6 +app 2 apparently 2 appear 4 appearances 8 @@ -433,6 +434,7 @@ certificates 19 certified 2 certify 2 cg 608 +cgs 632 ch 21 chain 14 chains 1 @@ -779,6 +781,7 @@ data 315 date 1033 day 1 db 482 +dbm 819 dbm 820 dd 19 deadline 40 @@ -796,6 +799,7 @@ dec 31 decide 4 decided 2 decision 100 +decl 37 declaration 94 declarations 53 declare 120 @@ -839,6 +843,7 @@ delimited 1 delimiter 2 delta 40 den 950 +denom 123 denominator 950 denominators 35 denorm 25 @@ -901,6 +906,7 @@ diagonal 54 diagonals 1 dictated 13 did 2 +dies 1 diff 88 differ 1 difference 249 @@ -1349,6 +1355,7 @@ four 8 fourth 8 fprintf 18 fpu 240 +frac 98 fraction 15 fractional 10 fractions 2 @@ -1563,6 +1570,7 @@ ignored 114 ignores 3 ignoring 7 ii 136 +ij 138 illegal 13 image 272 images 5 @@ -1655,6 +1663,7 @@ info 1277 informally 1 information 352 infty 44 +ingroup 151 inherit 6 inheritance 1 inherited 22 @@ -1801,6 +1810,7 @@ itself 16 iv 13 ix 5 j 2621 +ji 8 jmp 1 job 4 join 19 @@ -1883,6 +1893,7 @@ letting 3 level 97 lexicographic 12 lexicographically 3 +lf 299 lhs 554 li 36 lib 6 @@ -1960,6 +1971,7 @@ lowest 1 lp 179 lpsol 2 lr 7 +lrs 1 ls 34 lt 151 lub 2 @@ -2238,11 +2250,13 @@ nr 10 ns 69 nu 6 null 102 +num 3166 numb 2 number 1117 numbered 1 numbering 1 numbers 35 +numer 79 numerator 129 numerators 30 numeric 143 @@ -2296,6 +2310,7 @@ on 473 once 38 one 660 ones 44 +oneshot 4 only 975 onto 49 onward 1 @@ -2439,6 +2454,7 @@ perspective 3 pf 10 pg 5 ph 395 +ph 480 phase 21 phi 3 physically 1 @@ -2450,6 +2466,7 @@ pity 1 pivot 381 pivoting 10 pivots 1 +pkint 23 pl 10 place 59 placed 3 @@ -2629,6 +2646,7 @@ ps 29 pset 668 pseudo 41 pt 25 +ptr 37 ptrdiff 8 public 1128 published 288 @@ -2801,6 +2819,7 @@ releases 1 relevant 30 reliable 1 relies 2 +relsym 423 rem 95 remain 11 remainder 75 @@ -2856,6 +2875,7 @@ reschedule 7 reserve 35 reserved 120 reset 346 +resethand 3 resets 13 residues 8 resize 121 @@ -2910,6 +2930,7 @@ rint 18 rintf 2 rintl 3 rise 3 +rlim 6 rlimit 13 rm 3 roberto 361 @@ -3065,6 +3086,7 @@ shuffle 1 si 222 side 121 sides 3 +sig 2 sigaction 17 sigalrm 1 sigemptyset 1 @@ -3082,6 +3104,7 @@ signs 9 signum 6 sigprof 1 sigset 2 +sigxcpu 1 silence 1 silent 11 silently 1 @@ -3246,6 +3269,7 @@ strategy 59 strcmp 2 stream 9 streambuf 41 +streams 2 streamsize 23 street 282 strerror 3 @@ -3259,6 +3283,7 @@ strlen 1 strong 238 stronger 2 strongly 159 +strtol 4 strtoll 2 strtoull 2 struct 300 @@ -3349,6 +3374,7 @@ syntactic 17 syntactically 24 syntax 7 sys 1251 +syscall 6 system 2750 systematic 1 systematically 1 @@ -3471,6 +3497,7 @@ toward 4 towards 30 towardzero 4 tp 162 +tparam 9 tr 118 traces 1 track 14 @@ -3536,7 +3563,9 @@ typeof 2 types 246 typically 4 u 1039 +ub 659 ul 13 +ulong 42 un 8 unaffected 4 unaltered 5 @@ -3687,6 +3716,7 @@ vs 25 w 710 want 33 wanted 8 +warn 1 warned 3 warning 44 warnings 8 @@ -3758,6 +3788,7 @@ wrapped 59 wrapper 68 wrapping 48 wraps 15 +wrd 14 writable 1 write 307 writes 21

1 0

[GIT] ppl/ppl(master): Added a word legitimately occurring in a comment.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: c821ec2f143708686c76397f1acca4b0e411e654 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c821ec2f1437… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:37:21 2011 +0100 Added a word legitimately occurring in a comment. --- devtools/good_words | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/devtools/good_words b/devtools/good_words index 6be60f0..3346828 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,3 +1,4 @@ +aut00-13 biggl biggr bigl

1 0

[GIT] ppl/ppl(master): Added more Doxygen and LaTeX keywords.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: b637cbc5c055505c1ed8decdcd427809439d06ce URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b637cbc5c055… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:35:51 2011 +0100 Added more Doxygen and LaTeX keywords. --- devtools/good_words | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/devtools/good_words b/devtools/good_words index aad6c51..6be60f0 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -11,8 +11,10 @@ downarrow endcode endverbatim forall +frac hideinitializer iff +ingroup ldots lfloor mapsto @@ -32,5 +34,6 @@ rightarrow scriptstyle sseq textrm +tparam uparrow varepsilon

1 0

[GIT] ppl/ppl(master): Started fixing the vocabulary used throughout the library.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 46b4e6265003f17e00f9d1a6c6d4be8abba2d0c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46b4e6265003… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 08:30:32 2011 +0100 Started fixing the vocabulary used throughout the library. Detected by ECLAIR service idntvcbl. --- Watchdog/src/Pending_List.templates.hh | 7 ++- Watchdog/src/Watchdog.cc | 8 +- demos/ppl_lcdd/ppl_lcdd.cc | 8 +- demos/ppl_pips/ppl_pips.cc | 12 ++-- src/BD_Shape.defs.hh | 46 +++++++------- src/BD_Shape.inlines.hh | 20 +++--- src/BD_Shape.templates.hh | 99 ++++++++++++++++---------------- 7 files changed, 102 insertions(+), 98 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=46b4e626…

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 38d2ed66618252211a00d6affbfb119978677ddd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38d2ed666182… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 22:22:53 2011 +0100 Updated. --- devtools/good_words | 132 --------------------------------------------------- devtools/vocabulary | 53 ++++++++++++++++++++- 2 files changed, 52 insertions(+), 133 deletions(-) diff --git a/devtools/good_words b/devtools/good_words index 6e31b06..aad6c51 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,80 +1,20 @@ -ac -addmod -addmul -alloc -ansi -antoine -argc -argv -autoheader biggl biggr bigl bigm bigoplus bigr -bindir -bnot -bor -bugs -bxor -caml -casting cdot -cend -cflags -ciao -command -confined -conform -conforms -cousot cplusplus -cppflags -credits -csh -cstdarg -cxxflags defeq -defs -denorm -develop -development downarrow -driven -duplicating -effective endcode -endian endverbatim -fatal -files -floats forall -getrlimit -glpk -hh hideinitializer -highly -home -idefs iff -indirectly -interfere -intervalized -java -langle -ldflags ldots -letters lfloor -lib -libdir -libstdc -libtool -lift -macros -makefile mapsto mathbf mathit @@ -83,86 +23,14 @@ mathord mathrel mathrm mathtt -metaprogramming -mine -motorola -namespaces notin -objdir -ocaml -official -operand -operands -ostream -ostringstream -outputs -overapproximate -overapproximated -overapproximates -overapproximation overline -papadimitriou -pattern -pedantic pmod -popcount -portray -postdecrement -predefined -prefixes -processor -prolog -proof -pwl rangle -rbegin -reports rfloor -rhs rightarrow -rlimit scriptstyle -sent -setrlimit -sh -sicstus -sigalrm -siginfo -signum -sigprof -sigset -situations -snapshots -sound -spells -spurious -src sseq -sstream -stderr -stdexcept -stdint -stdlib -strcaseeq -strcmp -strtod -strtof -strtold -strtoll -strtoull -swi -tags textrm -thesis -uninstalled -unistd -unlikely uparrow varepsilon -varid -vc -vfprintf -whatsoever -wide -yap -yielding diff --git a/devtools/vocabulary b/devtools/vocabulary index 6913861..ae5e555 100644 --- a/devtools/vocabulary +++ b/devtools/vocabulary @@ -1,4 +1,4 @@ -TOTAL_COUNT 590824 +TOTAL_COUNT 593525 a 5311 ab 1 abandon 18 @@ -57,6 +57,8 @@ adding 171 addition 19 additional 67 additive 28 +addmod 4 +addmul 2 address 1 addressed 1 adds 125 @@ -94,6 +96,7 @@ alias 17 aliasing 1 aligned 4 all 1053 +alloc 10 allocate 16 allocated 29 allocates 3 @@ -171,9 +174,11 @@ architectures 4 are 2188 areas 1 arg 126 +argc 14 args 3 argument 758 arguments 18 +argv 16 arise 1 arises 1 arithmetic 13 @@ -322,12 +327,14 @@ black 2 block 2 blocks 2 bmpz 28 +bnot 1 body 28 bomb 38 bool 2597 boolean 24 booleans 2 bop 2 +bor 1 boston 288 both 191 bother 2 @@ -364,6 +371,7 @@ builtin 7 bump 10 but 538 bx 1 +bxor 1 by 1674 byte 23 bytes 413 @@ -532,6 +540,7 @@ come 10 comeau 3 comes 11 comma 5 +command 8 commands 1 comment 13 commented 2 @@ -738,6 +747,7 @@ csecs 29 csetjmp 1 csignal 2 cst 12 +cstdarg 2 cstddef 15 cstdio 1 cstdlib 5 @@ -813,6 +823,7 @@ definite 1 definitely 45 definition 22 definitions 48 +defs 258 degenerate 26 del 5 delay 35 @@ -830,6 +841,7 @@ delta 40 den 950 denominator 950 denominators 35 +denorm 25 denormalized 1 denote 5 denoted 3 @@ -1241,6 +1253,7 @@ far 28 farkas 5 fast 69 faster 24 +fatal 30 favor 1 favored 1 fe 12 @@ -1263,6 +1276,7 @@ fields 5 fifth 283 figure 1 file 382 +files 6 fill 35 filled 2 filter 27 @@ -1402,6 +1416,7 @@ getc 2 getitimer 5 getline 9 getopt 22 +getrlimit 3 getrusage 4 gets 12 getting 7 @@ -1486,6 +1501,7 @@ heuristically 1 heuristics 32 hex 8 hexadecimal 3 +hh 883 hi 9 hidden 1 hiding 1 @@ -1525,6 +1541,7 @@ ia 1 ibm 28 icc 3 id 581 +idefs 16 idempotent 2 identical 18 identified 9 @@ -1816,6 +1833,7 @@ lack 1 lacks 2 lambda 52 land 1 +langle 23 language 3 languages 1 large 3 @@ -1860,12 +1878,14 @@ les 26 less 257 lesser 1 let 68 +letters 14 letting 3 level 97 lexicographic 12 lexicographically 3 lhs 554 li 36 +lib 6 libraries 1 library 1792 license 1152 @@ -1873,6 +1893,7 @@ licensing 1 lie 6 lies 9 life 1 +lift 4 lifted 1 lifter 9 lifts 1 @@ -1955,6 +1976,7 @@ maintain 1 maintained 16 major 2 make 75 +makefile 1 makes 22 making 6 managed 52 @@ -2031,6 +2053,7 @@ message 15 messages 2 met 4 meta 3 +metaprogramming 1 method 661 methods 52 mi 6 @@ -2318,6 +2341,8 @@ origin 48 original 61 originally 1 os 176 +ostream 300 +ostringstream 96 ot 1 other 200 others 2 @@ -2332,6 +2357,10 @@ output 339 outside 6 over 30 overall 5 +overapproximate 8 +overapproximated 4 +overapproximates 3 +overapproximation 1 overcome 1 overflow 314 overflowed 4 @@ -2457,6 +2486,7 @@ polynomial 40 pomerance 1 pool 1 pop 1 +popcount 1 populate 4 populated 1 populates 1 @@ -2477,6 +2507,7 @@ possibility 2 possible 116 possibly 88 post 3 +postdecrement 1 postfix 16 postincrement 1 postpone 2 @@ -2611,6 +2642,7 @@ put 35 putc 1 puts 2 putting 1 +pwl 218 px 12 q 430 qr 2 @@ -2657,6 +2689,7 @@ ratios 3 raw 64 ray 296 rays 163 +rbegin 11 rc 4 rd 1 re 25 @@ -2869,6 +2902,7 @@ revision 2 revived 2 rewrite 1 rho 11 +rhs 411 rid 8 right 480 rightmost 9 @@ -2876,6 +2910,7 @@ rint 18 rintf 2 rintl 3 rise 3 +rlimit 13 rm 3 roberto 361 role 9 @@ -2994,6 +3029,7 @@ set 1839 setfill 2 setitimer 17 setjmp 1 +setrlimit 3 sets 133 setters 4 setting 22 @@ -3030,6 +3066,7 @@ si 222 side 121 sides 3 sigaction 17 +sigalrm 1 sigemptyset 1 sigill 6 sign 579 @@ -3042,6 +3079,9 @@ signedness 4 significance 1 significant 3 signs 9 +signum 6 +sigprof 1 +sigset 2 silence 1 silent 11 silently 1 @@ -3147,10 +3187,12 @@ square 39 squared 7 squareness 2 sr 4 +src 57 srivastava 1 srl 361 ss 10 sse 10 +sstream 15 ssum 1 st 15 stabilization 12 @@ -3176,6 +3218,8 @@ stats 1 status 609 stay 4 std 2815 +stderr 22 +stdexcept 32 stdio 1 stdiobuf 28 stdout 2 @@ -3199,6 +3243,7 @@ storing 42 str 513 straight 1 strategy 59 +strcmp 2 stream 9 streambuf 41 streamsize 23 @@ -3214,6 +3259,8 @@ strlen 1 strong 238 stronger 2 strongly 159 +strtoll 2 +strtoull 2 struct 300 structure 44 structures 30 @@ -3521,6 +3568,7 @@ union 54 unipr 368 unique 13 uniquely 3 +unistd 4 unit 16 units 2 univ 155 @@ -3598,8 +3646,10 @@ variant 6 variants 2 variation 1 variations 3 +varid 7 various 1 vars 725 +vc 143 vect 309 vector 529 vectors 7 @@ -3616,6 +3666,7 @@ versions 6 vertex 3 vertices 5 very 15 +vfprintf 6 vi 16 via 5 vice 17

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 1fd5954e2148a7f86672773616b8d2f4a8956e66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fd5954e2148… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 21:55:03 2011 +0100 Updated. --- devtools/vocabulary | 69 ++++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 68 insertions(+), 1 deletions(-) diff --git a/devtools/vocabulary b/devtools/vocabulary index 8e192e6..6913861 100644 --- a/devtools/vocabulary +++ b/devtools/vocabulary @@ -1,4 +1,4 @@ -TOTAL_COUNT 589263 +TOTAL_COUNT 590824 a 5311 ab 1 abandon 18 @@ -16,6 +16,7 @@ absolutely 1 abstract 56 abstraction 4 abstractions 4 +accept 1 acceptable 1 accepted 4 accepts 2 @@ -282,6 +283,7 @@ belong 9 belongs 13 below 121 bemporad 2 +benchmark 1 benchmarks 1 beneficial 1 benefits 2 @@ -305,6 +307,7 @@ big 68 bigendian 6 bigger 7 biggest 3 +bignum 15 binary 188 bind 2 binds 1 @@ -408,6 +411,7 @@ causes 4 causing 1 cb 17 cc 81 +cddlib 2 ceil 44 cell 36 cells 5 @@ -445,6 +449,7 @@ checked 823 checking 42 checkme 18 checks 144 +chernikova 1 chi 38 child 164 children 2 @@ -457,6 +462,7 @@ chop 2 chosen 10 chunk 4 ci 242 +cin 4 circles 1 ck 68 cl 4 @@ -526,6 +532,7 @@ come 10 comeau 3 comes 11 comma 5 +commands 1 comment 13 commented 2 comments 3 @@ -823,6 +830,7 @@ delta 40 den 950 denominator 950 denominators 35 +denormalized 1 denote 5 denoted 3 denotes 7 @@ -872,6 +880,7 @@ determining 1 determinism 2 deterministic 3 detriment 4 +devel 5 developed 4 developers 1 dfs 30 @@ -920,6 +929,7 @@ disjunct 92 disjuncts 61 displaced 4 displacement 2 +display 4 disregard 10 disregarded 11 disregarding 7 @@ -994,6 +1004,7 @@ eat 1 ec 15 eclair 1 ed 1 +edg 4 edge 32 edition 3 effect 18 @@ -1075,6 +1086,7 @@ entry 19 enum 78 enumerated 2 enumeration 3 +env 15 envelope 1 eof 36 epsilon 146 @@ -1096,11 +1108,13 @@ errno 3 error 286 errors 5 es 1 +especially 2 essence 1 established 1 establishes 1 estimate 1 etc 6 +eth 2 euclidean 75 ev 8 evaluate 31 @@ -1142,11 +1156,13 @@ exclusive 3 executable 19 executed 1 executes 3 +executing 1 execution 6 exhausted 4 exist 14 existed 1 existential 4 +existentiallly 1 existentially 15 existing 51 exists 57 @@ -1158,6 +1174,7 @@ expanded 25 expanding 3 expands 3 expansion 1 +expect 6 expected 13 expects 1 expense 1 @@ -1316,11 +1333,13 @@ found 170 foundation 576 four 8 fourth 8 +fprintf 18 fpu 240 fraction 15 fractional 10 fractions 2 fragment 3 +frames 3 framework 3 franklin 282 fread 1 @@ -1336,6 +1355,7 @@ friends 1 friendship 1 from 2466 front 4 +fstream 2 fukuda 2 fulfill 2 full 24 @@ -1380,6 +1400,8 @@ geq 98 get 770 getc 2 getitimer 5 +getline 9 +getopt 22 getrusage 4 gets 12 getting 7 @@ -1422,11 +1444,14 @@ guarantee 14 guaranteed 4 guarantees 7 guard 7 +guarded 67 guess 2 guidelines 1 h 387 had 3 half 146 +halfspace 6 +halfspaces 1 hand 123 handle 154 handled 4 @@ -1515,6 +1540,7 @@ ieeefp 3 if 11371 ifdef 303 ifndef 584 +ifstream 2 ignore 73 ignored 114 ignores 3 @@ -1734,6 +1760,7 @@ irrational 16 irredundant 8 is 9825 iso 15 +isqrt 2 isspace 8 issue 5 issues 6 @@ -1750,6 +1777,7 @@ iteration 33 iterations 30 iterator 2640 iterators 67 +itimer 5 itimerval 7 its 251 itself 16 @@ -1803,6 +1831,7 @@ lazily 4 laziness 2 lazy 17 lb 438 +lcdd 13 lcm 154 ldexp 1 le 256 @@ -1862,6 +1891,7 @@ lin 23 line 451 lineality 9 linear 2415 +linearity 30 linearization 2 linearize 2 linearized 1 @@ -1907,9 +1937,11 @@ low 65 lower 897 lowest 1 lp 179 +lpsol 2 lr 7 ls 34 lt 151 +lub 2 luckily 1 lying 4 m 1346 @@ -1917,6 +1949,7 @@ ma 288 machine 1 macro 4 made 29 +magic 2 main 22 maintain 1 maintained 16 @@ -1979,6 +2012,7 @@ measured 2 mechanism 6 median 2 meet 26 +mega 6 member 106 members 5 memcpy 4 @@ -2026,8 +2060,10 @@ miscellaneous 6 mislead 1 mismatch 18 mismatches 4 +misplaced 1 misses 5 missing 13 +mit 1 mix 2 mixed 54 mk 19 @@ -2070,6 +2106,7 @@ msg 1 mu 180 much 12 mul 570 +multi 3 multiple 31 multiples 1 multiplication 6 @@ -2084,6 +2121,7 @@ must 392 mutable 4 mutate 3 mutually 5 +mv 4 my 7 n 3364 name 387 @@ -2153,6 +2191,7 @@ nonetheless 2 nonnegative 22 nonnegativity 2 nonpositive 1 +nonstrict 35 nontrivial 10 nonzero 40 nor 22 @@ -2223,6 +2262,7 @@ of 7575 off 7 offers 1 offset 70 +ofstream 2 ok 984 old 486 oldest 1 @@ -2249,6 +2289,7 @@ opposed 2 opposing 2 opposite 2 opt 19 +optarg 8 optimal 33 optimality 19 optimally 36 @@ -2260,6 +2301,7 @@ optimized 68 optimizes 17 optimizing 34 optimum 6 +optind 6 option 289 optional 83 optionally 2 @@ -2282,6 +2324,7 @@ others 2 otherwise 275 our 18 ours 1 +ourselves 1 out 214 outcome 3 outcomes 3 @@ -2327,6 +2370,7 @@ parentheses 6 parenthesis 2 parma 1771 parse 9 +parser 23 parses 1 parsing 1 part 396 @@ -2343,6 +2387,7 @@ passing 11 past 43 path 362 pay 1 +pbackfail 4 pc 10 pcs 93 pd 20 @@ -2371,6 +2416,7 @@ physically 1 pi 81 pip 631 pipermail 5 +piplib 12 pity 1 pivot 381 pivoting 10 @@ -2399,12 +2445,14 @@ points 467 pointset 570 pointsets 2 policy 2124 +polka 42 poly 737 polygons 1 polyhedra 1782 polyhedral 7 polyhedron 1507 polyhedrons 2 +polylib 33 polynomial 40 pomerance 1 pool 1 @@ -2465,6 +2513,7 @@ prelims 5 prep 48 preparation 1 prepare 12 +prepared 2 preparing 2 preprocessor 1 presence 3 @@ -2546,6 +2595,7 @@ providing 12 provisional 2 provisos 1 ps 29 +pset 668 pseudo 41 pt 25 ptrdiff 8 @@ -2588,6 +2638,7 @@ quotients 9 r 2634 race 1 radix 4 +raii 7 raise 7 raises 2 random 3 @@ -3150,6 +3201,7 @@ straight 1 strategy 59 stream 9 streambuf 41 +streamsize 23 street 282 strerror 3 strict 362 @@ -3171,6 +3223,8 @@ style 17 sub 339 subdivided 1 subject 46 +submatrix 3 +subproblem 1 subscript 16 subscripted 1 subsequently 1 @@ -3181,6 +3235,7 @@ substituted 10 substitutes 8 substituting 2 substitution 13 +substr 7 subsume 7 subsumed 2 subsumes 40 @@ -3253,6 +3308,8 @@ systematically 1 systems 98 sz 154 t 4356 +tab 4 +table 1 tableau 471 tag 30 tailored 2 @@ -3273,6 +3330,7 @@ tells 1 temp 1295 template 2702 templates 75 +templatic 1 temple 6 temporaries 23 temporarily 34 @@ -3340,6 +3398,7 @@ time 484 timeout 8 timer 31 times 55 +timeval 4 timings 5 tininess 4 tmp 878 @@ -3352,6 +3411,7 @@ token 2 tokens 116 tonearest 4 too 94 +tools 1 top 73 topol 93 topological 42 @@ -3452,11 +3512,13 @@ understanding 1 unexpected 2 unfeasible 59 unfolding 1 +unget 7 ungetc 16 uniform 1 unimplemented 7 uninitialized 31 union 54 +unipr 368 unique 13 uniquely 3 unit 16 @@ -3475,6 +3537,7 @@ unpredictable 1 unprimed 15 unreachable 15 unreferenced 1 +unregisters 1 unrepresentable 19 unrestricted 16 unsatisfiability 3 @@ -3518,6 +3581,7 @@ usual 14 usually 1 utilities 10 utility 6 +utime 10 v 2644 va 3 val 211 @@ -3540,6 +3604,7 @@ vect 309 vector 529 vectors 7 verbatim 9 +verbose 12 verbosely 1 verbs 1 verifiers 4 @@ -3655,6 +3720,8 @@ x 7318 xi 111 xl 42 xs 6 +xsgetn 4 +xsputn 4 xv 10 xx 7 y 6158

1 0

[PATCH] fix --with-gmp-build= when gmp builddir != srcdir
by Serge Belyshev 06 Nov '11

06 Nov '11

This patch does two things: * fixes logic error introduced in 1f0282c0 * allows --with-gmp-build= to work when gmp was built not in the source directory. Note that --with-gmp-build= still doesn't work when --enable-shared is specified (--disable-shared is ok). This patch is required to restore possibility to build gmp and ppl in a combined tree with gcc. --- m4/ac_check_gmp.m4 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Index: ppl/m4/ac_check_gmp.m4 =================================================================== --- ppl.orig/m4/ac_check_gmp.m4 +++ ppl/m4/ac_check_gmp.m4 @@ -57,13 +57,14 @@ AC_ARG_WITH(gmp-build, AS_HELP_STRING([--with-gmp-build=DIR], [use a non-installed build of GMP in DIR]), gmp_build_dir=$with_gmp_build - if test -n "$with_gmp" \ - || test -n "$with_gmp_include" || test -n "$with_gmp_lib" + if test -z "$with_gmp" && test -z "$with_gmp_include" && test -z "$with_gmp_lib" then gmp_include_options="-I$gmp_build_dir -I$gmp_build_dir/tune" gmp_library_paths="$gmp_build_dir$PATH_SEPARATOR$gmp_build_dir/.libs:$gmp_build_dir/tune" gmp_library_options="-L$gmp_build_dir -L$gmp_build_dir/.libs" gmp_library_options="$gmp_library_options -L$gmp_build_dir/tune" + gmp_srcdir=`echo @abs_srcdir@ | $gmp_build_dir/config.status --file=-` + gmp_include_options="$gmp_include_options -I$gmp_srcdir" else AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together]) fi)

2 5

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 3f39d87e7df348bc42eab3ccbd1f5954bccf5167 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f39d87e7df3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 16:43:24 2011 +0100 Updated. --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 4 ++-- interfaces/OCaml/ppl_ocaml_common.cc | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index 33e84d7..9718516 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -45,7 +45,7 @@ namespace Interfaces { namespace OCaml { struct custom_operations m4_current_interface`'_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "m4_current_interface"|COMMA| + "com.bugseng.ppl" "." PPL_VERSION "." "m4_current_interface"|COMMA| custom_`'m4_current_interface`'_finalize|COMMA| custom_compare_default|COMMA| custom_hash_default|COMMA| @@ -1057,7 +1057,7 @@ custom_@CLASS@_iterator_finalize(value v) { } struct custom_operations @CLASS@_iterator_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "@CLASS@_iterator"|COMMA| + "com.bugseng.ppl" "." PPL_VERSION "." "@CLASS@_iterator"|COMMA| custom_@CLASS@_iterator_finalize|COMMA| custom_compare_default|COMMA| custom_hash_default|COMMA| diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index ae2185e..f369c4e 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -770,7 +770,7 @@ custom_MIP_Problem_finalize(value v) { } static struct custom_operations MIP_Problem_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "MIP_Problem", + "com.bugseng.ppl" "." PPL_VERSION "." "MIP_Problem", custom_MIP_Problem_finalize, custom_compare_default, custom_hash_default, @@ -798,7 +798,7 @@ custom_PIP_Problem_finalize(value v) { } static struct custom_operations PIP_Problem_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "PIP_Problem", + "com.bugseng.ppl" "." PPL_VERSION "." "PIP_Problem", custom_PIP_Problem_finalize, custom_compare_default, custom_hash_default, @@ -820,7 +820,7 @@ unregistered_value_p_PIP_Problem(const PIP_Problem& ph) { // In principle, we could directly store a PIP_Tree_Node* in a Caml 'value': // the use of a Custom_tag block is anyway recommended by Caml manual. static struct custom_operations PIP_Tree_Node_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "PIP_Tree_Node", + "com.bugseng.ppl" "." PPL_VERSION "." "PIP_Tree_Node", custom_finalize_default, custom_compare_default, custom_hash_default,

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 1e0bc0eb2947232cc0f207f4c63c91773b1dc11f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e0bc0eb2947… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:43:08 2011 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index d035793..912af57 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12pre2], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12pre3], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0