Skip to content

Actions: S2E/s2e

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
88 workflow runs
88 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Run CGC binaries on vanilla Linux with user mode syscall emulation
Check code style #162: Pull request #100 synchronize by vitalych
June 2, 2024 11:10 1m 12s issue/503-cgc
June 2, 2024 11:10 1m 12s
Run CGC binaries on vanilla Linux with user mode syscall emulation
Build libs2e.so #60: Pull request #100 synchronize by vitalych
June 2, 2024 11:10 18m 0s issue/503-cgc
June 2, 2024 11:10 18m 0s
Run CGC binaries on vanilla Linux with user mode syscall emulation
Build libs2e.so #59: Pull request #100 opened by vitalych
June 2, 2024 11:00 19m 0s issue/503-cgc
June 2, 2024 11:00 19m 0s
Run CGC binaries on vanilla Linux with user mode syscall emulation
Check code style #161: Pull request #100 opened by vitalych
June 2, 2024 11:00 1m 2s issue/503-cgc
June 2, 2024 11:00 1m 2s
libs2e: bugfix handling of S2E_MAX_PROCESS env
Check code style #160: Pull request #98 opened by m4mbr3
May 2, 2024 09:34 1m 10s m4mbr3:master
May 2, 2024 09:34 1m 10s
libs2e: bugfix handling of S2E_MAX_PROCESS env
Build libs2e.so #58: Pull request #98 opened by m4mbr3
May 2, 2024 09:34 17m 46s m4mbr3:master
May 2, 2024 09:34 17m 46s
More dependency fixes and upgrades
Check code style #159: Pull request #97 synchronize by vitalych
April 20, 2024 15:28 1m 5s issue/265-deps
April 20, 2024 15:28 1m 5s
More dependency fixes and upgrades
Build libs2e.so #57: Pull request #97 synchronize by vitalych
April 20, 2024 15:28 18m 2s issue/265-deps
April 20, 2024 15:28 18m 2s
More dependency fixes and upgrades
Check code style #158: Pull request #97 synchronize by vitalych
April 20, 2024 15:18 1m 1s issue/265-deps
April 20, 2024 15:18 1m 1s
More dependency fixes and upgrades
Build libs2e.so #56: Pull request #97 synchronize by vitalych
April 20, 2024 15:18 18m 12s issue/265-deps
April 20, 2024 15:18 18m 12s
More dependency fixes and upgrades
Check code style #157: Pull request #97 opened by vitalych
April 20, 2024 14:50 1m 0s issue/265-deps
April 20, 2024 14:50 1m 0s
More dependency fixes and upgrades
Build libs2e.so #55: Pull request #97 opened by vitalych
April 20, 2024 14:50 17m 33s issue/265-deps
April 20, 2024 14:50 17m 33s
fix: error: '_Noreturn' does not name a type
Build libs2e.so #54: Pull request #96 synchronize by vitalych
April 20, 2024 14:24 18m 23s milahu:patch-1
April 20, 2024 14:24 18m 23s
fix: error: '_Noreturn' does not name a type
Check code style #156: Pull request #96 synchronize by vitalych
April 20, 2024 14:24 1m 5s milahu:patch-1
April 20, 2024 14:24 1m 5s
fix: error: '_Noreturn' does not name a type
Check code style #155: Pull request #96 opened by milahu
April 15, 2024 09:52 1m 3s milahu:patch-1
April 15, 2024 09:52 1m 3s
fix: error: '_Noreturn' does not name a type
Build libs2e.so #53: Pull request #96 opened by milahu
April 15, 2024 09:52 18m 42s milahu:patch-1
April 15, 2024 09:52 18m 42s
Use system packages
Build libs2e.so #52: Pull request #95 synchronize by vitalych
April 14, 2024 11:02 18m 10s issue/depclean
April 14, 2024 11:02 18m 10s
Use system packages
Check code style #154: Pull request #95 synchronize by vitalych
April 14, 2024 11:02 59s issue/depclean
April 14, 2024 11:02 59s
Use system packages
Check code style #153: Pull request #95 opened by vitalych
April 14, 2024 10:41 1m 2s issue/depclean
April 14, 2024 10:41 1m 2s
Use system packages
Build libs2e.so #51: Pull request #95 opened by vitalych
April 14, 2024 10:41 18m 25s issue/depclean
April 14, 2024 10:41 18m 25s
Update s2e.asm to fix stack imbalance
Check code style #152: Pull request #91 synchronize by yype
April 13, 2024 23:10 1m 5s yype:patch-1
April 13, 2024 23:10 1m 5s
Update s2e.asm to fix stack imbalance
Build libs2e.so #50: Pull request #91 synchronize by yype
April 13, 2024 23:10 19m 55s yype:patch-1
April 13, 2024 23:10 19m 55s
makefile: use system gtest
Build libs2e.so #47: Pull request #93 synchronize by vitalych
April 13, 2024 22:40 18m 37s issue/gtest
April 13, 2024 22:40 18m 37s
makefile: use system gtest
Check code style #149: Pull request #93 synchronize by vitalych
April 13, 2024 22:40 1m 3s issue/gtest
April 13, 2024 22:40 1m 3s
makefile: use system gtest
Check code style #148: Pull request #93 opened by vitalych
April 13, 2024 22:38 1m 6s issue/gtest
April 13, 2024 22:38 1m 6s