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.
Fix aggregate hoisting issues that caused infinite loops
1.6.1
4 years ago
Allow building of source releases generated by GitHub
1.6.0
4 years ago
Low Level Machine Interpreter for improved non-synthesised performance (XiaowenHu96,HerbertJordan)
Provenance support for negation and equivalence relations (taipan-snake)
New semantics for RAM (b-scholz)
Stratified RAM Analysis interfaces (b-scholz)
New RAM Transformations: expand/collapsing conditions of filters, hoisting
of conditions, index transformation to utilize index operations,
if-conversions (converting scans to existence operations if possible), Choice
conversion, hoisting aggregates, and parallelization (dcol97)
Meta-transformers for RAM (sequence/loop/conditional) (b-scholz)
Add RAM transform support to debug report (rdowavic)