|
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
|