From: Luke Kenneth Casson Leighton Date: Wed, 15 Jul 2020 12:21:21 +0000 (+0100) Subject: missed bracket X-Git-Tag: convert-csv-opcode-to-binary~2343 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a7724d6cab9add78af708b4bd1b77bb9f0641a55;p=libreriscv.git missed bracket --- diff --git a/Documentation/notes_on_formal_proofs.mdwn b/Documentation/notes_on_formal_proofs.mdwn index 8c6091885..01966058c 100644 --- a/Documentation/notes_on_formal_proofs.mdwn +++ b/Documentation/notes_on_formal_proofs.mdwn @@ -13,8 +13,8 @@ In the discussion below, I'll be referring to the following URLs: ## Pipeline Stage Architecture A pipeline stage appears to have the following overall architecture -(there will almost certainly be exceptions to this that I'm not familiar with -lkcl: no, there are absolutely none. no exceptions. at all. this is +(there will almost certainly be exceptions to this that I'm not familiar with). +(lkcl: no, there are absolutely none. no exceptions. at all. this is because there is a defined API): (from previous stage)