From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1005) id 608B63853D6A; Thu, 17 Nov 2022 21:50:01 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 608B63853D6A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668721801; bh=xVK5d61aCfTmYbY119XtjG6di4gQqf/2CVKWiToft+A=; h=From:To:Subject:Date:From; b=DcahX39zKMJlFQBpcOT1Y44zY7vHd79rbA7SRIdpwVsxRThHfS9P/NGSYLLe1SMDX DHxXfFEQ2Di0a/9jYdQC9j3puutVLvI8ZmJ3UAus9GqOuFYyIZFEtg0fujZjPOfMpB g9wxTaP9tHOJkJ88jsnrhFb7Zdff7ZMWs+2GENWQ= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Michael Meissner To: gcc-cvs@gcc.gnu.org Subject: [gcc/meissner/heads/dmf004-orig] (319 commits) Merge commit 'refs/users/meissner/heads/dmf004-orig' of git X-Act-Checkin: gcc X-Git-Author: Michael Meissner X-Git-Refname: refs/users/meissner/heads/dmf004-orig X-Git-Oldrev: e6272178fd9ba1103b713eb48ed2382fceaf9de1 X-Git-Newrev: c58a8472cba6cae085a9d6087c6ca72d904c7d58 Message-Id: <20221117215001.608B63853D6A@sourceware.org> Date: Thu, 17 Nov 2022 21:50:01 +0000 (GMT) List-Id: The branch 'meissner/heads/dmf004-orig' was updated to point to: c58a8472cba... Merge commit 'refs/users/meissner/heads/dmf004-orig' of git It previously pointed to: e6272178fd9... Patch libgcc to always use _Float128 and _Complex _Float128 Diff: Summary of changes (added commits): ----------------------------------- c58a847... Merge commit 'refs/users/meissner/heads/dmf004-orig' of git 7f2b631... Patch libgcc to always use _Float128 and _Complex _Float128 2b963da... Update float 128-bit conversions, PR target/107299. f95e05f... Make __float128 use the _Float128 type, PR target/107299. ca41137... Rework 128-bit complex multiply and divide. 0780acb... Update ChangeLog.meissner. 4f735b0... Add REVISION. 3f467ea... c: Set the locus of the function result decl (*) 19be89d... Fortran: Remove double spaces in open() warning [PR99884] (*) ee89283... Fix PR 107734: valgrind errors with sbitmap in match.pd (*) 4e30622... [PR tree-optimization/107732] [range-ops] Handle attempt to (*) f9ed1d2... c, analyzer: fix ICE with -fanalyzer and -Wunused-macros [P (*) 0045d25... RISC-V: Optimize masking with two clear bits not a SMALL_OP (*) 1957bed... RISC-V: bitmanip: add splitter to use bexti for "(a & (1 << (*) 705bae2... Enable shrink wrapping for the RISC-V target. (*) 06c8f2e... aarch64: Add mode size check on LDAPR-extend patterns (*) 822a082... [PR68097] Try to avoid recursing for floats in gimple_stmt_ (*) 156f523... x86: Enable 256 move by pieces for ALDERLAKE machine. (*) cbe3130... middle-end: ensure that VEC_PERM operands get lowered to th (*) 1bc7efa... middle-end: replace GET_MODE_WIDER_MODE with GET_MODE_NEXT_ (*) 2b2f2ee... [range-ops] Minor readability fix. (*) 928bc5b... Fix typo in gimple_fold_partial_load_store_mem_ref (*) a62d957... RISC-V: Optimize RVV epilogue logic. (*) e214cab... Fix multiple recent sh3/sh3eb regressions (*) f69a829... libstdc++: Ensure std::to_chars overloads all declared in < (*) 8090952... Daily bump. (*) ff199a8... analyzer: more test coverage for named constants (*) 6e49628... analyzer: log the stashing of named constants [PR107711] (*) bdd784f... Fortran: ICE on procedure arguments with non-integer length (*) c85f8db... c++: P2448 - Relaxing some constexpr restrictions [PR106649 (*) dbdce6a... libstdc++: Fix dumb typos in ALT128 support in [PR (*) 629897e... libstdc++: Improve performance of chrono::utc_clock::now() (*) 2f5c071... libstdc++: Adjust for Clang compatibility [PR10771 (*) 22cb0fe... libstdc++: Disable std::format of _Float128 if std::to_char (*) 96e4244... Fortran: error recovery after reference to bad CLASS variab (*) 713dcfc... Fortran: ICE in simplification of array expression involvin (*) ac74b3f... RISC-V: Split "(a & (1UL << bitno)) ? 0 : 1" to bext + xori (*) 3246255... RISC-V: Split "(a & (1UL << bitno)) ? 0 : -1" to bext + add (*) e91d514... testsuite: Fix mistransformed gcov (*) 246bbda... tree-optimization/107686 - fix bitfield ref through vec_unp (*) 8a5f366... middle-end/107679 - fix SSA rewrite of clobber of parameter (*) 7026d04... libstdc++: Add test for chrono::utc_clock leap second offse (*) f6d6fd0... libatomic: regenerate Makefile.in (*) ec59848... libstdc++: Fix stream initialization with static library [P (*) c5e8c6c... c++: Alignment changes to layout compatibility/common initi (*) 0e2c551... libstdc++: Fix up for extended floating point typ (*) cf958f8... c++: Fix up calls to static operator() or operator[] [PR107 (*) 85966f0... doc: fix description of -mrelax-cmpxchg-loop [PR 107676] (*) d4cc7a8... i386: correct x87&SSE multiplication modeling in znver.md (*) dd744f0... i386: correct x87&SSE division modeling in znver.md (*) 3c54805... libstdc++: Fix std::any pretty printer (*) 9228162... libstdc++: Improve comments on pretty printer code (*) 6f83861... gcn: Add __builtin_gcn_kernarg_ptr (*) 21501ec... analyzer: use known_function to simplify region_model::on_c (*) 3685aed... analyzer: split out checker-path.cc into a new checker-even (*) 99c9cbc... gcc: m68k: fix PR target/107645 (*) f58e6d4... doc: invoke: pru/riscv: Fix option list formatting (*) 1360290... c++: Implement CWG 2654 - Un-deprecation of compound volati (*) d59858f... nvptx/mkoffload.cc: Fix "$nohost" check (*) 7f01402... c++: Allow attributes on concepts - DR 2428 (*) 7c6cd9c... ragen-op-float: Fix up float_binary_op_range_finish [PR1076 (*) 2b7f037... libstdc++: Fix gdb FilteringTypePrinter (*) 63e1b2e... rtl: Try to remove EH edges after {pro,epi}logue generation (*) cdc3422... Daily bump. (*) ed1797d... c++: Disable -Wignored-qualifiers for template args [PR1074 (*) c717a92... RISC-V: Zihintpause: add __builtin_riscv_pause (*) 6052482... bpf: avoid possible use of uninitialized variable (*) 86a9000... analyzer: add warnings relating to sockets [PR106140] (*) d8aba86... c, analyzer: support named constants in analyzer [PR106302] (*) 46c3d9c... demangler: Templated lambda demangling (*) ee08aa9... diagnostics: Remove null-termination requirement for json:: (*) 15d3155... diagnostics: Use an inline function rather than hardcoding (*) 6238cc2... diagnostics: Fix macro tracking for ad-hoc locations (*) 3037f11... libsanitizer: update LOCAL_PATCHES (*) f546846... asan: update expected format based on ASAN (*) 0c7a928... libsanitizer: Apply local patches (*) 5f3fa26... libsanitizer: merge from upstream ae59131d3ef311fb4b1e50627 (*) d1288d8... libatomic: Add support for LSE and LSE2 (*) 5925f0e... c++: remove i_c_e_p parm from tsubst_copy_and_build (*) c52c322... c++: remove function_p parm from tsubst_copy_and_build (*) c68c468... libstdc++: Fix std::format test for strict -std=c++20 mode (*) a5d4f38... libstc++: std::formattable concept should not be defined fo (*) ce86d96... libstdc++: Fix detection of std::format support for __float (*) 3895318... libsanitizer: use git clone --depth 1 (*) fe26b04... Revert "docs: Fix expected diagnostics URL [PR107599]" (*) d34dea0... libstdc++: Document use of Markdown for Doxygen comments (*) f5f2686... doc: Format region pragmas as separate items (*) dd32062... ira: Remove duplicate `memset' over `full_costs' from `assi (*) 28f636a... aarch64: Add support for widening LDAPR instructions (*) 0431e8a... aarch64: Enable the use of LDAPR for load-acquire semantics (*) 9a4129f... gcc-changelog: revert temporary rule relaxation (*) 83d400b... Daily bump. (*) 87c4057... c++: Fix a typo in function name (*) 4a7a846... libatomic: Handle AVX+CX16 AMD like Intel for 16b atomics [ (*) 7cf165d... c++: Add testcase for DR 2392 (*) 6492cec... c++: Implement C++23 P2589R1 - - static operator[] (*) e0f4fcf... c++: Add testcase for DR 2604 (*) dc95e1e... Optimize VEC_PERM_EXPR with same permutation index and oper (*) 73b582a... Remove Score documentation (*) 7dc52ed... Remove the picoChip documentation (*) 298707b... Remove documentation for MeP (*) d7971cf... Fix @opindex for mcall-aixdesc and mcall-openbsd (*) fce38b7... c++: init_priority and SUPPORTS_INIT_PRIORITY [PR107638] (*) 080b4cf... c++: Disable -Wdangling-reference when initing T& (*) aa37a91... Revert "RISC-V: Add basic support for the Ventana-VT1 core" (*) bcd5f98... Revert "RISC-V: Add instruction fusion (for ventana-vt1)" (*) c41bbfc... c++: only declare satisfied friends (*) e7c12a9... ira: Fix `create_insn_allocnos' `outer' parameter documenta (*) 2044cf2... middle-end: Fix addsub patch removing return statements (*) eab3d2d... riscv: bitmanip: add orc.b as an unspec (*) 1d99e09... middle-end: Fix can_special_div_by_const doc. (*) 991cfe5... RISC-V: Add instruction fusion (for ventana-vt1) (*) b4fca4f... RISC-V: Add basic support for the Ventana-VT1 core (*) d758d19... aarch64: Add support for +cssc (*) a89ac90... AArch64: Add SVE2 implementation for pow2 bitmask division (*) c98aabc... AArch64: Add implementation for pow2 bitmask division. (*) 8beff04... middle-end: Support not decomposing specific divisions duri (*) b2bb611... middle-end: Add optimized float addsub without needing VEC_ (*) 2b85d75... libstdc++: Fix installation of python files for debug lib (*) 23a121d... arm: Add support for Cortex-X1C CPU. (*) e07556a... aarch64: Add support for Cortex-X3 CPU. (*) 30348d3... Fix @opindex for m80387 (*) 9c19597... Fix some @opindex with - in the front (*) 590a06a... aarch64: Add support for Ampere-1A (-mcpu=ampere1a) CPU (*) 5ba2597... ada: Silence CodePeer false positive (*) 438f878... ada: Remove incorrect comments about initialization (*) 0e194d2... ada: Flag unsupported dispatching constructor calls (*) f3597ba... ada: hardcfr docs: add optional checkpoints (*) 90b9052... ada: Crash on applying 'Pos to expression of a type derived (*) 0a2304a... ada: Fix non-capturing parentheses handling (*) 442886a... ada: Fix error on SPARK_Mode on library-level separate body (*) 28e5c45... ada: Adjust locations in aspects on generic formal subprogr (*) 35f29cf... ada: Fix style in code for generic formal subprograms with (*) fe02d7d... ada: Expand generic formal subprograms with contracts for G (*) eba0e79... ada: Enable Support_Atomic_Primitives on QNX and RTEMS (*) 04381a1... ada: Improve location of error messages in instantiations (*) c9d317b... ada: Remove gnatcheck reference (*) cf716ab... remove duplicate match.pd patterns (*) 04e2fd2... Fortran: fix treatment of character, value, optional dummy (*) 3c67217... libstdc++: Fix install-debug makefile target (*) ce51e84... doc: port new documentation from Sphinx (*) 191dbc3... Revert "sphinx: copy files from texi2rst-generated reposito (*) 1191a41... Partially revert 7e3ce73849fef8b50efb427ec96f317e88c0e6cf (*) de13379... Revert "sphinx: update baseconf.py file" (*) d92b506... Revert "sphinx: port .def files to RST" (*) 3e070cf... Revert "sphinx: use tm.rst.in file in target macros" (*) 4e3dcf2... Revert "sphinx: support Sphinx in build system" (*) ef0879e... Revert "sphinx: add tm.rst.in" (*) d77de73... Revert "sphinx: remove texinfo files" (*) 40a3938... Revert "sphinx: jit: port libgccjit to shared Sphinx" (*) 64d5610... Revert "sphinx: ada: port to Sphinx" (*) b4c839e... Revert "sphinx: use proper lexers for target macros" (*) b779e6b... Revert "sphinx: add --with-sphinx-build" (*) d6e95a1... Revert "sphinx: fix cross manual references" (*) fcdbe60... Revert "sphinx: do not use tm.rst.in with empty content" (*) 56de140... Revert "sphinx: sync latest changes" (*) 8a1ca6f... Revert "sphinx: support installation if sphinx-build is mis (*) c909a4a... Revert "sphinx: add update_web_docs_git.py script" (*) 50b2e0f... Revert "sphinx: fix building if sphinx-build is missing" (*) 3c1d035... Revert "avr: sphinx: port gen-avr-mmcu to RST" (*) 705dd99... Revert "sphinx: simplify default in baseconf.py." (*) 8c7311c... Revert "sphinx: update crontab with new script" (*) 9d29dd2... Revert "sphinx: update diagnostics URLs" (*) 1f9b8c3... Revert "docs: fix: WARNING: Parsing of expression failed. U (*) a0ccbac... Revert "sphinx: add missing trailing newline" (*) 45ab87d... Revert "docs: fix links pointing to gcc.gnu.org/install" (*) 65ae200... Revert "docs: create sources tarball" (*) 37a5098... Revert "sphinx: add missing HAS_SPHINX_BUILD" (*) 07852b5... Revert "docs: Add missing variable name in example" (*) 6e79760... Revert "doc: Use a separate directory for new modules we ad (*) 5747670... Revert "doc: Modernize baseconf.py." (*) 30ad6e0... Revert "maintainer-scripts: fix superfluous 'sh' for Python (*) 95d3646... Revert "sphinx: add missing newline for conf.py files." (*) d2d6d26... Revert "docs: move label directly before title" (*) 274462e... Partially revert 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94 (*) c9cd0c4... Partially revert d3fe767c16e7c528e4fc71c8a68ac14b4573d880. (*) 943401b... Revert "sphinx: stop using parallel mode" (*) 95c6f70... Revert "doc: update sphinx-build -j auto comment" (*) 28a2864... Revert "jit: doc: Use shared Indices and tables" (*) f9e277d... Partially revert cd9eedb8ac2e904880da8d1e3c87a3557c38a04f (*) dabb1db... Partially revert ca1db2725a3232b2e15eaa1bd7fbe33927843476 (*) d33b561... Partially revert 12c583a2a3da798e82737c2d0e11fd686636cfeb (*) 1d6e27d... Partially revert 59a63247992eb13153b82c4902aadf111460eac2. (*) cf1457e... Revert "doc: Remove outdated reference to "core" and front- (*) bd24b5d... Revert "configure: always set SPHINX_BUILD" (*) cead52c... Revert "sphinx: include todolist only if INCLUDE_TODO env. (*) f3c9c65... Revert "doc: Update Jeff Law's email-address in contrib.rst (*) b2fa2b4... Partially revert d777b38cde91a87f2345dcd13901862a9513562a (*) fd210d8... i386: Add AMX-TILE dependency for AMX related ISAs (*) afabc30... Partially revert 071e428c24ee8c1ed062597a093708bba29509c9 (*) e7ebdf5... restrict gcc.dg/pr107554.c to 64bit platforms (*) 071e428... Enable small loop unrolling for O2 (*) 5f2ce01... gcc-changelog: temporarily disable check_line_start (*) eefbfbc... Daily bump. (*) d777b38... analyzer: new warning: -Wanalyzer-tainted-assertion [PR1062 (*) 58e7732... Fortran: diagnostics for actual arguments to pointer dummy (*) e42b672... Skip guality tests on hppa-hpux. (*) 43435c7... RISC-V: optimize '(a >= 0) ? b : 0' to srai + andn, if comp (*) 3bf46ea... doc: Update Jeff Law's email-address in contrib.rst (*) c64fd69... sphinx: include todolist only if INCLUDE_TODO env. set (*) f90cb39... RISC-V: costs: support shift-and-add in strength-reduction (*) 5e749ee... configure: always set SPHINX_BUILD (*) 9a265c9... ginclude: C2x header version macros (*) 0543228... doc: Remove outdated reference to "core" and front-end down (*) 1736bf5... libstdc++: Add C++20 clocks (*) 1d9454a... libstdc++: Implement C++20 [PR104166] (*) d4ba3b3... libstdc++: Allow std::to_chars for 128-bit integers in stri (*) 7ce0cee... Fortran: Remove unused declaration (*) 30d77d4... Daily bump. (*) ec6c202... libstdc++: Fix up to_chars ppc64le _Float128 overloads [PR1 (*) 59a6324... Fortran: fix treatment of character, value, optional dummy (*) b556d17... c: C2x constexpr (*) f232715... [frange] Avoid testing signed zero test for -fno-signed-zer (*) 4c57e57... [range-ops] Add ability to represent open intervals in fran (*) 2a193e9... libgomp: Fix up build on mingw [PR107641] (*) d4c2f1d... range-op: Implement op[12]_range operators for {PLUS,MINUS, (*) 5747470... range-op: Cleanup floating point multiplication and divisio (*) 2d5c4a1... range-op: Implement floating point division fold_range [PR1 (*) 2f7f9ed... range-op: Implement floating point multiplication fold_rang (*) f5225db... LoongArch: Add flogb.{s,d} instructions and expand logb{sf, (*) d26c757... LoongArch: Add fscaleb.{s,d} instructions as ldexp{sf,df}3 (*) 51a233b... LoongArch: Add ftint{,rm,rp}.{w,l}.{s,d} instructions (*) e468dd4... LoongArch: Rename frint_ to rint2 (*) ba75514... libstdc++: Simplify build targets for debug library (*) a7f5105... libstdc++: Define INSTANTIATE_FACET_ACCESSORS macro in comp (*) 5b6ce16... Daily bump. (*) 8214ec0... libstdc++: Fix for Windows [PR950 (*) 7543a6d... analyzer: more state machine documentation (*) 65752c1... analyzer: split out checker_event classes to their own head (*) 12c583a... analyzer: new warning: -Wanalyzer-infinite-recursion [PR106 (*) 0a7b437... Don't add dependencies in update_stmt. (*) 52672be... libstdc++: Set active union member in constexpr std::string (*) b331bf3... libstdc++: Fix wstring conversions in filesystem::path [PR9 (*) dab5d73... process transitive inferred ranges in pre_fold_stmt. (*) ca1db27... aarch64: Add support for Cortex-X1C CPU. (*) cd9eedb... aarch64: Add support for Cortex-A715 CPU. (*) 81de403... tree-optimization/107554 - fix ICE in stlen optimization (*) 4b3874d... tree-optimization/105142 - improve maybe_fold_comparisons_f (*) e0cfde7... [range-ops] Remove specialized fold_range methods for vario (*) c0662c7... [range-ops] Avoid unnecessary intersection in update_known_ (*) c16c408... [range-ops] Update known bitmasks using CCP for all operato (*) b3e8dc8... [range-ops] Use existing tree code for *DIV_EXPR entries. (*) 17586bd... [range-ops] Add tree code to range_operator. (*) af96500... tree-optimization/107618 - enhance copy propagation of cons (*) be2c74f... Make last DCE remove empty loops (*) 3b54cc9... jit: doc: Use shared Indices and tables (*) 02698e2... doc: update sphinx-build -j auto comment (*) 08fd14f... sphinx: stop using parallel mode (*) 999c14c... changelog: check for space after tab (*) 5576518... RISC-V: Add RVV registers register spilling (*) fbad7a7... libstdc++: Fix tests with non-const operator== (*) f54ae4d... libstdc++: Add missing definition for in C++14 m (*) 56d2222... libstdc++: Fix test that uses C++17 variable template in C+ (*) b3ac43a... libstdc++: Avoid redundant checks in std::use_facet [PR1037 (*) d3fe767... c-family: Support #pragma region/endregion [PR85487] (*) 21de01f... i386: Add ISA check for newly introduced prefetch builtins. (*) f225b81... Daily bump. (*) 5c6546c... analyzer: new warning: -Wanalyzer-deref-before-check [PR996 (*) 7e3ce73... c++: Extend -Wdangling-reference for std::minmax (*) 740cf7d... docs: move label directly before title (*) e15d70e... Remove SLOW_SHORT_ACCESS from target headers (*) b4fc06d... Do not specify NAN sign in frange::set_nonnegative. (*) f1b7681... better PHI copy propagation for forwprop (*) 2f6cb9c... RISC-V: Fix selection of pipeline model for sifive-7-series (*) 203b127... Restore CCP copy propagation (*) bd044da... sphinx: add missing newline for conf.py files. (*) 9e11cee... unswitching of outer loops (*) 49de156... i386: Fix up ix86_expand_int_sse_cmp [PR107585] (*) 9072763... maintainer-scripts: fix superfluous 'sh' for Python script (*) dd31c69... doc: Modernize baseconf.py. (*) 70f1c41... doc: Use a separate directory for new modules we add to PAT (*) 0cbb756... libstdc++: Optimize std::destructible concept (*) 1cdfd0e... Daily bump. (*) 219f820... go: don't crash if __atomic_fetch_add functions are used (*) 965ce1b... analyzer: better logging of event creation (*) d8c1058... docs: Add missing variable name in example (*) e505f74... Fortran: avoid NULL pointer dereference on bad EQUIVALENCEs (*) f94c2ef... docs: Fix expected diagnostics URL [PR107599] (*) e805ada... Fortran: ordering of hidden procedure arguments [PR107441] (*) 8f5aa13... sphinx: add missing HAS_SPHINX_BUILD (*) 52eedc1... docs: create sources tarball (*) 4eadbe8... Clear NAN when reading back a global range if necessary. (*) 8bb3f17... Revert op[12]_range operators for PLUS_EXPR and MINUS_EXPR. (*) ace0ae0... Change the name of array_at_struct_end_p to array_ref_flexi (*) 0b3d926... docs: fix links pointing to gcc.gnu.org/install (*) 837be6c... tree-optimization/84646 - remove premature thread path reje (*) 3ed1b4c... sphinx: add missing trailing newline (*) a305ac8... docs: fix: WARNING: Parsing of expression failed. Using fal (*) 9c3bc55... sphinx: update diagnostics URLs (*) d943927... Fix up foperator_abs::op1_range [PR107569] (*) d05a423... sphinx: update crontab with new script (*) 50ebb5e... Add guality testcase for RTL alias analysis fix (*) 8d7a55b... sphinx: simplify default in baseconf.py. (*) 05119c3... c++: Minimal handling of carries_dependency attribute (*) cecc039... testsuite: Fix up pr107541.c test (*) 79f1313... avr: sphinx: port gen-avr-mmcu to RST (*) e7c8f50... RISC-V: costs: handle BSWAP (*) d699d32... LoongArch: fix signed overflow in loongarch_emit_int_compar (*) 1f9c793... sphinx: fix building if sphinx-build is missing (*) 4287e81... Implement op[12]_range operators for PLUS_EXPR and MINUS_EX (*) 6373b1f... sphinx: add update_web_docs_git.py script (*) e5821d3... sphinx: support installation if sphinx-build is missing (*) 8857a1e... sphinx: sync latest changes (*) 66f5503... sphinx: do not use tm.rst.in with empty content (*) 7231864... sphinx: fix cross manual references (*) 1f5a932... sphinx: add --with-sphinx-build (*) c0eb1a3... sphinx: use proper lexers for target macros (*) 0a54351... sphinx: ada: port to Sphinx (*) 94246da... sphinx: jit: port libgccjit to shared Sphinx (*) 54ca4ee... sphinx: remove texinfo files (*) 564a805... sphinx: add tm.rst.in (*) 41a45cb... sphinx: support Sphinx in build system (*) 8f2b513... sphinx: use tm.rst.in file in target macros (*) c8874c5... sphinx: port .def files to RST (*) 8dc319e... sphinx: update baseconf.py file (*) c63539f... sphinx: copy files from texi2rst-generated repository (*) 38ec5e4... [range-op-float] Implement MINUS_EXPR. (*) 0ef5649... [range-op-float] Abstract out binary operator code out of P (*) 68b0615... [range-op-float] Set NAN possibility for INF + (-INF) and v (*) (*) This commit already exists in another branch. Because the reference `refs/users/meissner/heads/dmf004-orig' matches your hooks.email-new-commits-only configuration, no separate email is sent for this commit.