2 search results for "tag:"date:2025-02-10""

Showing 1 - 2
  1. coq-vcfloat

    No documentation

    VCFloat: Floating Point Round-off Error Analysis
    date:2025-02-10 keyword:decision procedure keyword:floating-point arithmetic category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:VCFloat
    Andrew W. Appel Ariel E. Kellison Tahina Ramananandro Paul Mountcastle Benoit Meister et al.
    2.3
    LGPL-3.0-or-later
    Used by 2 other packages
    10 Feb 2025
  2. coq-vst-lib

    No documentation

    VSTlib: VST-verified C library for VST-verified clients
    date:2025-02-10 keyword:VST keyword:library keyword:malloc keyword:threads keyword:floating-point arithmetic category:Miscellaneous/Coq Extensions category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:VSTlib
    Andrew W. Appel William Mansky
    2.15.1
    BSD-2-Clause
    Used by 0 other packages
    10 Feb 2025