This is stars and forks stats for /thufv/CMinor-Verifier repository. As of 06 May, 2024 this repository has 162 stars and 19 forks.
简介 本项目为 2022 年春季学期清华大学《软件分析与验证》课程实验平台，作业平台提供了一个 CMinor 的验证框架，你需要在其中实现核心的验证算法。CMinor 是一个面向验证的教学语言，其包括源程序和验证标注两部分，其中源程序部分大致是 C 语言的子集，验证标注部分大致是 ACSL (ANSI/ISO C Specification Language) 的子集。从 C 语言的角度来看，验证标注是写在注释中的，不会影响 C 代码通常的编译和运行。 在本实验中你需要实现本工具中的核心验证算法部分，具体的说明请见任务说明文档。 本项目使用 git submodules 来集成公开测例仓库，在 clone 后可以使用 git submodule update --remote 来更新测例仓库。 安装 本项目依赖于 .NET 6，你可以从这里下载其最新的 SDK。 你可以使用任意你喜欢的 IDE，我们推荐： Visual Studio 2022 (>= 17.0.0)：可以在安装的时候打包安装 .NET 的 SDK，不需要再单独下载 Visual Studio Code：配合 C#...
简介 本项目为 2022 年春季学期清华大学《软件分析与验证》课程实验平台，作业平台提供了一个 CMinor 的验证框架，你需要在其中实现核心的验证算法。CMinor 是一个面向验证的教学语言，其包括源程序和验证标注两部分，其中源程序部分大致是 C 语言的子集，验证标注部分大致是 ACSL (ANSI/ISO C Specification Language) 的子集。从 C 语言的角度来看，验证标注是写在注释中的，不会影响 C 代码通常的编译和运行。 在本实验中你需要实现本工具中的核心验证算法部分，具体的说明请见任务说明文档。 本项目使用 git submodules 来集成公开测例仓库，在 clone 后可以使用 git submodule update --remote 来更新测例仓库。 安装 本项目依赖于 .NET 6，你可以从这里下载其最新的 SDK。 你可以使用任意你喜欢的 IDE，我们推荐： Visual Studio 2022 (>= 17.0.0)：可以在安装的时候打包安装 .NET 的 SDK，不需要再单独下载 Visual Studio Code：配合 C#...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| LineageOS/android_vendor_lineage | CSSJavaScriptMakefile | 178 | 0 | 581 | 0 |
| SebLague/Neural-Network-Experiments | ShaderLabC#HLSL | 360 | 0 | 58 | 0 |
| bzyzhang/RoadOfShader | ShaderLabC#HLSL | 73 | 0 | 12 | 0 |
| KlearVacuum/KirbGlobalWarmingTogether | C#ShaderLabHLSL | 0 | 0 | 0 | 0 |
| aagustini/ExercicioLinq20222 | TSQLC# | 0 | 0 | 11 | 0 |
| kagurazakasanae/Mhyprot2DrvControl | C# | 312 | 0 | 82 | 0 |
| TeyvatL/GrasscutterTool-3.0.5 | C# | 87 | +1 | 8 | 0 |
| regzo2/OSCmooth | C# | 116 | 0 | 8 | 0 |
| NYAN-x-CAT/AsyncRAT-C-Sharp | C# | 1.8k | 0 | 718 | 0 |
| 2881099/FreeIM | C#HTMLDockerfile | 1.3k | 0 | 399 | 0 |