Yannick Reiß e0c7116486 Proof of memory safety in main function.		2023-09-23 16:10:26 +02:00
..
include	Add functions to compile programs for logisim	2023-09-22 15:12:17 +02:00
src	minor changes for memory safety.	2023-09-23 16:10:01 +02:00
.gitignore	Add gitignore file	2023-09-22 15:22:16 +02:00
Makefile	Change name of executable	2023-09-22 15:11:44 +02:00
proof.md	Proof of memory safety in main function.	2023-09-23 16:10:26 +02:00
test.bf	Add example file.	2023-09-21 07:46:34 +02:00