Yibo-Dong

Pinned Repositories

hCAR
A variant of simpleCAR that unleashes the hidden power of assumptiond ordering.
10
InterlockingBench
This benchmark are for model checker researchers who are interested in practical interlocking problems.
10
mCAR
An efficient CAR-based model checker with multiple Unsat Cores.
Language:C++10
miniCAR
Language:C++10
alive2
Automatic verification of LLVM optimizations
Language:C++00
clang
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Language:C++00
hexo-theme-academia
A light & simple & responsive page for academic websites on Hexo, crafted from academicpages on Jekyll.
Language:CSS00
LightF3-illustration
The presentation of LightF3 usage.
00
LightF3_ExperimentData
The data for our experiments is organized here.
Language:ReScript00
minisat
A minimalistic and high-performance SAT solver
Language:C++00

Yibo-Dong's Repositories

Yibo-Dong/miniCAR
Language:C++1
Yibo-Dong/sjtu019.github.io
Language:HTML
Yibo-Dong/LightF3_ExperimentData
The data for our experiments is organized here.
Language:ReScript
Yibo-Dong/LightF3-illustration
The presentation of LightF3 usage.
Yibo-Dong/hCAR
A variant of simpleCAR that unleashes the hidden power of assumptiond ordering.
1
Yibo-Dong/mCAR
An efficient CAR-based model checker with multiple Unsat Cores.
Language:C++1
Yibo-Dong/InterlockingBench
This benchmark are for model checker researchers who are interested in practical interlocking problems.
1
Yibo-Dong/minisat
A minimalistic and high-performance SAT solver
Yibo-Dong/simplecar
Yibo-Dong/satch
SAT Solver SATCH
Yibo-Dong/alive2
Automatic verification of LLVM optimizations
Yibo-Dong/resume
An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git
Yibo-Dong/hexo-theme-academia
A light & simple & responsive page for academic websites on Hexo, crafted from academicpages on Jekyll.
Yibo-Dong/clang
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project