Mnemonic names in compiled output

HazyResearch / ddlog

Compiler for writing DeepDive applications in a Datalog-like language — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👇🏿

https://github.com/HazyResearch/deepdive/tree/master/compiler/ddlog

19 stars 4 forks source link

Mnemonic names in compiled output #61

Closed netj closed 9 years ago

netj commented 9 years ago

Fixes HazyResearch/deepdive#411 and #50 by compiling with stable names, so user can combine them with custom pipelines in deepdive.conf or refer to them from other tools.

feiranwang commented 9 years ago

Nice changes. Merging.