https://github.com/comby-tools/direct-to-datalog

https://github.com/comby-tools/direct-to-datalog

Last synced: 3 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/comby-tools/direct-to-datalog
• Owner: comby-tools
• License: apache-2.0
• Created: 2021-09-21T05:57:32.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2021-09-23T01:29:14.000Z (about 4 years ago)
• Last Synced: 2025-04-11T12:52:32.559Z (6 months ago)
• Language: Shell
• Size: 15.8 MB
• Stars: 6
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Direct-to-Datalog

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5520885.svg)](https://doi.org/10.5281/zenodo.5520885)

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](https://github.com/comby-tools/comby#install-pre-built-binaries) 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