Skip to content

Actions: SpencerL-Y/SELO

Actions

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

add heap delete, change bug check encoding Early warning on push #52: Commit 8e148f3 pushed by SpencerL-Y
July 29, 2024 11:06 2h 55m 20s slhv_encoding
slhv_encoding
July 29, 2024 11:06 2h 55m 20s
Upload Release Asset Upload Release Asset #13: Scheduled
July 29, 2024 06:06 17m 47s main
main
July 29, 2024 06:06 17m 47s
add heap free Early warning on push #51: Commit e56a982 pushed by SpencerL-Y
July 28, 2024 10:36 1h 19m 49s slhv_encoding
slhv_encoding
July 28, 2024 10:36 1h 19m 49s
add encoding of heap_append and slicing Early warning on push #50: Commit 460c196 pushed by zhuyutian57
July 27, 2024 06:26 2h 52m 13s slhv_encoding
slhv_encoding
July 27, 2024 06:26 2h 52m 13s
add create value for heap append Early warning on push #49: Commit 734fb5c pushed by SpencerL-Y
July 26, 2024 06:27 2h 47m 40s slhv_encoding
slhv_encoding
July 26, 2024 06:27 2h 47m 40s
add definition of heap append Early warning on push #48: Commit 52cc112 pushed by SpencerL-Y
July 26, 2024 04:39 20m 17s slhv_encoding
slhv_encoding
July 26, 2024 04:39 20m 17s
set default points-to bytes(4) Early warning on push #47: Commit 293124d pushed by zhuyutian57
July 25, 2024 12:10 20m 25s slhv_encoding
slhv_encoding
July 25, 2024 12:10 20m 25s
write vccs and its smt formulas in file Early warning on push #46: Commit ec27cb3 pushed by zhuyutian57
July 25, 2024 07:25 20m 26s slhv_encoding
slhv_encoding
July 25, 2024 07:25 20m 26s
update Early warning on push #45: Commit c9ce912 pushed by SpencerL-Y
July 25, 2024 06:48 20m 31s slhv_encoding
slhv_encoding
July 25, 2024 06:48 20m 31s
adjust to byte-level points-to Early warning on push #44: Commit 06d8caf pushed by zhuyutian57
July 25, 2024 04:53 20m 0s slhv_encoding
slhv_encoding
July 25, 2024 04:53 20m 0s
use z3_conv get_bool Early warning on push #43: Commit 1c1df80 pushed by zhuyutian57
July 24, 2024 06:45 21m 0s slhv_encoding
slhv_encoding
July 24, 2024 06:45 21m 0s
make hvar and lvar via specific api Early warning on push #42: Commit da171cb pushed by zhuyutian57
July 22, 2024 08:04 19m 57s slhv_encoding
slhv_encoding
July 22, 2024 08:04 19m 57s
Upload Release Asset Upload Release Asset #12: Scheduled
July 22, 2024 06:06 19m 58s main
main
July 22, 2024 06:06 19m 58s
update Early warning on push #41: Commit f004652 pushed by zhuyutian57
July 21, 2024 10:53 19m 56s slhv_encoding
slhv_encoding
July 21, 2024 10:53 19m 56s
update Early warning on push #40: Commit f63115a pushed by SpencerL-Y
July 19, 2024 06:02 19m 56s slhv_encoding
slhv_encoding
July 19, 2024 06:02 19m 56s
add print smt, using --output Early warning on push #39: Commit adaa3f7 pushed by SpencerL-Y
July 19, 2024 02:20 21m 49s slhv_encoding
slhv_encoding
July 19, 2024 02:20 21m 49s
add z3-slhv dec_check Early warning on push #38: Commit 5c843a9 pushed by zhuyutian57
July 19, 2024 01:22 20m 40s slhv_encoding
slhv_encoding
July 19, 2024 01:22 20m 40s
Merge branch 'slhv_encoding' of github.com:SpencerL-Y/esbmc into slhv… Early warning on push #37: Commit 63a952b pushed by SpencerL-Y
July 16, 2024 04:14 20m 13s slhv_encoding
slhv_encoding
July 16, 2024 04:14 20m 13s
Upload Release Asset Upload Release Asset #11: Scheduled
July 15, 2024 06:06 19m 2s main
main
July 15, 2024 06:06 19m 2s
encoding and dump smt2 Early warning on push #36: Commit f4d7d55 pushed by zhuyutian57
July 12, 2024 08:50 20m 12s slhv_encoding
slhv_encoding
July 12, 2024 08:50 20m 12s
finish encoding(pending for locadd) Early warning on push #35: Commit e4c7df9 pushed by zhuyutian57
July 12, 2024 06:22 20m 28s slhv_encoding
slhv_encoding
July 12, 2024 06:22 20m 28s
heap update encoding Early warning on push #34: Commit 617aec2 pushed by zhuyutian57
July 11, 2024 09:27 20m 34s slhv_encoding
slhv_encoding
July 11, 2024 09:27 20m 34s
DEBUG: fix the check valid dereference encoding bug Early warning on push #33: Commit d32f0ad pushed by SpencerL-Y
July 10, 2024 11:35 19m 36s main
main
July 10, 2024 11:35 19m 36s
update slhv encoding and refactor Early warning on push #32: Commit db24bfa pushed by zhuyutian57
July 10, 2024 09:39 19m 51s slhv_encoding
slhv_encoding
July 10, 2024 09:39 19m 51s
Upload Release Asset Upload Release Asset #10: Scheduled
July 8, 2024 06:06 19m 58s main
main
July 8, 2024 06:06 19m 58s