yannickreiss b21949e38f Remove Vivado files

2023-10-05 15:44:59 +02:00

..

.Xil/Vivado-33785-lilith

Presentable program

2023-10-05 15:43:55 +02:00

include

Add functions to compile programs for logisim

2023-09-22 15:12:17 +02:00

src

Presentable program

2023-10-05 15:43:55 +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

Addition to proof of correctness

2023-10-04 10:06:58 +02:00

test.bf

Example program

2023-10-05 15:02:40 +02:00