Skip to content

Actions: GaloisInc/macaw

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
macaw-ppc-symbolic: Add support for simulating syscalls CI #778: Commit 2c60f97 pushed by RyanGlScott
July 19, 2024 19:04 2m 28s powerpc-improvements
powerpc-improvements
July 19, 2024 19:04 2m 28s
Use Crucible goal-proving helpers in testing code CI #777: Commit 83d3907 pushed by langston-barrett
July 16, 2024 19:30 39m 6s master
master
July 16, 2024 19:30 39m 6s
Use Crucible goal-proving helpers in testing code CI #776: Commit 975bc76 pushed by langston-barrett
July 16, 2024 17:22 50m 47s lb/prove-goals
lb/prove-goals
July 16, 2024 17:22 50m 47s
Cite Macaw paper and blog post in the README CI #775: Commit 2c15fcc pushed by RyanGlScott
July 16, 2024 17:17 18m 14s master
master
July 16, 2024 17:17 18m 14s
Use Crucible goal-proving helpers in testing code CI #774: Commit a9e1435 pushed by langston-barrett
July 16, 2024 17:13 11m 25s lb/prove-goals
lb/prove-goals
July 16, 2024 17:13 11m 25s
Cite Macaw paper and blog post in the README CI #773: Commit c65089b pushed by RyanGlScott
July 16, 2024 16:42 13m 39s cite-paper-blog-post-in-readme
cite-paper-blog-post-in-readme
July 16, 2024 16:42 13m 39s
macaw-x86-symbolic: Fix idiv/div semantics CI #772: Commit a6ff58f pushed by RyanGlScott
July 12, 2024 20:56 1h 18m 25s master
master
July 12, 2024 20:56 1h 18m 25s
macaw-x86-symbolic: Fix idiv/div semantics CI #771: Commit 79e1a39 pushed by RyanGlScott
July 12, 2024 20:42 13m 28s T393-fix-div-interpretation
T393-fix-div-interpretation
July 12, 2024 20:42 13m 28s
macaw-x86-symbolic: Fix idiv/div semantics CI #770: Commit 3a944b1 pushed by RyanGlScott
July 12, 2024 19:20 1h 18m 9s T393-fix-div-interpretation
T393-fix-div-interpretation
July 12, 2024 19:20 1h 18m 9s
Fix error code reporting CI #769: Commit 248518d pushed by RyanGlScott
July 8, 2024 16:25 14m 42s lb/cli
lb/cli
July 8, 2024 16:25 14m 42s
cli: Refactor for testability CI #768: Commit 89af350 pushed by langston-barrett
July 3, 2024 22:15 29m 10s lb/cli
lb/cli
July 3, 2024 22:15 29m 10s
cli: Remove a defunct TODO CI #767: Commit 2f1db57 pushed by langston-barrett
July 3, 2024 22:01 31m 46s lb/cli
lb/cli
July 3, 2024 22:01 31m 46s
cli: Properly attribute license copyright CI #766: Commit f2b9213 pushed by langston-barrett
July 3, 2024 21:59 19m 14s lb/cli
lb/cli
July 3, 2024 21:59 19m 14s
cli: Command-line options CI #765: Commit e66a0ab pushed by langston-barrett
July 3, 2024 20:45 1h 17m 56s lb/cli
lb/cli
July 3, 2024 20:45 1h 17m 56s
Simple CLI for macaw-symbolic CI #764: Commit 2e7aab0 pushed by langston-barrett
July 3, 2024 20:25 1h 24m 28s lb/cli
lb/cli
July 3, 2024 20:25 1h 24m 28s
Simple CLI for macaw-symbolic CI #763: Commit ed41178 pushed by langston-barrett
July 3, 2024 20:25 2h 16m 52s lb/cli
lb/cli
July 3, 2024 20:25 2h 16m 52s
Simple CLI for macaw-symbolic CI #762: Commit f5652b2 pushed by langston-barrett
July 3, 2024 20:04 1h 33m 53s lb/cli
lb/cli
July 3, 2024 20:04 1h 33m 53s
Simple CLI for macaw-symbolic CI #761: Commit c21c40a pushed by langston-barrett
July 3, 2024 20:02 1h 22m 52s lb/cli
lb/cli
July 3, 2024 20:02 1h 22m 52s
Simple CLI for macaw-symbolic CI #760: Commit 2e528a8 pushed by langston-barrett
July 3, 2024 19:04 1h 16m 59s lb/cli
lb/cli
July 3, 2024 19:04 1h 16m 59s
CI: Regenerate freeze files using latest GHC minor versions CI #759: Commit 6457541 pushed by RyanGlScott
June 13, 2024 08:25 1h 17m 41s master
master
June 13, 2024 08:25 1h 17m 41s
CI: Regenerate freeze files using latest GHC minor versions CI #758: Commit 3cf2a39 pushed by RyanGlScott
June 12, 2024 22:46 1h 26m 4s bump-what4-1.6
bump-what4-1.6
June 12, 2024 22:46 1h 26m 4s
Bump submodules to allow building with what4-1.6.* CI #757: Commit 95a4127 pushed by RyanGlScott
June 12, 2024 20:51 14m 12s bump-what4-1.6
bump-what4-1.6
June 12, 2024 20:51 14m 12s
Merge pull request #383 from GaloisInc/llvm-pretty-migration CI #756: Commit d04f097 pushed by glguy
May 24, 2024 15:09 8m 25s master
master
May 24, 2024 15:09 8m 25s
Update llvm-pretty submodule target CI #755: Commit 3b0933d pushed by glguy
May 23, 2024 23:23 8m 48s llvm-pretty-migration
llvm-pretty-migration
May 23, 2024 23:23 8m 48s
parse subroutine type declaration formal parameters (#382) CI #754: Commit 77a6c62 pushed by Ptival
May 22, 2024 17:47 1h 19m 40s master
master
May 22, 2024 17:47 1h 19m 40s