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).