3 search results for "author:"Qinshi Wang""

Showing 1 - 3
  1. coq-vst

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2024-04-12
    Andrew W. Appel Lennart Beringer William Mansky Josiah Dodds Qinxiang Cao et al.
    3.0beta2
    BSD-2-Clause
    Used by 1 other packages
    15 Apr 2024
  2. coq-vst-32

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2024-03-20
    Andrew W. Appel Lennart Beringer Josiah Dodds Qinxiang Cao Aquinas Hobor et al.
    2.14
    BSD-2-Clause
    Used by 0 other packages
    21 Mar 2024
  3. coq-vst-zlist

    No documentation

    A list library indexed by Z type, with a powerful automatic solver
    Qinshi Wang Andrew W. Appel
    2.13
    BSD-2-Clause
    Used by 2 other packages
    09 Nov 2023