adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

riscv aspec: sync max_untyped_size with Haskell/C

This commit is contained in:
Gerwin Klein 2019-07-03 20:06:31 +10:00
parent 4422d1ecca
commit 6dd45e2d5f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/abstract/RISCV64/Arch_Structs_A.thy
View File

@ -156,7 +156,7 @@ definition untyped_min_bits :: nat
definition untyped_max_bits :: nat
where
"untyped_max_bits \<equiv> 47"
"untyped_max_bits \<equiv> 38"
primrec arch_kobj_size :: "arch_kernel_obj \<Rightarrow> nat"
where