搜索资源 - DDlog - 点数信息

搜索资源列表

dddp：DDlog Dataplane实验-源码
P4 ++骨架这里还没有任何有用的东西。它是骨骼。无论如何，这里是说明。建立dddp 获取子模块： git submodule update --init 安装protobuf编译器： $ cargo install protobuf-codegen 安装gRPC编译器： $ cargo install grpcio-compiler 建立： cargo build 编译bmv2 simple_switch_grpc 我必须先应用以下修补程序，然后该修补程序才能正常工作。 M
所属分类：其它
- 发布日期：2021-02-10
- 文件大小：129kb
- 提供者：weixin_42121725

ddlog-lsp：DDlog的语言服务器实现-源码
ddlog-lsp DDlog的语言服务器实现状态服务器仍处于早期状态。它是可用的，但尚未实现许多高级功能。用法该服务器尚未发布稳定版本。如果您想同时进行试验，可以在本地构建和安装它。安装服务器预建的二进制文件安装服务器的最简单方法是获取中的预构建二进制文件之一。从源头建造首先确保您已安装，然后按以下步骤进行： git clone https://github.com/ddlog-lsp/ddlog-lsp cd ddlog-lsp cargo xtask init c
所属分类：其它
- 发布日期：2021-02-10
- 文件大小：53kb
- 提供者：weixin_42102272

差异数据记录：一种增量编程语言-源码
差分数据记录（DDlog） DDlog是一种用于增量计算的编程语言。非常适合编写响应输入更改而不断更新其输出的程序。使用DDlog，程序员无需担心编写增量算法。相反，它们使用Datalog的方言以声明方式指定所需的输入-输出映射。然后，DDlog编译器综合有效的增量实现。 DDlog基于出色的库。 DDlog具有以下关键属性：关系：DDlog程序将一组输入关系（或表）转换为一组输出关系。因此，它非常适合用于关系数据的应用程序，从实时分析到云管理系统和静态程序分析工具。面向数
所属分类：其它
- 发布日期：2021-02-05
- 文件大小：69mb
- 提供者：weixin_42171208