An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
翻译 - 一个教育性的软件系统，它包含一个微型的自编译C编译器，一个微型的自执行RISC-V仿真器以及一个微型的自托管RISC-V虚拟机管理程序。
Jupyter Notebook 2.42 k
8 天前
#计算机科学#Compositional Differentiable Programming Library
Python 1.02 k
19 小时前
A high-performance, parallel, compilation-based symbolic execution engine
Java 128
1 个月前
A symbolic Java virtual machine for program analysis, verification and test generation
Java 108
2 个月前
#计算机科学#Deep.Net machine learning framework for F#
F# 101
3 年前
Symbolic Execution Engine for Boogie
C# 29
3 年前
Rust 26
8 年前
Symbolic Execution Engine Modoki
Python 10
7 年前
Monster is a symbolic execution engine for 64-bit RISC-U code
Rust 10
16 天前
A small RISC-V symbolic execution engine
Go 8
2 年前
Java 3
6 年前
C# 3
6 年前
A HL Symbolic Execution Engine Prototype for Reachability
Python 0
2 年前
Artifact Evaluation, PLDI'20
0
5 年前