Skip to content

Issues: kaist-cp/hafnium-verification

Refactoring: big picture.
#11 opened Jul 31, 2019 by efenniht
Open 1
Tracking unsafety statistics
#56 opened Sep 17, 2019 by efenniht
Open 5
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 28 Closed
28 Open 28 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Counting Unsafe
#84 opened Mar 26, 2021 by coolofficials
2
Tracking issue: apply refactorings to upstream
#79 opened Mar 15, 2020 by efenniht
6 tasks
@efenniht
Building HfO2 on Docker
#73 opened Jan 30, 2020 by efenniht
PageTable is unsafe
#70 opened Jan 7, 2020 by efenniht
Tracking issue: missing features of Rust for idiomatic refactoring of Hafnium
#69 opened Dec 11, 2019 by efenniht
fake -> cfg(test)?
#65 opened Sep 26, 2019 by jeehoonkang
@efenniht
mpool_enable_locks() does nothing
#60 opened Sep 22, 2019 by jeehoonkang
FdtNode<'static> is ... dangerous?
#59 opened Sep 20, 2019 by efenniht
1
Tracking unsafety statistics
#56 opened Sep 17, 2019 by efenniht
@efenniht
5
Refactor FDT
#54 opened Sep 11, 2019 by efenniht
변수 잘 초기화하기
#53 opened Sep 11, 2019 by efenniht
pCPU initialization order and boot_cpu_id
#51 opened Sep 11, 2019 by efenniht
Stack-consuming ArrayVec
#50 opened Sep 11, 2019 by efenniht
4
Refactor Stage2::invalidate_tlb not to read the singleton
#49 opened Sep 11, 2019 by efenniht
CStr related functions
#48 opened Sep 9, 2019 by efenniht
1
Make a custom target for unit test
#46 opened Sep 9, 2019 by efenniht
offset_of! is not working for {nested fields, type paths}
#40 opened Aug 29, 2019 by efenniht
1
Too many warnings
#38 opened Aug 27, 2019 by jeehoonkang
@efenniht
A trait generalizing MPool
#35 opened Aug 20, 2019 by efenniht
@jeehoonkang
1
vm.ptable.root is not locked but accessed
#30 opened Aug 19, 2019 by efenniht
@efenniht
3
Cross-language LTO
#25 opened Aug 16, 2019 by efenniht
Reading papers related to ours
#23 opened Aug 14, 2019 by efenniht
2
Upstream update priority-low
#19 opened Aug 11, 2019 by jeehoonkang
@efenniht
10
Organize types.rs
#16 opened Aug 1, 2019 by efenniht
Filename convention
#15 opened Aug 1, 2019 by efenniht
ProTip! Follow long discussions with comments:>50.