RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

umm.py: no memoization

Browse Source 
Memoization is not worth it here, the runtime of the entire program
is tiny. Removing the comment to curb temptations in the future.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2021-08-23 17:54:26 +10:00
committed by Gerwin Klein
parent 2836310f9a
commit 3398c01ee9
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tools/umm.py
View File

@@ -75,11 +75,10 @@ def is_base(x):
def base_name(x):
return x[1]
# This assumes that membership is a DAG which is the case in C
# We could memoize, doesn't seem worth it ...
def paths_to_type(mp, f, start):
# This assumes that membership is a DAG which is the case in C
def handle_one(fld):
name, tp = fld
if f(tp):