Updates ddlog to be backwards compatible (fixes #423)
Updates ddlog to be backwards compatible (fixes #423)

sky-xu/deepdive,zifeishan/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,sky-xu/deepdive,zifeishan/deepdive,zifeishan/deepdive,HazyResearch/deepdive,shahin/deepdive,HazyResearch/deepdive,zifeishan/deepdive,zifeishan/deepdive,shahin/deepdive