ziqiaozhou's repositories
cryptominisat
An advanced SAT Solver - with JMC application
buildroot
Buildroot for generating rootfs
buildroot-artifact-2
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
examples
OSDI'24 rebuttal example
hacl-packages
The Cryspen HACL Distribution
hss-slice
PolarFire SoC hart software services
klee-old
KLEE Symbolic Virtual Machine
linux
Linux kernel source tree
llvm2smt
Experimental translation of llvm to smt.
opensbi
RISC-V Open Source Supervisor Binary Interface
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
riscv-boom-1
BOOM: Berkeley Out-of-Order Machine
rust-study
Some toy rust codes for studying rust
s2e-env
Your S2E project management tools
slice-docker
Dockerfile for building slice-hss
stp
Simple Theorem Prover.
vale
Verified Assembly Language for Everest
verus
Verified Rust for low-level systems code
z3
The Z3 Theorem Prover
ziqiaozhou.github.io
Ziqiao Zhou's Personal Website