This is stars and forks stats for /zhezhouzz/Poirot-Supplementary-Material repository. As of 29 Mar, 2024 this repository has 2 stars and 1 forks.
PLDI 23 Supplementary Material Results The Coq formalization of our core language and its soundness theorem are included in the "proof" subdirectory. Benchmarks Details about the 14 benchmarks used in our evaluation are given in individual folders with the same name as the benchmark; these folders are all located under "benchmarks". Each benchmark has a file prog.ml that presents the source code of the input test generator and a file ty.ml that defines the coverage type coverage type we want to check...
PLDI 23 Supplementary Material Results The Coq formalization of our core language and its soundness theorem are included in the "proof" subdirectory. Benchmarks Details about the 14 benchmarks used in our evaluation are given in individual folders with the same name as the benchmark; these folders are all located under "benchmarks". Each benchmark has a file prog.ml that presents the source code of the input test generator and a file ty.ml that defines the coverage type coverage type we want to check...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
shogo82148/actions-setup-perl | PerlTypeScriptMakefile | 73 | 0 | 6 | 0 |
sni/Thruk | PerlJavaScriptShell | 387 | 0 | 148 | 0 |
forumone/gesso-uswds | TwigJavaScriptSCSS | 4 | 0 | 1 | 0 |
bym110/vue-echarts | VueHTMLOther | 583 | +1 | 173 | +1 |
WebAssembly/root-scanning | WebAssemblyPythonOCaml | 7 | 0 | 2 | 0 |
DLarisa/FMI-Materials-BachelorDegree-UniBuc | XSLTJavaScriptPLSQL | 104 | 0 | 31 | 0 |
AdaCore/learn | AdaPythonTypeScript | 83 | 0 | 35 | 0 |
albfan/miraclecast | CShellCMake | 3.4k | 0 | 396 | 0 |
Mange/rtl8192eu-linux-driver | COther | 1.2k | 0 | 412 | 0 |
maranas/arduinoBBS | Other | 1 | 0 | 0 | 0 |