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

Add repo location to README

This commit is contained in:
Yannick Reiß 2023-10-05 12:48:25 +02:00
parent 63450af6ab
commit 5b3c9a61be
No known key found for this signature in database
GPG Key ID: 5A3AF456F0A0338C
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

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