yannickreiss ba7f2d8394 Prevent null arguments through command line

2023-09-26 07:33:09 +02:00

..

include

Add functions to compile programs for logisim

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

src

Prevent null arguments through command line

2023-09-26 07:33:09 +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

2023-09-24 08:51:16 +02:00

test.bf

Add example file.

2023-09-21 07:46:34 +02:00