stp-devel-2.3.1+20171008-bp153.1.17 >  A `CSŜ!M@eee'5 /JҢTgu=>3\UhS=3J6 `${߂'4BfɟW]Fd˗$f8&١=}/b-.蹾P H 'Al] P.B/ ..>WsWjE4X4b5e2e169c24b21bf7ebc23997e3f192b4ab0f5971d56d43de9f794f5446a4d567698d224409ba4d03aec6dceb24166dadb5d397l`CSŜ!M@eeeb012rM dV) Ϋą78 C;n:N GayPi(2k<JB<d/!H1Us1щ&F a/o!}VbM`b4{[@NH `#|ZX}p\Xqû>C'PԳyZX-D52kUE9ub:ڹLkb߾hd;&]#E(#~GWE'D9uXG,|\ >p>7?7d  & :`dlp  8  R  l        = ~  (89H:XF2G3 H3@ I3t X3Y3\3 ]4 ^4b5?c5d6Je6Of6Rl6Tu6h v6w6 x7 y7Lz7P7`7d7j7Cstp-devel2.3.1+20171008bp153.1.17Devel files for stpDevelopmnet files for stp library.`CSlamb12SUSE Linux Enterprise 15 SP3openSUSEMIThttps://bugs.opensuse.orgDevelopment/Languages/C and C++https://github.com/stp/stp/wikilinuxx86_64sN9- h A큤AA큤A큤`CSYڏ`CS`CS`CS`CS`CS`CS`CS`CS`CS`CS`CSc57129a81c27162eddcf6566cda15cb1966d7f3427caebcef8aa008ee4df4670c84ae2a5e49bc9349eb9ac509f71a9ddccb4e801f64550014b1febfbe211bd5f2862c3d9705cef5ab920db9cef752f879792fd129597c1d58820b1fc8664ef9fe5130b499124861749136e0f7bc8f4edd979ecc5c20c7df411db9b35e2b5b5db72bb7b3e9dbfbe42092290d089d875208467b3a32d560fa9f992154952a8dda19ea9adb2f94e20f2aabefd133851e5ad095111d92fa54760a13cb3f0f4b7572aada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.1rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-bp153.1.17.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, upstreamlamb12 1615025074 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-stpcpioxz5x86_64-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textPC-ʊxutf-80fceed043a22625a4a7ef79f0de412d503d8c7a3dfa730961a0515f73573344b? 7zXZ !t/0u] crt:bLL.Z^a)dr;CW_V4h9m f/GvgKw݈ٖJ ;H*KDq0sxy3QaI⢉-@Բy_a>R5X;Տ+j`Sŭk7%7iiސ: WFYOAxjW=)KvƾXD>O˱c\^Qx W%p926FcI"pH~Ob0P<;s)6Dd6Ѕ9|9E.,r^şGO%Y9eь*vCj!"vgz 7ݷ%{i T k ЙJ|k:zFDGAd;2S|Xjω KZeu|(6En;0G5c#r3U='Bג]`c'b͗Ĩ/er.de+LSO:/*{O[%eaF4J#~_(I-@E߉&ר bBe#3[V׆ 1c߽~>Sljh(8E(!rPFblƠN"ͺY[cǤ3dYქ  JJwČBC5Gl 𾺇$C~ TkmК'O,:KX8s-!S9RG*Ɨjk|G6C Kɸ"vdhw1$#›V]{FּH , BqbVghp/69AC;~[2k~e//=Ws@v 0 \ǥ$-/mF@G0mYN@DϦ~wx P84E}^o2y/v:Z7_;a]I3urB舩hQd'=\:tSF wGc2DVfT5y4<}þ?3_{KZX^*mK7XQFcK9YfT"mxV1st 8%cGPרb+.O`eSo̜MCjO  ;g29iB n:nT,q7wt&k_Y[@ͨHڎd. ޻3'(vrG#P83W9h6]2IJ]KmcmlOڼ z˄S^ė/Vd&N2XQ&V4AJ鵖^]Hl۱*hEqAcRN>8hjg 0qsWyJ^Ća\֜$]x:^V> rfU/S-*Ҹ1P|92 qzCzjK0UJ 4й}F?Ţ6U ᗤX(`Qۺs>vGh=1d^fY#@pG>tQҚʋr-%ߥ(ߴ:&k=lȰe8ו&:6Ri\ȳDMPѓyX 唻 G<§gZع5+bJ&|NDsg [}[ϛ .~ ^&9FR[/E\7P0$x hf`2JPGOE ǭQ{]-0TT% O"H s1+pHlѵ4RMdB:{vHEuGl!}DȤOrOY_+uUP\Tݦ H<@{s%ڻ\-xwkr.Fa 2 .uSц6lkQ™V>CPuW=p$P{fJgvwoeN &#ìo>I$Ԏ~ ".Fj_ ͍$׸}+W+ϷNK-b4b̲6tGi3ًJqg(s#%3Hnf䎕Jr~h$<91>\[`M?ewZ'o>oW@(}aĵw(k=U^]-4&DEdx=wq/ޑj0lATGNHC+.#@* /vܻ!:La.N @5F9fTm%󓟘.&/7էC8LaGI;*-}jHcnGܲU %~y$QYHD3{T,`b1o~Kgp:'yɬ _1]ɦ:R{@z>1mBl@>%q@^0F퀍sxؑ6$} W l9%.=J '1!bݽLG<F:The7Wrta#u5v{ g`kWv%J{^RpL -12ÇC8ā}f\!@ꕚ3xpc/ӱFB&œDNZ&ɷmeOsS. R߯ s)rt^ObmI)[kF]-_L54-}-Z51J $Hcp|[rp͡l{CA.COһ) {7oWܣT 16BIj>8A#=rB:%q|$'#& Cգ:w}fc%AҮG>Z%{j~yDw>nH nq-L(:JsY;~^Fn|`|c>L;eOض=!nG}3aphN/]Ӎ*VuUEAN͹"R<,j4H,qc8۬mgR sMhH"iYhtH#CT Aܺ鬄KL"jX!q0$uh"JĶ GQh$Lˋnd-&  xa~YQT)ݭmP!? Eyoi 8UV]q^m:XNUT-2,PM+$=My_˲%tHuIa\ I If=,ơj4aKubٛ7t8hRKo07;WN`=()7EB"ߕnIypIg?w 1+| չB&Yڵ=pھ:(\Aiϭm:s܆MX?*XZQ1Pͼ>=:{M});9JO LFZ7}q&U$-b\fA~c7t;ZݜhCA[H ȣ&MX(;Yv ߬.kfqlmTpzb7ѤH[/]V/&>|7eL,Y|`.)﬩ |)%_ӡ#Eͦ׼;x96ʏ-92-hʓ# 1a+'> 8#kup~RԢ1^!8SoL }3S)sVJC-GE}sW8 1fz"F~Y?ۢQhNl19õٍ;rY:@MhmVm|}a+oA@cۚK<2~ Umfw0!Lro3J%nБĸ(B$)<}l !#'(c++W0Vbٱ=,>8f eX:b_*H9Pؼ`m@)uQ?S1ba|h/x%ѱiEXbcD6f֜fJep> & AAF~ǖd D uaK_{7U%bdHSF8+58͂~{>q6yD.}a= 1k>~I9. V_k813{NpѷKX =ɧ9ˇ"*m6 f3e'O揮}q)l4W (Z!dCQC#XzBxҜ;ƭxWw)}vmEcm")O2ւė% w(W̉R7+FuָI9)xzreqN>M̆ ,wP\%:ܴRUkTEz9=wkIqB>Nov fnL6/Xk#eP}S؛әD'L Ha;KPa#hB& Ƀd!%+mQ+VRzRu!yJ4^5>3gwY5j#mhgGgJe^85ٓ| yQe?)z5O{,ybӨ2ey~;-N)/0H:$\.$LqkdFQF v;SFϒ{sE_jnfOk6!w?˻pO!R:I~FdΗuRc͵M_"2a?O=S`ϵr(p%cueJ;*=hb2:G,-\: ڲEk̛ND/M&gZFThF{%LKw;&]Ww3U5h@S繖dQC`c'l`F 5X.O.s/afʞHhu˜.)!# e!'@’MǧZX5Xl7֭mbdʣ"d1/@.G+V~q:`Qߋ 槥2.{-,U<7Uw͉ϰ1WS1e@Ium9f4S8N8%A+ *ZӍتtÊjً=yR-uMpJbJDc^OG:-l}KPlf64Vs *fQbϠ@`%T !fx}ɿ&\*IWBɢR=ZeSn]֘,gg40^C'jg'n0 Y4StԙHfu@SءI&+9Q$X~b, w* 5GQ p'NB+a{z|B<zmrQ4ZLr8DŽ"@@:`ES_==젧kA@ww)Jǩ(ׅgA=*+T)kŔWBzfsEV7U+0KsmGPUr>; v3:` #0Vc1ų8w<1#ZlY꘍3J8"0s@MJ&|:ˆE¥'48ěFx !PBA(Z f=ˡ{{ysK;vE 7*,句# lmlV2r o4h~;U ~쥀T_ )AcM>+ $ W Z=V iE=StReËT":[0rB^bGE/MX!JCYpae?L.Y;TJѸ<]$@2 %Ub Z6wao$AG"j&n{^ 5e n({%+>6\ό QvJd#zNKa:}v@6NPX{Q]o4qzs8:k/ QQ)K8Jń#SZ|Yew|rH]Q $ij\tZkGN ֪`T_R^"smSm#jQio.rW|@OΪ kp& V \D:.Hoe[ϸSD$T- 4.VQG']EÉ]ia㽂B`%Ym rENMP'`[ijh4hm:|Darܣt=)OvhZD](KXǍU侵s-n /ϬRw(- EƲF}G\꿯L)TgJowyf1$"! bq];c /[Q9p㋖>?zjCVƌG0HَCɁ2B`Y.qюN ,*w"t@ci7s{1_-G6[5]/gD)"+әHo#;eE5&RA'5gd(GN혷VjқRs͊<5ւDa0`zBU4ۢ':ZDŽPd(n \/^V@}%v*RX}q k,e=:vQC4̣p f R4v5( kK|ގt`|H'&O`l}W:Zкm\jvbJ)XFN-i.,)o6$UIQ5*$R)XIDMZ`8ȕ \Eͅ:3[CX_b? ihN)FV xSA*G|L⢳~&mx9lv<+/ ;}|5r}ĸ_ p6DV:/:삞i3QϪC?UQкhWg7w +,3ϩ@ ;oLp>,l~V%l-=7P8gcڛy,!rjKj(,W3?JE}j%jB>iuF Rexhd%uwɽܩ kKB:ٰ-#XWuI1-8'H[_x.\9ꕌWWьƀÙ`,FXàw|A=<.^,6Sl"=B3}w rNH|n LFJjk\#+[S'١Ms61p6SS)Sa?Z d)&,{a@gsg?ɛf.\-h ̃`8 j;~\a႒<3P۠d%"jN2 χi!0.Ti@?ZW/kʿ_OI*hiKwĕ.Ђ/T ܑ ҒL{Ec@Rq\ln&f+k|\kʉq%|wY0qjFn-; H31j8F0%1rDqX^j5PeɊ eRhxJN絺QXI3JHUlgGso2v53Mft/R:m?U0w@)b?7>ASP^Y?&d0DcQ7NdjksUĚe]SpɟZgzI٭@akhlZil>0=?pqm^^?3C!hD;ҡO2A4"T!n{ ڵ*>$|E:oUZicoX\ q :iW'm4pmαУ͊C9'8Yz ԸS9H/1˘$TW#BFɨshƿH}4n2E s!˻jZN"@$ȷ<4)1I r3a~ YZ