stp-devel-2.3.1+20171008-bp153.1.17 >  A `CK!M@eee "  wk4ɽpe9HS]`2\9\Z'|oӘQ=ĉq͊߱5C̼uР.غsNFյy#W7%==RgDݬhV.,v?zk" 07c749ce32eb2c3c0845400d185991495fbddd2917ace9c302e4d2593a0deeee46366455afdb308d1fd1b79cdc957fea93e07124l`CK!M@eeeb\8?I% ;V~-BiaUV(%0r.X]"Jd!YpohS^a]ZiU(7w^ >Th6WqO\0rKk}n.P\2Qĩ퍕ױBj.`jyfFѡS<d* ҫ2MK'yiDs#7VbUZʦD.Zak[*X9ip;$p?RrӉ>p>7?7d  & :`dtx  @  Z  t        E  ((8 9P:`F3G3 H3P I3 X3Y3\3 ]4 ^4b5Oc5d6Ze6_f6bl6du6x v6w6 x7( y7\z7`7p7t7z7Cstp-devel2.3.1+20171008bp153.1.17Devel files for stpDevelopmnet files for stp library.`CJobs-power8-05SUSE Linux Enterprise 15 SP3openSUSEMIThttps://bugs.opensuse.orgDevelopment/Languages/C and C++https://github.com/stp/stp/wikilinuxppc64lesN9- h A큤AA큤A큤`CJYڏ`CJ`CJ`CJr`CJr`CJr`CJr`CJ`CJ`CJ`CJ`CJc57129a81c27162eddcf6566cda15cb1966d7f3427caebcef8aa008ee4df4670c84ae2a5e49bc9349eb9ac509f71a9ddccb4e801f64550014b1febfbe211bd5f2862c3d9705cef5ab920db9cef752f879792fd129597c1d58820b1fc8664ef9fe5130b499124861749136e0f7bc8f4edd979ecc5c20c7df411db9b35e2b5b5db72bb7b3e9dbfbe42092290d089d875208467b3a32d560fa9f992154952a8dda19ea9adb2f94e20f2aabefd133851e5ad095111d92fa54760a13cb3f0f4b7572aada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.1rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-bp153.1.17.src.rpmcmake(STP)stp-develstp-devel(ppc-64)    libboost_program_options-devellibstp2_1minisat-develrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)stp2.3.1+201710083.0.4-14.6.0-14.0-15.2-12.3.1+201710084.14.1Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@jslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- Update to version 2.3.1+20171008: * Reducing scope of upper&lower * Using $() instead of `` * Removing unused code * Removing unused code * Adding docker file -- not working yet * Fixing install and library location RPATH * Updating README, fixing Docker * Fixing static build * Removed unused global variable * Provide thread-safety (if C++11) * Removing tests are too long and hold up development (>10s runtime each) * Cleaning up lexer * Cleanup of smt2.lex * We can use straight-up "thread_local" here * Trying to fix the thread-local storage for C * Mark two more global variables as thread_local * Updating READMEs * No need for this parameter in AppVeyor * No need for INSTALL, it's been incorporated into the README * Updating README * Fixing indentation and some restructuring of README * Better naming of header * Removing DLL_EXPORT on variables that break the build * Using the ctest framework for testing * Actually checking things in tests, reducing their outputs * Making the interface's (vc) more explicit * Removing trailing space * Tabs to spaces conversion * Trailing spaces removed * Minimal cleanup of the lexer * Fixing std::endl -> endl; * Commenting out unused parameter * Fix indentation * Cleaner lexer * Highlighting where GlobalParserInterface is being used * Fixing the assert * No need to undefine this, it should work without * Some cleanup of bison&flex usage * Fixing moving of header file * No need for linenum * Removing helpstring * Removing unneeded files * Removing one more static variable * Reflowing code as per agreed clang-format * Further cleanup * Removing unused code * Cleanup of tests mostly * Making the visibility=hidden work * Don't care about coveralls fail * Fixing AppVeyor build * Fixing the coverage script * Removing comments from CMakeLists * Fixing ARM compile issue as in new libabc * Adding SUSE build files * Fixing fuzz-testing to use python2 * Simplifying the Docker usage * Fixing the Docker example - add 0001-CMake-fix-dirs-again.patch- Update to version 2.2+20170815: * Removing broken link * PEP8 + print function in fuzzer * More correct printf * Fixing double-declaration * Fixing memory leak * NULL-ing ptr sent to DELETE is now automatic and more meaningful * Deleting buckets after they have been used * This will fatal error anyway, so just use the pattern and return false * added support for MSVC attributes * disabled crtdbg.h inclusion in extlib-abc for C++ debug builds * fixed unistd.h dependencies for Windows builds * added missing include directive * refactored gettimeofday() for Win32 * Adding appveyor file * Adding missing appveyor file * Fixing paths * Adding zlib for minisat to appveyor * Using minisat that's been fixed to build in VS * Better comments in the AppVeyor filBetter comments in the AppVeyor filee * Temporarily disable boost * Install for appveyor minisat * Fixing "libs" to "lib" for minisat * Debugging MiniSat finding in AppVeyor * Debugging Windows build * Debugging Windows build * Debugging Windows build * Installing CygWin * Use 64b CygWin * Trying a different way of installing CygWin * Fixing CygWin * Fixing local package dir * Fixing CygWin site location * Adding CygWin prefix path * Fixing some warnings * Fixing one more signed vs unsigned issue * Suppress warning messages from msbuild * Moving implementation of destructor * No warnings from msbuild * We need ZLIB in STP thanks to MiniSat * Warnings cannot be suppressed in msbuild * Trying to fix Boost in AppVeyor * Removing unused cygwin install command * Fixing yml for AppVeyor * Removing a warning * Fixing signedness and unreachable code warnings * Removing useless comments * Removing dead code * Removing more dead code * Fixing unused parameter warning * Trying to make symbol-hiding work * Trying to remove too much warnings * change semantics of division / remainder by zero * fix bvsmod-by-zero for negative first operand. * Adding constants.h that was missing * Removing unused include * Revert "Removing unused include" * Fix simplifications rules made incorrect by change in semantics of division-by-zero. * Work-around another division by zero semantics defect. * documented the entire old C API interface header with doxygen comments * Try to get clang/static build passing on travis ci. * Try to move from precise to trusty on travis ci. Precise ends support soon. * Revert "Try to move from precise to trusty on travis ci. Precise ends support soon." * test that static binary is really staitc. * Fix leak introduced in #f452c0e * Trying again to upgrade to trusty. * fixed DLL_PUBLIC-related linkage errors * Trying to fix static clang build * Renaming clang static build * Renaming build type in Travis * Trying to fix shared/static library building * Updating static binary check * moved DLL_PUBLIC definition, added __declspec(dllimport) definition * Trying to fix AppVeyor * Trying to fix Appveyor -- wrong staticcompile check fix * Importing Felix Kutzner's fixes. Thanks a lot! * added declarations for ..._scan_string functions * Fixing boost library include, thanks to Felix Kutzner * Some obvious fix for MSVC compile * enabled shared library building with MSVC * fixed DLL export warning for isatty * no -static for MSVC linker * Testing more of clang * made the Python binding build scripts usable with MSBuild * re-enabled DLL building with MSVC * Adding an empty global to compiler clang * No need for CPP11 build check, Trusty has CPP11 compiler * added DLL_PUBLIC markers to the C interface * Fixing Travis build instructions * made the query-file-tests usable with MSBuild * Fixing the environment for clang builds * Fixing LIT issue * Final fixes to static compilation * added DLL copying for tests * forcing gtest to use the right C/C++ runtime * added python to AppVeyor (for tests) * Just use CryptoMiniSat from GIT, it's more stable for static compilation * Better visibility into executable files generated * deactivated boost in AppVeyor (not supported yet) * adjusted lit tool path * Fixing cryptominisat GIT link * Fixing clang build issue * Adding build SHA1 * Don't specify makefile type * Trying to fix KLEE build * Fixing static binary check * Adding clang static build script * Fixing tests for static builds * All builds should run "make check" * Debugging fuzzing * Fixing Windows build * Adding clang build files * Fixing static compilation of tests * Fixing local build scripts * Fixing python test generation * Fixing cryptominisat selection in fuzzer * Debugging fuzzing issue in Travis * Fixing directory of build for static CMS * Building all combinations for gcc&clang * KLEE doesn't want to build, so let's not build it * Don't build COVERAGE using clang, it doesn't work * fixed #253: DLL_IMPORT in c_interfaces leaks API and breaks installation of STP * Leave an empty line before "exclude" in TravisCI * Specify OS for Travis * Making python build again both for Windows and Linux * removed unnecesary include of in c_interface.h and moved it into implementation * reverted the python interface build scripts * enabled tests in AppVeyor * added the not tool (test dependency) to AppVeyor * repaired the installed version of library_path.py * removed node typedef in c interface * fixed bug introduced in replacing all the things * replaced 'stdX.h' headers with C++-style headers * enabled building with boost in AppVeyor * improved AppVeyor build time * Playing around a bit with build flags * Don't display test output of LIT, it's too much * Adding some comments to AppVeyor * Removing unused variables * Adding EOL to files * Using $() instead of `` * Removing unused code&variables, reducing scope * Removing unsued code in TravisCI * Adding badges * Fixing badges * Adding coverity badge * Fixing potential memory leak * Code cleanup * Revert "Fixing potential memory leak" * Fixing Linux build * using a single output binary directory on Windows * removed the pre-check target * fixed the python binding installation configuration * installing stp.dll in bin/ on Windows * parse license directive in smt2 format. * fixed output directory setup (thanks @delcypher) * made python binding paths more platform independent * cleaned up a fixme comment * disabled test execution on AppVeyor * Adding explanation to option --output-CNF * No need to build CMS's python interface. This will fix TravisCI * cmake: fix ENABLE_PYTHON_INTERFACE option * Some improvements in CMakeLists.txt - Enable RPATH on MacOS X: the STP dynamic library can thus be found more reliably by applications using it - Do not search for Cryptominisat, if NOCRYPTOMINISAT is set to ON - Added configuration option to disable Python interface (ENABLE_PYTHON, default ON) * [CMake] Fix #192 * Fixing cmake in TravisCI * Using auto type * Don't print cmake build&install to Travis * Use ccache * Don't cache in AppVeyor * Making cmake with 2 cores in Travis * No need for the cmake config in TravisCI * We only need the python interpreter for the tests * circumvent Xcode bug with CMake's TARGET_OBJECTS * Using a cleaner way to set C++11 and C99 standards- require only boost-program-options in tumbleweed- create libstp2_1 for library as required by policy- require minisat-devel and boost-devel in -devel- package also stp_simple, needed for cmake find_package - Update to version 2.2+20161105: * Improve performance by creating fewer strings. * GitSHA1: really disable timestamp when requested * ASTNode rvalue reference assignment and copy constructor. * simplifier: use abort() after assert(false) * bug fix. * (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst. * Might fix the issue described in #235. Missing dependencies. * oops. fix build.- update to 20161028 - remove simplifier-use-abort-instead-of-assert-false.patch - remove GitSHA1-really-disable-timestamp-when-requested.patch- update to 20161005 - switch to ninja and %cmake macros - disable timestamps - add simplifier-use-abort-instead-of-assert-false.patch - add GitSHA1-really-disable-timestamp-when-requested.patch- update to 20151122- update to 20151030 - package AUTHORS and LICENSE- update to 20150904 * remove: AST-simplify-FatalError-and-mark-as-noreturn.patch- remove: fix-no-return-in-nonvoid.patch - add: AST-simplify-FatalError-and-mark-as-noreturn.patch- update to 20150828 * drop one hunk from fix-no-return-in-nonvoid.patch- update to 20150418 * remove: fix-install-paths.patch * remove: no-build-timestamps.patch- update to 20150415 * drop one hunk from fix-no-return-in-nonvoid.patch- add no-build-timestamps.patch- update to 20140928 * many fixes * remove-broken-functions.patch: remove, upstreamobs-power8-05 1615022842 2.1.22.3.1+20171008-bp153.1.172.3.1+20171008-bp153.1.17stpc_interface.hcmakeSTPSTPConfig.cmakeSTPConfigVersion.cmakeSTPTargets-relwithdebinfo.cmakeSTPTargets.cmakelibstp.soexampleCMakeLists.txtREADME.mdexample.c/usr/include//usr/include/stp//usr/lib64//usr/lib64/cmake//usr/lib64/cmake/STP//usr/share/doc/packages/stp//usr/share/doc/packages/stp/example/-fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protectionobs://build.opensuse.org/openSUSE:Backports:SLE-15-SP3/standard/f62d7b0a644e1a6fd786e82d48e5a7f5-stpcpioxz5ppc64le-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textPidQbIG6utf-8658542045a4312cfef4c6cec4c6deec7eea19a0178d6f3e35a49c1a688e5778e? 7zXZ !t/0u] crt:bLL.WbZ$*u5܁Vź @:qu6Z[Rph kT[&G~ Yݩ;C(@~`?ܴ`yVh9q¥i~ z{WSJZgan:0&T~YSjk?b$.r.Wn[S 3%A .>[ZL($k"r- f CѺѩ v /;aZU`Ճr,*%~R <E)R>wq@mwR_|&KQZ?5^ MB> 4K/E4=,2>ڶi}}dH_0KMhɐTې8q z8 ;?ü|G?G_,FԞqLr|z+OcU Nt\!AW2d~@+72uL;)`*( YH(WzP. qnTH|їE$xY5}@<2L%kX[ž.2Dkз6 9mB cMqrCF44<:xf4 ~XL"jT T5n?˚Qp=YFw% ^s7%X.૙ Xdw_FQD84;.ZtƖZ{iz0'[f?ѷY@d"|{8bbApNmܴjSU&b Z_J:gVKU)̠Ivc;s9}ɾ"eXvUSUעV:ep$ XF=S!)>ۆN)nY9u@`zB$*dM(jyI@**އf Ȧ Ŕ%v y;ѹNz*N֪&_EEoc+>)=>6Pōȿeה6%J $gF^P*oI:|DAmEK{#uIfpdjBV0y`&ZĔaEu* Bz4a1'ކwCp/'F= 3 ~~H]nL|X/M@3?5NbeRrb)r=XмwkUP=k_, !fl'[cx  {+Q0IɧxڀⲺ6#_^-pWU!f@p%,gdxGA-)0 ݞ<E2i_3e"9nOP;1yOE^'w| 9E:9V is2?T$ǁt,s5KcZhw8?J 6vl[~e"'ֿgzfP'sb+q2: xbyRI6Ɉ(H,lT-bs͑b>T pkO7BeMUdiԼ?2{[[}sR~&ۭKR& WQ'-eDI,ջ%,ѭ%̈U?pє2 N(WnڶiA6Εp$.ck,icv,o2WAи@? iW*-Xxb[bٞ"$Ѫ͝ϬXh~ʙux_*M==߯>뮷6=!6Pt>gt^~~Ώ뛿8V>ƄU<nڃQ:sjB?Z1A+iF|i ](>=qFStfA[3U֙nZ]IɛMAh'uYP 3cF {)EKժyZ|,h"K{A򶽿] D1ﳜnûqYSA^] )>gL0ȓd[r,S٨#~`x0O#_lmG޶sߩApF>?BBouG GiyZZpDm sHN} rQ~3y5Z *%H+ȥӽ#jbU!(3wΛ\/w0WwR ~ n ScY@vФ1td?ۂ;=O 4\/#|g>a(&_#g KIr5.c+m?2ü^,?~A2 aT]zqٶ.ߍ BD =xN]0i7ɩ;2-@* x1nN(sMnڨMtqh [Wg݅dyk4Z&Yݾ<׸'G2K؇aaV%Q$s]fc a$3D-’$eޤr`qϯ]+3Q j_HtA/⍶!h}`oOoao@"K-XW6U<-iIF)0^OGD `q(0zVDž?VUIAN@`@p{HwԋcvWCm:*Q+VKUƱMdS:'*"հHG=yy-da57[voyU1w2ajj\8/@ۮ.45ಳބĿD#/ō"Uq9]V9Xk4Rx"{6ܦ#f^# AudY\.M*!Md&L@L-ԗ$h7z}ҥ#׳A:.#g8DL8`Rya '0+m8];U^th$Ujz} էr [9 S-uvH|t@۔L3"C3?Es\$ =C16,QcO0;3_%XT8@ힷ;#y$}anᧀCh0&zri۩Z&q6vm +S+/SGwSS̸`]BJYɭO9"D[s EjUr;N`Nm{U"c+nH^m>u2yP*jSNӿ.;!N ο H8i+|łhzaNҙNj˓(ջ .b9L`7S=p"5XeftaC"q&$v Km3rSF9+cQ!!Hkj3)e

