Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
-
Updated
Jul 3, 2024 - C++
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
A tool for analyzing LLVM bitcode using Datalog.
Haskell bindings for the Souffle datalog language
BYU CS 236 Discrete Math Projects.
Four-Valued Reasoning System
(2021) A compiler for Datalog code using finite state automata by Dallin Stewart
Fixing static analysis violations in Java source code using Datalog
Add a description, image, and links to the datalog topic page so that developers can more easily learn about it.
To associate your repository with the datalog topic, visit your repo's landing page and select "manage topics."