From 61baa3ebfc1314ef720b8b3b7c09ae208fc1385d Mon Sep 17 00:00:00 2001 From: yannickreiss Date: Sun, 24 Sep 2023 08:51:16 +0200 Subject: [PATCH] Proof --- bfpcompiler/proof.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/bfpcompiler/proof.md b/bfpcompiler/proof.md index 45a43b9..dbc3e96 100644 --- a/bfpcompiler/proof.md +++ b/bfpcompiler/proof.md @@ -83,5 +83,3 @@ are implemented memory safe. ## 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 compiler is detecting any wrong argument or code. \ No newline at end of file