stp-devel-2.3.1+20171008-bp153.1.17 >  A `C !M@eee+QvX_1-i'Lf 'ՋF,0B!s (2w`c$BZ*uF /^p[Uh')töոaƔӵΆ1vNMA>PKTuQc%Fq/[ϢۃLAjnRU@J eJ)磻.ˑ q'cDQDs^d1907f5f7b4412152ba1759aee708b604931fcbf6253b24794a72d2deab296f67fce09d4827d4ebf8bb5d40a00f7029c12072499l`C !M@eee}0c.Aקv2_ƈdᶀa9Qꊵok7쳏*p-/vYxlRf\)=R31hƅC;AinuWGjuuaFFyrb)txB:q /9"A-5%R6WZg="Ɂ*f>-tLCVof1˜lz8bbd\fdt`Ohj%ʸKQĠ["@sf]f>p>7?7d  & :`dpt  <  V  p        A  ((8 9P:`F3G3 H3L I3 X3Y3\3 ]4 ^4b5Kc5d6Ve6[f6^l6`u6t v6w6 x7$ y7Xz7\7l7p7v7Cstp-devel2.3.1+20171008bp153.1.17Devel files for stpDevelopmnet files for stp library.`Cobs-arm-9SUSE Linux Enterprise 15 SP3openSUSEMIThttps://bugs.opensuse.orgDevelopment/Languages/C and C++https://github.com/stp/stp/wikilinuxaarch64sN9- h A큤AA큤A큤`CYڏ`C`C`C`C`C`C`C`C`C`C`Cc57129a81c27162eddcf6566cda15cb1966d7f3427caebcef8aa008ee4df4670c84ae2a5e49bc9349eb9ac509f71a9ddccb4e801f64550014b1febfbe211bd5f2862c3d9705cef5ab920db9cef752f879792fd129597c1d58820b1fc8664ef9fe5130b499124861749136e0f7bc8f4edd979ecc5c20c7df411db9b35e2b5b5db72bb7b3e9dbfbe42092290d089d875208467b3a32d560fa9f992154952a8dda19ea9adb2f94e20f2aabefd133851e5ad095111d92fa54760a13cb3f0f4b7572aada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.1rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-bp153.1.17.src.rpmcmake(STP)stp-develstp-devel(aarch-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-arm-9 1615062260 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-stpcpioxz5aarch64-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textP7Y%EmQkutf-87904af74213f6fe3cbc699ea6a53d9f13fb46ae810deb743f22a342517638e74? 7zXZ !t/0w] crt:bLL1f[D rXHûַYH~QX颻Å[Kyօו,2b>3/D2Ϸ:rZih F8%v8eƲ̎SeRY~ԡ*A+pK ԓ|jB9l7}ed=GJͭ N~vZҨnߊ&RNB0v(83O@ڛ"ߡd V티h\e=Tx(iaǔ_8lIウ\(ҷIwi~4o'qk<~D3 )ʵܝeu ܖeN`/p1A [X|%Z!.T9.O5IGԨ:ޗ_)X[=V/zJR=Y24'o<ݟ |bTtng~uN2&C*[cdB;BLzO/> '0bQYɁ'6S6(A@ zA>A="Lv*I<;|ɦ4PV3BryRD gR+Ɓd!X4pv8sD2@#G۞ `oqܛwv;V.{nHIx7Sn]3 ;s6~WTpiwV}GoobFr6rL.fV=~ '(մyoc47{۲4;Hdr<Xښuk0׻GCpKxB>YAwԀO3"^Oد])1!&n <w֍pSAY@RW)VE)NdΛCs*NRqlvp~gu[K+'/k6A2̫/;$8D =*V~rFi\)sl?sgD:U&nЯ12Lf,,ִ+-jJ`ϖ*Lz'(-]OX02a⯢i&p#}^OYwЈi֐#="]܁*aeu8&WΓty4` I ^Uf4[,Bky:omUݵ?m #TmPFBḒ5wd0tȂ, )\%[Q%]%1{Rø˚[:"_u쎿0]wM憅&{WKkF_m?D]-#B?P(lŮo{S:MiF+a4m%aKi]2A Uea[x Og_yM9iM:O] ygzaOGxd`=MyWQvW}S'll.~D4ʺےJaKʉW2OɣTHQ}Oyª^N[uv2F B~Ot\Gni7}Oh#7CQ _UJRI<ԹH:lQ{GS!D ֽ, L`>-Ӣf9o1AAND.Q,U/yB'P*D-76;/| q8$=淠Mc*B%'hLk\!CQ3s'?ݠKy`G9+ 47) tZm'C6F)k 竲\q*&(PCfD}) KH|zPo1\j!~JU}-2zh޶51wЃ}C5 q>/;_V\Y) [RbDÉ>A^/t@.j[S\2k`e98.2IW5v؀QAٱx͵yۜyS~{'RZ줝c@r|SO]<E>fBu5BLθ?<&<-S%s.Nx6HԳ HjQ%!ld )m}2,썰R vF{kK(ڶ$Ů ע =_~g EٸF6DSy\ҕ[⚆ᬲ8SmW3h~fmO\#;dZ>^@m:&=dEUJoL}Gŋ ppݬasRMy⠭rEF~ɫFR9g$ 8l@o)zlT]_g'|/|8LqduGS4KZ+cfuH5Hy.%\% Hd#-B<0#m7R\Vi[BWjzxtfM_4SUա@kT|G m$LѨI"t 1BNm'֖)J{A>)BlSźM>yUxX^ױZ~qq+A]K!Px Wҭ>tQE ) }Y\&Dsc?e&4yH`/8,t~u>~DLw.$8u7+.Q1fh檳D[OeZ>j"4ߺ|?V=)Gn-gqNmK h=5r;{BBӲO5,WQ;dM;-EK|*e X5kо״6[ShlJ,ƋW3gڛg BjP5\զ"a}7z_pS88nnDH3TUYSNGP KTc} l5 nB ?jGEGH ٹ>QUuYfIp0rjgʾRX&.uĐPi7j6[;(( Qi!ES8' %cI/۷ֻ #Lq+mtɂ>#gwk4tz';D0EoX_Sv X J1c"Dr-ʃy@^6%5bNsÊ∣r7=O Z{BpD>E0IYH?I@\Ef)bF Կ$gVv-@E -ĐwF{w?ΧH-aZȞ ?yN>!kIךV/stC_p$o_QS>!I>@Ń^dJvZvFc 'Ru@ٙ V6@RYf+Gt&iSwA̼H7k$ @XNjHpCPW˟b ,.21I)y!1Ȧ~ J 0}mØ45EB  ؗS~RD_=+v}$jMݤ̯KH|Mxt]Q1J\hord1 VZo (WGvVeZi@C+A 6T%ԽUAA'" HWPnqzٸa}H^0s%CeS' oB9:aMizERG /2?SawJM{pi;=V/`m]C3,ֆmVk8ȞG3}VtP`ŋ1<{:vP)wB. &v}qn>b}"#ݒd +kh?NBs/C{.QЂ(.]1r|_nC@zHHP t@nVf5 miDlN'H'kSs~b/{嚭zNSol$C@~O> d=ς bBT:(A( t<{GY 8kJ1** :A5!;!L}*dH+0FZ2G(\6{_ BV6(_3x72v]T 2c5CzlQ!mO14)dq 2Z%:;UݵÏ !!HaEOp4*ϖH; M_4Hm;_eI *v(Ym8DjoffFmJ_xb5n"Xl5Q~Tݙ/y۸t'E&5&J]|K:y $%A4ìb `]AD2R_^ȾAt'xCBպ1Ú>/@!t(WD(iZw&JFxKyYtaWa-<i6$<&<åd(T#[tI4Md@Uu})_7U¸1 u`m}Ή_H25q.@`tZ6#W_}%@ ٯJ/, `o3->M#@0GY<TYsⅦg>PV6_ԔByJ( ނD-2'\H&@[fiQ*g(<%Ci*$Ɲ#az["ex)uKP}Aک\b@9x/+ښxe?*Or!E֛NYߣqKLu0r``yDQk'tilV';-cÝjz6,moLVju^Vc>W|]ْQAz֥ҵmÆp?n|ZAe,44N4wgu%quh;`w|+AD_|Y]4aȤG2Yί&95n?.aՅCuh ~$QB+p6u"J kc[[nwN(!ԵXrlFэf\ >-70}3=k4ZÿÑD rJ5ET9UzC:3&l]1"1{zWT}\!`J@UrGtaւj Ӂ잡g3Y#S˜;@gݯInZ,%Vޤ=t2s`R!{Yt,υ%FCvL5 {ͼDḒ5hq.;fk-F`MkL^p!כ7mv`JDSW VpCOw`y@*U=P^y92֙Os#^fH]S՗;2.꿊I؛z@o; J`_꧜#rPxrŒR.(}.mňGx]:VR./4{Z<"T\ܺ}$x~_D?SOA,W sPJT5h \G tO%.k$$Zt#ru-h(Ub< ҫ7i XtP+rlQrV8F`q^6%ӥ& 5+0q8w Bw-Щ"y\m h?-̣NA6e'%B$k:ڏ(#G\,\~y8,kA!~]z&Svz} Yү]RJ$7sl6:!`su${فљZEAE(jeuJE,e XtY7&t77}_> gm7 )e7$/BOj  /IkDJj2"n@a~7An+M썠" Nst8ŽGI*pcS7%r0'C1tg=TO*x+a s=<#r,o^KgZ/+ +iY`p#exŁ1(qK<>G6˚N5G?$:%_p\$`ʸy|>=kA? C&@Mе DH۸^nDHn[G~p@ޛPl˄$dϺ}vg^MHd9.>}sivIBPZ 7EE;,hK:c]YԀkZu\Ly_[W' *G#\I kGcPIn)nyFIX9M9BSSH7 B}ck,ʒrRْ)f° ^Bé7hV #ia }7g%0UܻN`$sYNPQ|C2mA>`՚>wW[җ@]U~f}y~7X"lrE[ \J݉6Nu!P4}+[S LkHO"VՅ_pjE:Hy$]c5.*9 4aph\i@AZaS6-K ؈|Ы ~W\P{f!dIҵŰ^$Q|DĂ-j aIT*|tP\2L}*/fmDo۶.B`)á^jޗv}FKjnBՔYKB;ϦsEE-nth`O#>:+#m2psD8S'$O-ދH@ǐ>R,! P˰킬3g@VTaR+Md)Sr$4H&U+jKnّ@bs%Uh;?ihX͜r#C+"k E\shzW5IZ"Wjs޽I@TPjaѐ乃oYjD2E4-nC  HqZR!2Jܱ-ùqo%G%3$ù,᳧4!~iO 9Gwp Zx1<8sšQ=2Qg0ջѐh-ߌq̈́Y) }{뷵W\;Y 1i Fmy9szG0'AۻAneuInJt'6p݊I\[ B1x L' ̸-g*z~Qqhycök<g-p4[ƒ13s9"t =TMp=|`~I)l5]C s( ( fΚK$_  kEGUp`Y#.ҥtflKCԼc2_ɡ&. 4n,~Bgt*(2Ƕ XSK?}j7v:2u.x,d[41W;غ/!TG@s?|e|3p>UgLUNW+IWN*EZ&u"%LPɂwrfia5c?? \x9/p7= uiTO\yzsu;5rREZMyAMTb֮tB4?!Kߌ0:EgK7 \ rjlD ]*^:%[މQ٣W܅Q+ Xގ !d/'Qk2F݃WVE ۳q0Lj.;v@!oUW&|ZcHGp=7?]ڣAղV{KJ[9/B=ctqn,eJ\1E)Cp[m}}ۓt!?^u]`gV\1^}N&T^ (z'p,mL,0>oգj۽+/4aA- 0esRXF:>]m]_wjT^]ne Ð9Fzh",E|a?;=WEG׀ Ih`f)7DIM0/K/Χ[pcp !_YJ03ߡ[rIM0ȄK9PO<COԹQc[hQF.Zꖚý).J*`uC] cg8=$ip44Ga>R YZ