Name		Name	Last commit message	Last commit date
Thesis		Thesis
benchmark_files		benchmark_files
sh_utils		sh_utils
src		src
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md

Repository files navigation

RISC-V_to_BTOR2

This repository contains my Bachelors Thesis and corresponding code.

Mind that the scripts in sh_utils need system-specific correct paths to function.

About

No description, website, or topics provided.

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages