vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
MIT License
1.38k stars 118 forks source link

OVN integration TODOs #85

Open ryzhyk opened 6 years ago

ryzhyk commented 6 years ago

TODO list for DDlog/OVN integration:

HehuaTang commented 4 years ago

when will be this feature released?

ryzhyk commented 4 years ago

There is a functional implementation of OVN northd in DDlog in a branch: https://github.com/ovn-org/ovn/tree/ddlog-dev-v2 (see documentation here: https://github.com/ovn-org/ovn/tree/ddlog-dev-v2/northd/docs). However not all recent northd features have been ported to DDlog and it is not part of an official OVN release. I am hoping both issues will be resolved sometime soon, but I am not an OVN maintainer, so can't make any promises.

HehuaTang commented 4 years ago

Thanks