Direct-to-Datalog

Repository for generating end-to-end Datalog fact generation and analysis using declarative program transformation. Part of in-submission manuscript.

• Install comby version 1.7.0.
  • brew install comby on Mac OS X
  • See instructions for other platforms or building from source.

Layout

• fact-gen-scripts for scripts to generate facts with comby, and data used in the manuscript
• call-graph-scripts for running comby and callvis, and generating visual graphs used in the manuscript
• souffle-scripts for running souffle Datalog queries against generated comby facts