Pinned Loading

1. ase_engine ase_engine Public

   A symbolic execution engine which works on a subset of RISC-V (compiled from a subset of C).

   C++ 1

2. SASE SASE Public

   A solver-aided symbolic execution engine which works on a subset of RISC-V.

   C 1

3. MCTED MCTED Public

   Multi-Core Tree Edit Distance Computation

   C++

4. selfie selfie Public

   Forked from cksystemsteaching/selfie

   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