yannickreiss
/
brainfuck_processor
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Proof

This commit is contained in:
Yannick Reiß 2023-09-24 08:51:16 +02:00
parent e0c7116486
commit 61baa3ebfc
No known key found for this signature in database
GPG Key ID: 5A3AF456F0A0338C
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bfpcompiler/proof.md
View File

@ -83,5 +83,3 @@ are implemented memory safe.
## Every program, which is accepted by the compiler without error is working on the processor. ## Every program, which is accepted by the compiler without error is working on the processor.
## The compiled binaries are working the same way as the provided code. ## The compiled binaries are working the same way as the provided code.
## The compiler is detecting any wrong argument or code.