microsoft's
repositories
|
.azure-pipelines-templates
|
.devcontainer
|
.gdn
|
.github
|
.vscode
|
3rdparty
|
cmake
|
doc
|
docker
|
edl
|
getting_started
|
include
|
js
|
python
|
samples
|
scripts
|
src
|
tests
|
tla
|
.azure-pipelines-gh-pages.yml
|
.azure-pipelines-model-checking.yml
|
.azure-pipelines-release.yml
|
.azure-pipelines.yml
|
.azure_pipelines_snp.yml
|
.backportrc.json
|
.clang-format
|
.cmake-format.py
|
.daily.yml
|
.daily_canary
|
.dockerignore
|
.gitattributes
|
.gitconfig
|
.gitignore
|
.model_checking_canary
|
.multi-thread.yml
|
.prettierignore
|
.ruff.toml
|
.snpcc_canary
|
.stress.yml
|
.threading_canary
|
CCF-PAPER-VLDB-2023.pdf
|
CCF-TECHNICAL-REPORT.pdf
|
CHANGELOG.md
|
CMakeLists.txt
|
Doxyfile
|
LICENSE
|
README.md
|
SECURITY.md
|
THIRD_PARTY_NOTICES.txt
|
cgmanifest.json
|
livehtml.sh
|
metrics.yml
|
tsan_env_suppressions
|