Add support for array indexing

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

Add support for array indexing #81

Closed feiranwang closed 8 years ago

feiranwang commented 8 years ago

Updated. PTAL.

netj commented 8 years ago

LGTM

Colossus commented 8 years ago

Hi @netj do you perhaps know if this is in the latest version? I just pulled deepdive master and recompiled, but array indexing doesn't seem to work

feiranwang commented 8 years ago

@Colossus Perhaps it's because ddlog submodule is not updated in deepdive master. Maybe you can try pull ddlog master. I'll update ddlog submodule in deepdive.

Colossus commented 8 years ago

OK yeah this works. I updated the ddlog submodule manually and it seems to work great. Thanks!

feiranwang commented 8 years ago

By the way, the submodule is updated in deepdive's docathon-v0.8 branch.