&?SD%hK:Z!DòR]0n7u&X::n nӒ [%#p;bahz[:DD8+nU妮ƫFcS< n$DJtFwtM}'s ï;G~ H;`EksH'M ui"i6%XPec$C4uHw\>G t0w'n|SŇ;n td]#=8*9up!l iJ3S]`: e *'t}w<_:[Vz/Yo\r3oQ̝ZZr!$PdnMnc665T>qN]sŠ=iŮzz|(<;mPY I!j-KkL Z:-Eq>ME󆾆^#zt up= [upR.СRA ճ]۬(RY l:Ly틥*u 0ɀwh ,{DiXv#> d2' ,( EE< u c]8<8a/vX \:wൖ㐨)JceB7E>"'ͫ/[¦#&xƝ7w׹lH_AVеy|Ei_:.f51>/R/^-yVUuMzD0a," 4M x yÂݞkY+B ;ݶW3„T/M˭6 r*蛱R5*d\杦_ -b.{,sNb1ZTW2q*fЗ 2BŶ3 #w=ٍV ڿxЙk2J}v (@2!N!es~9ITnP%8Ϛ^m.$4[mAGcU#;jF]/ j}=c/:gECJp6 r)qiwsB| }'k| h@?C bEzf(?;AQ\nzq-Pra1l]D xfeR\J LC.b:)8[:AupA,[aGcdQ#nw41'ڽλLh#/:NCY,> 9xRFm1h ׊PZȇʹw7}IE~{z0P+tQ2v&>4DͿ"7BxxҬd3&VY|576~C\*T]iG3+lMH$08?[<[2z|h"WXb2^vTrNi3A VR!Wv>4{]!pې\8h%Zewѫ{A/M<n0)SM`IÂ8!KK^CiD0%0Ȧ7T|GOxy3|= ںOwqDg`(X0 Pͅڽ&@ijf)Dr$rצjo^Ka|8?^Jb TG@e9CW31"(?^9*d .Jr YďO~ڡ(M}֬/2""#u,gqFҦy ;W>ۺ&S/X"@+BU}Es),LkXdezh0zJh<4XH)&IB)Tm"Ŕw|~0P4nͼdGC<|I/q>S\gw>v<)}7s.q~ e \m Cc$O Sb/EZN8z61hXiӞ_YЎ]1u$>Fۗae+VNA侺_ r1-*[ĂKeɋ\x,qKW̬W8M4=+ScU.w~9<|EԊ/뀬_eqm[?a~o Wtwq# 9,Ō{l"eQZLPSݠ̇ҭ֑9!ߝuFFBO'k(:4GRNJz`pd0٥#b+hQu4 E:HoSNVM& ~f7){m%z^,UŦAr6jauhɃ!E/SI):jUZ{%):Xuށ",n;K\۹ &J4u)-Id8+q'ÁFV7eZow7l,ۙ}G(N V܍¨?JR"mvOJ*fkW0?qK(MHvZ0Du'c<`Zm Q!lHe-dr#tx34ܙ z+9_^圭g&f{}1\:۪!3LVtm{b?kw,m@K¶ȗSԃs6u S|&pjV `e`šdp7"/W. gsVOr&HaƧn:s df#n1id~m5渋O\ [|ST NԮE9V-zuu_ofZ.m*Ua?}a>`r~N~/3-{"ݵyCx+rP9*ls|$&"z #(NLnx w<+0ѽ"D_ّwH,K4+sXs+3)8|=S0"dVzP(AUώ~nмNw\Ĉrw!(S5 c@>gyv9οj{dbs 9>c\ FE^ UM\[D'L.WDׇ w_?:vhUGpDGӐӲz\mw>T^nMV~΂$% <F$aX[))ۓ7MTEf޺Tg~3Қ#_ ʿCN!/~A,yZP0UǾS4'xK}0ߍqw ʷWUw>0`U㡪ޑ !}3P͕Mvu;-y0])J*9qvg6X=gǥsi .H Ϫ-z*%TZ7$ Wi1+q %^crmbK $V0UbL0jT8!qb!ir|QrQ[Ԅ$z,Iizq)yCJ{gb 40q%nۥ٢;G"Ds-!|l08iDt>Se B j9hޑ}@2tNM;domu, 򃈢G[muPY A4i$]%cuE?0sC2{`&>eܥ+>'^%b^,֔ -oߐ v%Gzw@db>DLKNȱ[>M1+D:=t[sDy Hkd058F7EBq߄6 )KYC+\㊂ڧȪƂwidbh1,REQR8:g]dTϚV?Satc) l%mtIlLʱǟj{:EWU:v%$A"!5z>zmb~Iwg1omK]r{j^\54M:="1F Rq"9štuiοͭ4޺}-e#Lަ(qp}eq^ѸD% ڀ\7 EFFrA@>%b1 ͘YmIhv jw+&}.Rp.a eFBI*~>Xe'QiK9Z&b Yjx~:;gEo!5]~[• K﷨UdvfX(.$"crw%JN4 '{ښzn)˝y9@#<&]i`zL~z`ر(ntmTgDppxű?2xLƧ[qoIRGF0fJ̧4x1,l2EC@nz$#ĭ/x}^m),BZ>@G*ߖ7 ]ݟbS㋘ Jz2T|둯%_aαޘj(Ww@J`Iѭ?bT50AUpA3p*T}yZAk)TuBǎ-_zv˓L͐Iޚg7ӛu3x l> ,.0Of89|VFO9QfMr4b؍{{gRKt^éQPYVi6'](J!f e