From 916b9c6ea2d35862a8a702437569ca6c7b96eaa8 Mon Sep 17 00:00:00 2001 From: lkcl Date: Mon, 28 Feb 2022 13:52:28 +0000 Subject: [PATCH] --- lkcl.mdwn | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/lkcl.mdwn b/lkcl.mdwn index 9de5cb06b..796112b89 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -46,7 +46,7 @@ move things along from one stage to the next - MUL proof - EUR 50, shared with samuel 10% - DIV proof - - SHIFTROT proof + - Compunit RA=0 test - SPR proof - EUR 50, shared with samuel (EUR 350) @@ -75,9 +75,15 @@ TO SORT 28feb2022 - icache + * EUR 1500 (shared with [[tplaten]]) - dcache + * EUR 1500 (shared with [[tplaten]]) - mmu + * EUR 1000 (shared with [[tplaten]]) - MUL Formal (donated) + * EUR 500 (shared with [[programmerjake]]) + - SHIFTROT proof + * EUR 400 (shared with [[programmerjake]]) before that -- 2.30.2