注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. multiplex:使用交互式TUI在控制台中并行查看多个进程的输出-源码

  2. 多重 使用交互式TUI在控制台中并行查看多个进程的输出 安装 pip install multiplex # or better yet pipx install multiplex 需要Python 3.7或更高版本。 例子 并行执行命令 mp \ ' ./some-long-running-process.py --zone z1 ' \ ' ./some-long-running-process.py --zone z2 ' \ ' ./some-long-runn

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：46kb
    • 提供者：weixin_42123237

  1. symcc:SymCC-源码

  2. SymCC：基于编译器的高效符号执行 SymCC是一个编译器包装程序，它在编译期间将符号执行嵌入到程序中，以及一个关联的运行时支持库。从本质上讲，编译器插入的代码将为程序中的每个值计算符号表达式。实际的计算是在运行时通过调用支持库进行的。 要构建通行证和支持库，请确保已安装LLVM 8、9、10或11和Z3 4.5或更高版本，以及支持C ++ 17的C ++编译器。 （或者，有关使用提供的Dockerfile的信息，请参见下文。）确保提取QSYM代码： $ git submodule init

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：133kb
    • 提供者：weixin_42129412

  1. z3-源码

  2. 运动Z3轨迹 Z3 Z3是Microsoft Research的一个定理证明者。它是根据获得。 可从获得用于稳定和夜间发布的预构建二进制文件 。 对于这些练习，应使用带有Python绑定的Visual Studio构建Z3。 安装Z3 下载Python（如果尚未安装） 可以从下载最新版本的Python 安装时，请务必选中将Python添加到PATH的框 下载Visual Studio（如果尚未安装） 可从下载最新版本的Visual Studio 安装时，请选择Python开发工作负载 选中

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：12kb
    • 提供者：weixin_42116650

  1. template-proofs:PLDI'20纸的伪像-源码

  2. PLDI'20纸的工件：验证并发搜索结构模板 入门指南 该工件具有以下外部依赖性 OCaml版本4.07.1 OCaml Findlib版本1.8.1 ocamlbuild版本0.14.0 Coq版本8.11 Coq stdpp，版本coq-stdpp.dev.2020-03-18.1.846deb08 虹膜，版本coq-iris.dev.2020-03-21.0.ed3b52f9 GRASShopper，版本pldi_2020。 Z3，版本> = 4.5 满足所有OCam

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：93kb
    • 提供者：weixin_42113380

  1. neural-rewriter:学习执行局部重写以进行组合优化-源码

  2. 神经重写器 此仓库提供了重复本文中的实验的代码 Chen Xinyun Chen，Tian Yuandong Tian，学习为组合优化执行局部重写，在NeurIPS 2019中。 纸[ ] 先决条件 任务 表达式简化 为了简化表达式，给定一个初始表达式（在Halide中用于我们的评估），目标是找到一个等效的表达式，该表达式经过简化（例如，具有较短的长度）。 表现 我们将我们的方法（NeuRewriter）与以下基准进行比较： Z3简化[1]：Z3中实施的策略，该策略执行基于规则的重写。

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：447kb
    • 提供者：weixin_42120550

  1. z3-源码

  2. z3

  3. 所属分类：其它

  1. 排程器-源码

  2. 约束稳定调度程序 依存关系 python （版本> = 3.7）-仅在3.8和3.9下进行了测试 z3 （可以通过pip pip3 install z3-solver ） 文件架构 scheduler.py入口点程序 其它文件： config.py用于生成所有可能时间的基本配置 course.py课程类别定义 room.py房间类别的定义 day.py天枚举定义 time_slot.py - time_slot.py类定义以及其他时间资源 lab.py实验室类定义 identifiabl

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：11kb
    • 提供者：weixin_42134878

  1. rpr-t1-z3-源码

  2. rpr-t1-z3

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：30kb
    • 提供者：weixin_42108778

  1. EFI-华擎Z390-Phantom-Gaming-ITX：华擎Z390 Phantom Gamming ITX for Hackintosh的EFI-源码

  2. EFI-华擎Z390-Phantom-Gaming-ITX 适用于Hackintosh的Asrock Z3​​90 Phantom Gamming ITX的EFI 操作系统版本 大苏尔11.2.2 OpenCore版本 0.6.6 硬件规格 物品 品牌 评论 中央处理器 母板 BIOS版本 4.40摄氏度 记忆 金士顿DDR4 3200 16GB单 固态硬盘 iGPU iGPU英特尔UHD 630 显示卡 WiFi /蓝牙模块 BCM943602CD 电源供应器 案子 监视器

  3. 所属分类：其它

    • 发布日期：2021-02-27
    • 文件大小：68mb
    • 提供者：weixin_42099987

  1. 矮人：二进制分析工具-源码

  2. 矮人 read-dwarf是使用DWARF调试信息来探索，符号执行和验证从C生成的ELF二进制文件的工具。 它正在进行中，目前尚未准备好供外部使用。 依存关系 建立依赖 有一个不依赖于opam的依赖项： isla-lang 。 转到并安装最新版本。 opam install . 应该在那里工作。 然后，您可以使用opam和opam install . read-dwarf的默认配置opam install . 或仅使用opam install --deps-only .安装其他依赖opam i

  3. 所属分类：其它

  1. 咖啡因-源码

  2. 咖啡因-原型符号执行引擎 获取依赖 您需要根据您的vscode安装目录设置CMAKE_TOOLCHAIN_FILE变量。 完成后，您可以像通常生成生成系统一样运行cmake。 第一次构建将花费一些时间，因为它将构建所有依赖项并将它们安装在repo文件夹内的vcpkg_installed目录中。 一旦完成，您就不必再担心它了。 安装说明 苹果系统 安装自制软件按照的说明进行操作 使用自制软件安装依赖项brew update && brew install cmake boost llvm fmt

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：152kb
    • 提供者：weixin_42132598

  1. IF-utils：与互动小说相关的实用工具的小集合-源码

  2. IF-实用程序 与互动小说有关的实用程序的小集合。 all_lowercase_names.py 在首先检查这样做不会破坏任何现有文件之后，将目录中的所有文件扩展名都转换为小写。 对于偶尔尝试以agility玩AGT游戏Linux用户而言，这有时很有用。 用法： all_lowercase_names.py [dirname] 。 如果未指定dirname则在当前工作目录上运行。 ap2zc.py 从原始（256字节扇区）Apple II磁盘映像中提取Infocom故事文件（通常是.z3或

  3. 所属分类：其它

  1. 到达语言：到达：最安全，最简单的DApp编程语言-源码

  2. 抵达 我们正在构建下一代区块链开发平台，它将完全改变去中心化应用程序（DApp）开发的范式。 DApp具有巨大的潜力，但由于壁垒使区块链开发具有风险，并且仅限于密码学家等专家，因此DApps如今不切实际。 Reach平台是一个全面的环境，使初级开发人员无需多年的经验即可构建有用且安全的DApp，并将其轻松部署在各种不同的区块链网络上。 该存储库适用于Reach语言，Reach平台使用的特定于域的语言，用于可信赖的DApp。 阅读。 发展 如果要使用Reach编译器，则需要： 堆栈v2.5

  3. 所属分类：其它

  1. tardis：TARDIS一致测试用例生成器-源码

  2. 塔迪斯 关于 TARDIS（以机械方式驱动的动态符号执行）是针对Java程序的自动测试用例生成器，旨在实现较高的分支覆盖率。 它利用一种称为动态符号（又名“ concolic”）执行的技术，来替代由符号执行器执行的符号执行以及测试用例生成，该测试用例通过使用测试用例生成器查找符号执行路径约束的解决方案来执行。 TARDIS旨在保留的主要优势，同时在缺少不变式信息的情况下提高性能。 安装TARDIS 现在，只能通过从源代码构建来安装TARDIS。 当TARDIS具有更强的功能性和稳定性时，将可

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：40mb
    • 提供者：weixin_42134143

  1. 软件测试-源码

  2. 软件测试 在这个项目中，我负责查找减慢Z3和CVC4求解器的前三个语法构造。 给定int和real理论上z3和cvc4 smt求解器的输出，我发现每个公式中构造出现的次数与运行时间之间的关系。 然后使用皮尔逊相关性进行静力分析以计算相关系数；然后选择最高的三个结构。

  3. 所属分类：其它

    • 发布日期：2021-02-17
    • 文件大小：11kb
    • 提供者：weixin_42125770

  1. PunyInform：一个快速而紧凑的库，用于为在8位计算机以及其他平台上运行的Z机编写文本冒险游戏-源码

  2. Puny通知 PunyInform是一个用Inform 6编写的库，它使人们可以使用Z-machine虚拟机创建文本冒险游戏/交互式小说，并可以在8位计算机以及更新的平台上播放。 它提供了解析器，常用动词的实现以及编写文本冒险的框架。 PunyInform基于Graham Nelson开发的Inform 6库。 我们正在努力使习惯于Inform 6编写的作者开始使用PunyInform。 有一本手册描述了这些差异。 使用PunyInform的游戏可以编译为z3，z5和z8格式。 与Infor

  3. 所属分类：其它

  1. 单位推论-源码

  2. 单位推论 单位推断系统 依存关系 python 2.7，带有pip，并打包yaml和mozilla锂电： sudo apt-get install-是python python-pip python-yaml 点安装锂还原剂 微软z3 coq v8.8.0 测试指令 摇动测试 基准命令 ./run-benchmarks.sh 分析基准输出命令 ./analyze-corpus.sh

  3. 所属分类：其它

  1. dpcourse-hw：NEU的BU CS7880的CS 591 S1-源码

  2. 差异隐私硬件（dpcourse-hw） 对非私有差分算法的攻击。 这是“统计学和机器学习的隐私”课程（BU的CS 591 S1 / NEU的CS7880）的家庭作业的一部分。 该代码演示了一种攻击，该攻击能够以非常不安全的方式恢复很大一部分“私人”信息。 安装 该存储库是一个项目，因此，从理论上讲，获取所有依赖项应该与运行poetry shell一样容易。 但是，某些软件包依赖于C库（尤其是jupyter和z3-solver ），因此您还需要确保已安装以下软件包： libzmq （ ，J

  3. 所属分类：其它

  1. SatSpaceExpo：通过采样探索SAT问题空间-源码

  2. SNAP用于构建非常小的测试套件 此回购包含SNAP的来源，SNAP是用于构建非常小的测试套件的工具。 安装 步骤1.下载并设置Z3求解器 我们在实验期间使用了 ，但较新的版本可能会更快。 wget https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz tar -xzf z3-4.8.4.tar.gz # follow steps in README.md inside the z3-4.8.4 like following... pyt

  3. 所属分类：其它

  1. 检查器-源码

  2. CWE-468 检测到CWE-468的分析器：不正确的指针缩放 用于C和C ++项目 该分析仪可以帮助您检测CWE-468指针缩放错误 C ++ 17版本必须为或更高版本使用之前，您需要从安装z3 用法： 开始检测打印./CWE468 要获取帮助，请打印./CWE468 -h

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：61mb
    • 提供者：weixin_42170064
« 12 »