souffle-lang/souffle

Soufflé は、ホーン節で解析を作成するツール設計者向けの Datalog のバリアントです。論理仕様からネイティブな並列 C++ プログラムを合成します。

↗ GitHub で開く

スター

1,155

フォーク

242

言語

C++

ライセンス

UPL-1.0

最終プッシュ

2 か月前

C++logic-programming static-code-analysis datalog souffle translator

関連 Intel はまだありません

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