Skip to content

Actions: GaloisInc/stubs

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #48 from GaloisInc/T12-lazy-macaw-symbolic-memory-… build #75: Commit d9224de pushed by RyanGlScott
January 14, 2025 19:29 37m 30s main
main
January 14, 2025 19:29 37m 30s
stubs-common: Use the lazy macaw-symbolic memory model build #74: Commit 54904ac pushed by RyanGlScott
January 14, 2025 17:38 40m 8s T12-lazy-macaw-symbolic-memory-model
T12-lazy-macaw-symbolic-memory-model
January 14, 2025 17:38 40m 8s
Fix LICENSE copyright years, Cabal metadata build #73: Commit 5b1d315 pushed by langston-barrett
January 14, 2025 17:12 49m 42s main
main
January 14, 2025 17:12 49m 42s
Fix LICENSE copyright years, Cabal metadata build #72: Commit c060721 pushed by langston-barrett
January 14, 2025 15:41 48m 57s lb/license
lb/license
January 14, 2025 15:41 48m 57s
Add BSD-3 LICENSE file build #71: Commit f663e60 pushed by langston-barrett
January 14, 2025 15:19 22m 12s lb/license
lb/license
January 14, 2025 15:19 22m 12s
Merge pull request #45 from GaloisInc/cite-ambient build #70: Commit cc5a906 pushed by RyanGlScott
January 10, 2025 17:59 47m 9s main
main
January 10, 2025 17:59 47m 9s
Cite ambient-verifier in the README build #69: Commit 9e2cbf2 pushed by RyanGlScott
January 10, 2025 12:23 47m 23s cite-ambient
cite-ambient
January 10, 2025 12:23 47m 23s
Merge pull request #44 from GaloisInc/T37-fix-translator-tests build #68: Commit 82f14c3 pushed by RyanGlScott
January 9, 2025 18:20 47m 10s main
main
January 9, 2025 18:20 47m 10s
CI: Install SMT solvers build #67: Commit ae96882 pushed by RyanGlScott
January 9, 2025 15:03 47m 59s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 15:03 47m 59s
CI: Install SMT solvers build #66: Commit 7a7ab14 pushed by RyanGlScott
January 9, 2025 14:58 3m 25s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 14:58 3m 25s
CI: Install SMT solvers build #65: Commit 19a4ad9 pushed by RyanGlScott
January 9, 2025 14:53 2m 33s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 14:53 2m 33s
Fix translator-tests after GaloisInc/crucible#1150 build #64: Commit cca76e9 pushed by RyanGlScott
January 9, 2025 13:23 42m 24s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 13:23 42m 24s
CI: Use upload-artifact@v4 build #63: Commit 54be49d pushed by langston-barrett
January 7, 2025 19:08 1h 3m 8s main
main
January 7, 2025 19:08 1h 3m 8s
CI: Use upload-artifact@v4 build #62: Commit 07efedd pushed by RyanGlScott
January 7, 2025 17:20 59m 32s upload-artifact-v4
upload-artifact-v4
January 7, 2025 17:20 59m 32s
stubs-common: Stop using projectLLVM_bv to zero-extend/truncate pointers build #61: Commit b78d842 pushed by RyanGlScott
August 1, 2024 16:38 1h 1m 50s main
main
August 1, 2024 16:38 1h 1m 50s
stubs-common: Stop using projectLLVM_bv to zero-extend/truncate pointers build #60: Commit 42289dd pushed by RyanGlScott
August 1, 2024 14:46 47m 37s t33-powerpc-support
t33-powerpc-support
August 1, 2024 14:46 47m 37s
stubs-common: Stop using projectLLVM_bv to zero-extend/truncate pointers build #59: Commit dbeb692 pushed by RyanGlScott
August 1, 2024 14:38 6m 41s t33-powerpc-support
t33-powerpc-support
August 1, 2024 14:38 6m 41s
stubs-common: Stop using projectLLVM_bv to zero-extend/truncate pointers build #58: Commit e5f0dbb pushed by RyanGlScott
July 26, 2024 19:49 45m 25s t33-powerpc-support
t33-powerpc-support
July 26, 2024 19:49 45m 25s
Review comments build #57: Commit 9b4b01e pushed by RyanGlScott
July 22, 2024 19:34 46m 29s t33-powerpc-support
t33-powerpc-support
July 22, 2024 19:34 46m 29s
Mention PowerPC support in docs/ build #56: Commit ca1eef3 pushed by RyanGlScott
July 19, 2024 20:31 1h 4m 56s t33-powerpc-support
t33-powerpc-support
July 19, 2024 20:31 1h 4m 56s
Allow generate_table.py to exclude arbitrary ABIs build #55: Commit 56851fc pushed by RyanGlScott
June 21, 2024 20:30 40m 38s main
main
June 21, 2024 20:30 40m 38s
Replace PLT stub detection code with upstream macaw functionality build #54: Commit 5a4a87e pushed by RyanGlScott
June 21, 2024 19:30 53m 35s main
main
June 21, 2024 19:30 53m 35s
Allow generate_table.py to exclude arbitrary ABIs build #53: Commit bd63d5b pushed by RyanGlScott
June 21, 2024 18:26 52m 28s T34-generalize-generate-table
T34-generalize-generate-table
June 21, 2024 18:26 52m 28s
Allow generate_table.py to exclude arbitrary ABIs build #52: Commit f5376fd pushed by RyanGlScott
June 21, 2024 18:25 57s T34-generalize-generate-table
T34-generalize-generate-table
June 21, 2024 18:25 57s
Replace PLT stub detection code with upstream macaw functionality build #51: Commit f49ac9d pushed by RyanGlScott
June 21, 2024 18:04 55m 18s T32-plt-stubs-functionality-from-macaw
T32-plt-stubs-functionality-from-macaw
June 21, 2024 18:04 55m 18s