Skip to content

Actions: rhythm16/master_thesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add defense chat build pdf #77: Commit 4a74f37 pushed by rhythm16
March 9, 2024 10:42 3m 9s main
main
March 9, 2024 10:42 3m 9s
move down the signature again build pdf #76: Commit 5e1e46d pushed by rhythm16
July 27, 2023 05:22 5m 3s main
main
July 27, 2023 05:22 5m 3s
fix wrong signature page number in toc build pdf #75: Commit e1b2d93 pushed by rhythm16
July 27, 2023 03:38 3m 46s main
main
July 27, 2023 03:38 3m 46s
make pdf depend on cls file as well build pdf #74: Commit bef1223 pushed by rhythm16
July 25, 2023 13:00 4m 26s main
main
July 25, 2023 13:00 4m 26s
fix misc typos and English build pdf #73: Commit 3dd2e99 pushed by rhythm16
July 24, 2023 07:08 3m 40s main
main
July 24, 2023 07:08 3m 40s
tweak acknowledgement build pdf #72: Commit 122dd89 pushed by rhythm16
July 24, 2023 03:49 4m 18s main
main
July 24, 2023 03:49 4m 18s
add acknowledgement build pdf #71: Commit ed7d44d pushed by rhythm16
July 23, 2023 17:06 4m 44s main
main
July 23, 2023 17:06 4m 44s
tweak Chinese abstract wording build pdf #70: Commit 350e079 pushed by rhythm16
July 23, 2023 13:25 3m 54s main
main
July 23, 2023 13:25 3m 54s
use Chinese acknowledgement build pdf #69: Commit 8fcef33 pushed by rhythm16
July 23, 2023 06:14 4m 34s main
main
July 23, 2023 06:14 4m 34s
fix signature page build pdf #68: Commit 560ab40 pushed by rhythm16
July 23, 2023 06:07 4m 10s main
main
July 23, 2023 06:07 4m 10s
add more keywords build pdf #67: Commit c454df8 pushed by rhythm16
July 22, 2023 13:40 4m 7s main
main
July 22, 2023 13:40 4m 7s
tweak Chinese abstract wording build pdf #66: Commit 2dca5e1 pushed by rhythm16
July 22, 2023 10:02 4m 5s main
main
July 22, 2023 10:02 4m 5s
move verification tools from fw to rw, and simplify verification tool… build pdf #65: Commit eefc686 pushed by rhythm16
July 21, 2023 15:34 3m 34s main
main
July 21, 2023 15:34 3m 34s
merge Rust advantage paragraph with KrustVM description in intro build pdf #64: Commit 19f5681 pushed by rhythm16
July 20, 2023 17:10 3m 29s main
main
July 20, 2023 17:10 3m 29s
move DOI to foreground build pdf #63: Commit c7ba4e7 pushed by rhythm16
July 20, 2023 14:50 4m 38s main
main
July 20, 2023 14:50 4m 38s
describe more on SeKVM and discuss why autoverification tools provide… build pdf #62: Commit 5c0a4b0 pushed by rhythm16
July 20, 2023 07:20 3m 39s main
main
July 20, 2023 07:20 3m 39s
revise verification related work to clarify KrustVM guarantees and li… build pdf #61: Commit 553b207 pushed by rhythm16
July 18, 2023 11:20 3m 38s main
main
July 18, 2023 11:20 3m 38s
simplify verification discussion build pdf #60: Commit 2639691 pushed by rhythm16
July 17, 2023 09:29 4m 0s main
main
July 17, 2023 09:29 4m 0s
move original discussion into verification related work build pdf #59: Commit f317be7 pushed by rhythm16
July 17, 2023 09:09 3m 37s main
main
July 17, 2023 09:09 3m 37s
be specific about what Rust "guarantees" in abstract and intro build pdf #58: Commit 55546a1 pushed by rhythm16
July 17, 2023 08:53 3m 56s main
main
July 17, 2023 08:53 3m 56s
tone-down what a Rust implementation achieves build pdf #57: Commit c9bb01a pushed by rhythm16
July 13, 2023 10:34 4m 38s main
main
July 13, 2023 10:34 4m 38s
add CertiKOS to related work build pdf #56: Commit f1c9833 pushed by rhythm16
July 13, 2023 09:33 3m 51s main
main
July 13, 2023 09:33 3m 51s
fix discussion English build pdf #55: Commit d7f686d pushed by rhythm16
July 12, 2023 15:40 4m 16s main
main
July 12, 2023 15:40 4m 16s
add seL4 in related work build pdf #54: Commit 32e315e pushed by rhythm16
July 12, 2023 15:25 4m 25s main
main
July 12, 2023 15:25 4m 25s
tweak evaluation build pdf #53: Commit 26998c0 pushed by rhythm16
July 3, 2023 17:44 3m 45s main
main
July 3, 2023 17:44 3m 45s