Repositories list

• CMinor-Verifier

  Public
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)

  course-projectprogram-verification

  C#

  •

  GNU General Public License v3.0

  •22•203•0•0•Updated Mar 10, 2025Mar 10, 2025

• Deagle

  Public
  C++

  •

  Other

  •4•17•1•0•Updated Nov 20, 2024Nov 20, 2024

• thufv.github.io

  Public
  Formal Verification Lab in Tsinghua University

  SCSS

  •

  MIT License

  •0•2•0•1•Updated Oct 9, 2024Oct 9, 2024

• mastery

  Public
  An efficient and shifted-aware structured three-way merging framework

  Java

  •

  Other

  •1•3•0•0•Updated Jun 27, 2024Jun 27, 2024

• EqFix

  Public
  C#

  •0•0•0•0•Updated Sep 27, 2022Sep 27, 2022

• CMinor-testcases

  Public
  2022 年春季学期清华大学《软件分析与验证》课程实验测例仓库

  C

  •1•2•0•0•Updated Aug 4, 2022Aug 4, 2022

• automerge-PTM

  Public
  Structured merging with Proper Tree Matching

  Java

  •

  GNU Lesser General Public License v2.1

  •1•2•0•0•Updated Jul 19, 2021Jul 19, 2021

• Prem

  Public
  Program Repair using Error Messages

  0•0•0•0•Updated Mar 25, 2021Mar 25, 2021

• DeepFix-CS

  Public
  C#

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 24, 2021Mar 24, 2021

• pspec-sql

  Public
  Scala

  •

  Other

  •1•3•0•1•Updated Jul 23, 2020Jul 23, 2020

• automerge

  Public
  Resolve conflicts via version space algebra in structured merge.

  javamerge-conflictsconflict-resolution+ 4program-synthesismergerstructured-mergeversion-space-algebra

  Java

  •

  GNU Lesser General Public License v3.0

  •4•7•0•0•Updated Nov 10, 2018Nov 10, 2018