Searched refs:camkes_hash (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Dhash.py33 def camkes_hash(value): function
72 h = hash_extend(h, camkes_hash(v))
83 h = hash_extend(h, camkes_hash(m[k]))
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dbase.py19 from camkes.internal.hash import camkes_hash namespace
143 return camkes_hash((k, v) for k, v in self.__dict__.items()

Completed in 31 milliseconds