jepsen-io/elle
@jepsen-ioサイクル検出に基づくブラックボックス・トランザクション安全性チェッカー
スター
702
フォーク
40
言語
Isabelle
ライセンス
EPL-2.0
最終プッシュ
3 週間前
関連 Intel(0)
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
サイクル検出に基づくブラックボックス・トランザクション安全性チェッカー
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。