Skip to content

Actions: seahorn/sea-dsa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: recognize ownsem instrinsic aliases
CI #59: Commit 93edd5d pushed by priyasiddharth
June 13, 2024 18:09 1m 56s dev14
June 13, 2024 18:09 1m 56s
doc: updated badge in README
CI #56: Commit 8fc33bd pushed by priyasiddharth
September 21, 2023 14:54 2m 25s dev14
September 21, 2023 14:54 2m 25s
fix: memhavoc should be mem def
CI #55: Commit 910fa15 pushed by caballa
September 19, 2023 03:20 2m 18s dev14
September 19, 2023 03:20 2m 18s
fix: memhavoc should be mem def
CI #54: Pull request #157 opened by priyasiddharth
September 17, 2023 20:30 2m 23s priyasiddharth:memhavoc
September 17, 2023 20:30 2m 23s
fix: rearrange so assert(false) not on return path
CI #53: Pull request #150 synchronize by priyasiddharth
September 17, 2023 20:27 2m 25s priyasiddharth:dev14
September 17, 2023 20:27 2m 25s
fix: rearrange so assert(false) not on return path
CI #52: Pull request #150 synchronize by priyasiddharth
September 17, 2023 20:05 2m 19s priyasiddharth:dev14
September 17, 2023 20:05 2m 19s
doc: updated badge in README
CI #51: Commit 8fc33bd pushed by caballa
September 16, 2023 16:23 2m 45s dev14
September 16, 2023 16:23 2m 45s
fix(complete-cg): remove call graph edges
CI #50: Commit a284e59 pushed by caballa
September 16, 2023 16:05 2m 21s dev14
September 16, 2023 16:05 2m 21s
Changes and fixes to run dev14 successfully CI
CI #49: Pull request #156 opened by caballa
September 15, 2023 04:05 3m 25s dev14-fix-tests
September 15, 2023 04:05 3m 25s