メインコンテンツへスキップ
buildradar
Sign in

jepsen-io/elle

@jepsen-io

サイクル検出に基づくブラックボックス・トランザクション安全性チェッカー

スター
702
フォーク
40
言語
Isabelle
ライセンス
EPL-2.0
最終プッシュ
3 週間前
Isabelle

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。