stp-devel-2.3.1+20171008-lp152.3.12 >  A ^/=„74VN>_ͿIO.Df j2M0j>T&c!p8i#O\fɅ;:y~6f?ePv:nhMdCUXz?#YX~Ós__^X1N1mJT5^U@S\\>P>Sʼ_xlU" SC`ɲ]'5pj;FT ܿ<<MȈ$8,"ns$+3af45daa5993b033a06d1af176a813265e88383896847e4a30a440ef0adf619ec01f2032ac92afc7cc562498b1c2bc9f96d4cd8c2315k^/=„k*+{c($wڃҘ"/\wڨxK" L{!q}vSJ<^~2)RNlhXP=P_ C~W,i;W P {9""n'3t/aч/4S]0W hh]c-q|peY'jɚ |5s&O/cpnk Bk/Fp?h NۓAtjrt/13XZ/-YT*L>p>7?7d  & :`dlp  ,  F  `        1 r (89<:LF2G3 H34 I3h X3xY3\3 ]3 ^4b53c5d66e6;f6>l6@u6T v6w6 x7 y78z7<7L7P7V7Cstp-devel2.3.1+20171008lp152.3.12Devel files for stpDevelopmnet files for stp library.^flamb169openSUSE Leap 15.2openSUSEMIThttps://bugs.opensuse.orgDevelopment/Languages/C and C++https://github.com/stp/stp/wikilinuxx86_64sN h A큤AA큤A큤^ZYڏ^Z^Z^0^0^0^0^Z^Z^Z^Z^Zc57129a81c27162eddcf6566cda15cb1966d7f3427caebcef8aa008ee4df4670c84ae2a5e49bc9349eb9ac509f71a9ddccb4e801f64550014b1febfbe211bd5f2862c3d9705cef5ab920db9cef752f879792fd129597c1d58820b1fc8664ef9fd561bce0825adedc7d2fee9d3e0f1cd542b1d5d5d173ffc53d71d55b78722f9bde9a0e12c2678aad4e0566c1bfece9360c2921d60aa2df48402156b2554f5be49ea9adb2f94e20f2aabefd133851e5ad095111d92fa54760a13cb3f0f4b7572aada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.1rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-lp152.3.12.src.rpmcmake(STP)stp-develstp-devel(x86-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, upstreamlamb16 1589646694 2.1.22.3.1+20171008-lp152.3.122.3.1+20171008-lp152.3.12stpc_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-protection -gobs://build.opensuse.org/openSUSE:Leap:15.2/standard/78d15def258d9b7eb7aa2bc935f3f6cb-stpcpioxz5x86_64-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textPq%1[Zutf-8bdc5bffc3ba2a6ac2129c58e99f504601aa4e1c2b0a4755706fc082545b954f1? 7zXZ !t/K/] crt:bLL gYγv(ѽ-s]=-s;i+Hǿ=gR=U 3PM2(CDqV |*Q֟HFtҁc{: ^87rȭ㰁Y9^vN;4пFbw%MޏL0e%КFR YlO hVnm fk܏C(flF:ԾiH3p3R[s;qIMU|yRPfG'E@Q5v8D|Jxeg/# Jj^5 kQ٧%Efe4P\լdWSJK+_od^tql0lâH|CsN׷Ku_g4ҎUD]79-p͋8ηgtp>u\qn7\KY')Jy7"mk5*ZIj=\!lK%'69/Or}>P~XfK_)y)`ޑŜeȊ!_̕6YdjØ߉ oqsh8=~ͷvK$DU!k|Ei}]P53WP|`* ɝyE*ȁhac(EK-Sqt Z"@W9!JB}o,d06Gp_5Lҕl|h1@wÞbLq!P+yH(xEܑ)^ j7mVюiаMC`3[ɮ 5k&C3ԗ( xgOE;ĥ.7RLK:(vEs9*!eҢ9jqש0'VZfň7iS#m7&m:Y0ⲀV.P#L3O)b?JBD&p+ ~R3kƪm?܀uA2.&y!S?BrXe=ݥ,«|.FHW ޕ59f/߇]xx f1\hz}5pe|t78`0Hz[QY9}nn Z!kTռ&S]ŷ(_@qlJ}`,iUٯu}W ^y`(g6G- inj8{UF!l5B$GȵC R$ݫlR`s{P31"UZ(_djSRG8xxʖdNk?HAѭ]B|?ݚjg޷ric4t;g\ uw{'hPi&4t[d5a> U/ SAZbBsRO;ɞ=tU M xjΞN~ZR|nH3LP^FיAL' CʲvJg}jh[dz#-݂6p .Hi4)2|\80;1/SkW^a `^$T=ETYhy#\ ƃ~R3ҡPlua? yYbi Òx=24!~~>1`0F]F'ߢNޗ^¯>B/SzП׍欔aLLH쌁 g~n@xԱD =+\ߗ֫ =9협3;[ҼC}h3ʶxSjwON&'@2j[ 1db3!p~VF \Lj,*Rz=~V9 5@ƕ8pcc]mR65 ̬z"H# 1 2̗ϟhL%"YSmZ':k R2BˤRդbՔx2 H̜].ñ3"雧H `)utȞ;^ wȣ3\϶ꎣOjٓ")5j#6a>88L)_/͆#yۣ;l*Y6!ROV8@U9 <RUd˥:$]!ۧRgyڤW7b0ZnZiwT&XX@wD:X  ںT5BS̪u/fq<֣SnĚ+8jb79M͉!RW՚\ٿ=څqꭨ\ Ҵ aUGEU teP`4` l uo?_$Z٣4Q%J^>,!Lx$`ꇈ3Nݑh{ ͗xSUQ1FUIk£wXD.TgY#Br)7Rr>=XziaOو=dxnɿ[Y h/1eXH%:P#*X^.a5d$f;P~ږ`,pYGpT] ;`N,6AظKX찦Ыjݭ+/xp2Fl1x%7+"|E)dK.$KB-cw =nMZh#i󍹣qEԿKy:3"gB}~HP͋|w5.*[zdM[/gHlO$d 6L5$.ت#Ψs^WlAv; 0vKG1]>b}JaEAc4ٲ:40l?Lq#/Bk߹T+mY:)Ac^e$} ^ms&MŘv_:FSjnplBi&Oˡ槳 I86$hnh38oq_}"_FKa*Rِ!]6LJSEz`z5R.8~\ՅkNŘ K*"睒Gl|S:nTFΤyY#ۃ?-AUa^5 #)$2{b0?IG:}aT X}2Q@NPaE1vF;HYLqr{r.sB;ٺZAΩƠA,}J#V-~XO8%TP۠23 gحSͫ "O 'fXcgsͮOW^v/@¾tSϪ왰ztA{\;Yh{ĉ:qHw%yrGÃY/@~E_dw,QLЊڜa*TԩՊ9gd]ނǝ_|;rJ2#p86GHRouѯ62o_fwza->'W4IIÏ AyH XSI8:趻puWyP.p̉GdW /Qxc52fX`%u@mr>RDw?$q߹Krsс7!.9p̀iL(8 7@f4! u:v"Bk Zm,A)G]b^(Nlp2v')ۊ){*|!ᰒUnԄQA0/ܷu;%ݖ.e B ;XX)H@?1Pu7rHSjK11E_䰟qibd:%;T dDx4r il\/$OvN`Q5iD ppM` 53K܂\k5%)aQ+#^L"X[OlpqYeO+k=s(0p^5fӌa6>PNrގ~S SMq~XnpV's<+@2[r0[P/B290%S }avr(H(knP| !<˃/iøh1 UV$Nh.<R+6r>u#^F$x\C5-+v|KKH!B XHk vFCJ_-3e. c tUl >g+@5 }뱡{l+sf(eE!~Tݞ}Eʶ0-/p#Wzo Nl6+ì[RwXd,JGʲ|jP:_IV嬅t0{#.4J\CDE n`hgoŶMZ$&|qNf]7Qb Cih6/@b}'֔Qux'䊭ᨋ8yz%Ia2/-/o @HZnb=\Z)bto\e$̍t0 SqwN8gkLVdCf`mw> aؽ21G0ZTe[<-󫽞NFN!ݔ#=u ki8/cS#M,*,QBVH`u:NS9OK2ũL,dI{LIeODlbww+XŨ, n3䅌mɱGZ` r].Ҥ=ivWl]eG:NZJb19`bg6fƗ0ULCv0!fB H?s%]ya9o>s?W' 3-nvIH-|aC=9 b>1}ƕC))@8zsC VQ%xO['++FVڧ=);-fF&i2\7>նEC>T``z{b2TDa^| 'w.M dr 1|Hh1޷߀<W@( m{ [w5V>uډ`0e3^[c$[e_"C0&^n흦EIJ7ƽv갶L /R=K-No> yy#xfmO9:, ova66YEsWW@ep r{<*9b*fFPRB?P}rTmb¸5G^,핪VλO˴- msx J 4hfAė38b8IZ\Vorߋ &nt`r=f;KJ7GYj2oє8CuA:/I/hR$@E6U8 gIBvJkb(}bl$ÆIn~{2];}$ZRXIW Bvqa烵OkNT.398XtBhkHehDOw{1]JWx>bS.%6V .<>`mϥA~~Ko(M#k_wIlN9:u]J$KB *Gf}d^Xa'izg5x C[\aHMp<vIlMR[OiznIX(뿳Y383W'Q Kܽ;pǧUi>Qb-<00dzP4NEV 0!}kԬ r AYyv-9a_j_qkS@O8 g0x$cwߗE^)eX'QHcP,Xy뷅K✀IO>6yRiw3gN݊(&ȇ`ӟΧD,9v+ơɪЙ+/d;E#6w(6$K*F>V,C b yY8 n栄ۣ*dDR}2zBvMgD&'F/ :";y4kc8";;C(S0XBt`F^Av xaXWԣp7('@@-TY0{,3X#g ,y G7eպ{kB,vPԗ,(YBI􈛘E{o^a,k!ӷ[)v}Mh3>*X7o֭UƓ7adžjw3>|"nZRC!QN? cotEPyQYFI-g1`~l`rp"/۟Vh#mp=dzɖj"0^Po; ٫EG > EȈ+!7dʧ"cێ%-x͟n\C6 ? hP e6ZN7xgN.&Qp򚵞p6|hp#45`Y_:PWQz5."IE\o7e#ԘȾLƿncd_ZPxs4Bot?ym ҄vzF;FmSAz;-)}^,_&͆"rT</XI} +[0#>ݦd6Md+{sWo>H&ZSv z] ? c>g/66I}&DI<:İ9!iVV*ZOt2Akmʔ|i$ro lO_u+uk;OKsU^ج6QAטUٽF-oI4 a@jX_Q RnGȡIC |@ wHl[!/$<:>DF)᮳Y )/6b;iGtq<0'L s=fԁB㛰M7ezȫ.SD9fLc=/KKR 6z kF!Ej p8s-jvnS~n߈ݠUoSN^x="ݵGQx_sk|k~zc\~"tM6402+(wEF †[gmrrɃ9Vs[GEY5h GR`-o"򪅢^uS:Pߝ!˩WcU>hױׂYfP839~ҩ6BSt5[nzhM_BygހH+ VF0K*pV|T,۠gp]E/P#|RtT(vڷ('[ٙ0)x̄eN҅ѡR|e1>ץRN/m8K/JoLx$ `_{9Wm>odr.~la rF+%2YFwa\$ '@NyPgA)7P-XL\*Û'`9QGO<;wI޼1B.\es`g1ZoBΈ XxGN*MǢ=K6y azvs0E/rѵ7y[⬛ȸ|>6 @j[Y0wƄP{KFK%hl7*8xA)ţMקZ<'`h1z˖bʼȠUlBBRѭ$Sag gdsH1nڰ>Orܖyo:R_t2\㿣 R\M7Iv{\\79L|k`/ ڕGNsp@ "cDڬ ӡdM(M(&17jhCs;w@7P ꞲG Z'ݰfj Wϐn %)98Iz/gN!Dv:$e>L8v6zm&{)Jt?G&2nvfG;_ GII야 [%"Hha $8ᎀtY?z*4R8Xo>{5RAp[LqE dEyAB)@ Q'@)1(*Han!^C"!ﶹ) k|,> <&ܔ]v̮g5n Fn?Xn#vE!ny7}wcn|~k d))Nv'N˄~GFW#^5x-24zekM79\28 ́'Ec=2V{[YI3`Q(<*(U*ޗL_ '[߷(wW}&-amz[U.twV~iq7_ѣ5^l 0zE߸νn@*ڌe 1G