Skip to content

Actions: SpencerL-Y/SELO

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bug fixed: simplify usage
Early warning on push #31: Commit 161a16c pushed by SpencerL-Y
July 4, 2024 14:02 19m 20s main
July 4, 2024 14:02 19m 20s
add encoding for memleak
Early warning on push #30: Commit f3f203a pushed by SpencerL-Y
July 4, 2024 13:23 18m 27s main
July 4, 2024 13:23 18m 27s
TODO: replace dynamic allocation, add deallocated obj2tc translation
Early warning on push #29: Commit b905881 pushed by SpencerL-Y
July 3, 2024 14:43 17m 56s main
July 3, 2024 14:43 17m 56s
Upload Release Asset
Upload Release Asset #9: Scheduled
July 1, 2024 06:07 21m 50s main
July 1, 2024 06:07 21m 50s
update
Early warning on push #28: Commit 5aae9bb pushed by SpencerL-Y
June 28, 2024 02:00 18m 11s main
June 28, 2024 02:00 18m 11s
update
Early warning on push #27: Commit f309375 pushed by SpencerL-Y
June 27, 2024 18:23 18m 47s main
June 27, 2024 18:23 18m 47s
add bound check
Early warning on push #26: Commit 796690b pushed by SpencerL-Y
June 25, 2024 16:32 17m 51s main
June 25, 2024 16:32 17m 51s
Upload Release Asset
Upload Release Asset #8: Scheduled
June 24, 2024 06:06 17m 47s main
June 24, 2024 06:06 17m 47s
update
Early warning on push #25: Commit 97f0092 pushed by SpencerL-Y
June 21, 2024 09:57 17m 28s main
June 21, 2024 09:57 17m 28s
add heap_contains
Early warning on push #24: Commit 9417bdf pushed by SpencerL-Y
June 21, 2024 09:08 17m 36s main
June 21, 2024 09:08 17m 36s
add value set assignment for mem
Early warning on push #23: Commit faf1e17 pushed by SpencerL-Y
June 19, 2024 07:50 18m 27s main
June 19, 2024 07:50 18m 27s
Upload Release Asset
Upload Release Asset #7: Scheduled
June 17, 2024 06:06 21m 24s main
June 17, 2024 06:06 21m 24s
malloc basic semantic symex finished
Early warning on push #22: Commit 36719c2 pushed by SpencerL-Y
June 13, 2024 11:36 18m 4s main
June 13, 2024 11:36 18m 4s
update
Early warning on push #21: Commit 57acb84 pushed by SpencerL-Y
June 12, 2024 14:53 18m 31s main
June 12, 2024 14:53 18m 31s
Upload Release Asset
Upload Release Asset #6: Scheduled
June 10, 2024 06:06 20m 19s main
June 10, 2024 06:06 20m 19s
intheap and intloc added, uplus, points-to and emp added
Early warning on push #20: Commit 7880190 pushed by SpencerL-Y
June 6, 2024 15:36 17m 42s main
June 6, 2024 15:36 17m 42s
backup for symex change
Early warning on push #19: Commit df92ea9 pushed by SpencerL-Y
June 6, 2024 07:06 17m 57s main
June 6, 2024 07:06 17m 57s
Upload Release Asset
Upload Release Asset #5: Scheduled
June 3, 2024 06:06 21m 45s main
June 3, 2024 06:06 21m 45s
Upload Release Asset
Upload Release Asset #4: Scheduled
May 27, 2024 06:07 21m 33s main
May 27, 2024 06:07 21m 33s
slhv_convt_framework established
Early warning on push #18: Commit e10d054 pushed by SpencerL-Y
May 23, 2024 10:32 5h 58m 8s main
May 23, 2024 10:32 5h 58m 8s
Upload Release Asset
Upload Release Asset #3: Scheduled
May 20, 2024 06:06 25s main
May 20, 2024 06:06 25s
add compile
Early warning on push #17: Commit dae5f91 pushed by SpencerL-Y
May 14, 2024 10:42 14s main
May 14, 2024 10:42 14s
Upload Release Asset
Upload Release Asset #2: Scheduled
May 13, 2024 06:06 20s main
May 13, 2024 06:06 20s
update
Early warning on push #16: Commit c802c80 pushed by SpencerL-Y
May 9, 2024 10:49 15s main
May 9, 2024 10:49 15s
update
Early warning on push #15: Commit 6ac1287 pushed by SpencerL-Y
May 9, 2024 10:41 17s main
May 9, 2024 10:41 17s