Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / seahorn/verifytrusty issues and pull requests

#21 - WIP ipc verification

Pull Request - State: open - Opened by priyasiddharth over 1 year ago - 1 comment

#20 - remodel build system and trusty ipc handle table

Pull Request - State: open - Opened by LinerSu about 2 years ago

#19 - port_send_msg verification hangs in cex mode with handle_type_is_ptr=on

Issue - State: open - Opened by priyasiddharth over 2 years ago - 1 comment

#17 - refactor(ipc): remove unused handle table codes

Pull Request - State: closed - Opened by LinerSu over 2 years ago

#16 - feat(handle_t): redef handle_t as pointer

Pull Request - State: closed - Opened by priyasiddharth over 2 years ago - 4 comments

#15 - feat(handle_t): redef handle_t as pointer

Pull Request - State: closed - Opened by priyasiddharth over 2 years ago

#14 - feat(docker): add libraries for 32-bit compile

Pull Request - State: closed - Opened by priyasiddharth over 2 years ago

#13 - fix: Change arg for stdlib

Pull Request - State: closed - Opened by priyasiddharth over 2 years ago

#12 - Adapt new IPC into verification jobs

Pull Request - State: closed - Opened by LinerSu over 3 years ago

#11 - feat:initial attempts to test tipc;please provide gental feedback

Pull Request - State: open - Opened by YuyanBao over 3 years ago

#10 - Add more implementation & proofs for trusty API

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 2 comments

#9 - IPC libc trusty proof (1)

Pull Request - State: closed - Opened by LinerSu over 3 years ago

#8 - Cover Gatekeeper IPC

Pull Request - State: closed - Opened by LinerSu over 3 years ago

#7 - Refactor repo based on trustlet

Pull Request - State: closed - Opened by LinerSu over 3 years ago

#6 - cleanup(stubs): move trusty_msg.c into trusty_api_override lib

Pull Request - State: closed - Opened by danblitzhou over 3 years ago - 1 comment

#5 - Adapt trivial things

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 2 comments

#4 - fix(docker): add deps for libc++

Pull Request - State: closed - Opened by danblitzhou over 3 years ago

#3 - Gatekeeper ipc

Pull Request - State: closed - Opened by danblitzhou over 3 years ago - 1 comment

#2 - add ipc loop stubs

Pull Request - State: closed - Opened by LinerSu over 3 years ago - 1 comment

#1 - Refactor Verify Trusty

Pull Request - State: closed - Opened by LinerSu almost 4 years ago