1 search result for "tag:"keyword:malloc""

Showing 1 - 1
  1. coq-vst-lib

    No documentation

    VSTlib: VST-verified C library for VST-verified clients
    date:2024-03-20 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.14
    BSD-2-Clause
    Used by 0 other packages
    21 Mar 2024