2 Repositories
Rust souffle Libraries
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
treeedb treeedb makes it easier to start writing a source-level program analysis in Soufflé Datalog. First, treeedb generates Soufflé types and relati
16 Nov 30, 2022
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.
Welcome! This is the official repository for the Soufflé language project. The Soufflé language is similar to Datalog (but has terms known as records)
672 Dec 29, 2022