From 5b3c9a61becb172ac6d8cc48788a500caa068e57 Mon Sep 17 00:00:00 2001 From: yannickreiss Date: Thu, 5 Oct 2023 12:48:25 +0200 Subject: [PATCH] Add repo location to README --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index d651e3d..d243b09 100644 --- a/README.md +++ b/README.md @@ -92,4 +92,10 @@ The proofs cover three claims: - The compiler is working absolutely memory safe - Every program accepted by the compiler is a valid brainfuck program -- The compiled program is working in the same way, as the entered brainfuck code \ No newline at end of file +- The compiled program is working in the same way, as the entered brainfuck code + +## Repository location + +The original repository with the most recent code is located at [My personal gitlab](https://gitlab.schnick.duckdns.org/schnick/bfpu). + +As this instance has some problems with staying online, the master-branch is mirrored to Github at [this repository](https://github.com/yannickreiss/brainfuck_processor).