跳到主要内容
buildradar
登录

jepsen-io/elle

@jepsen-io

基于循环检测的黑盒式事务安全性检查器

星数
702
Fork 数
40
语言
Isabelle
许可
EPL-2.0
最后推送
3周前
Isabelle

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。