Name		Name	Last commit message	Last commit date
Latest commit History 324 Commits
include		include
libs		libs
test		test
.clang-format		.clang-format
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
README.md		README.md
run.sh		run.sh
scratch.md		scratch.md

Repository files navigation

NvmFlow Checkers

Pair checker

ensures a location in memory and its sentinel location is not written within the same epoch

Durability checker/Double flush

ensures that a selected field always point to a location that is on PM

Log/libpmemobj checker/Double Log

ensures that locations are logged before doing modifications

About

llvm based dataflow

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

C++ 71.3%
C 27.3%
Other 1.4%