Skip to content

Actions: GaloisInc/macaw

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
379 workflow runs
379 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

macaw-{ppc,riscv}-symbolic: Move S definition above functions that us… CI #797: Commit 1a2b928 pushed by RyanGlScott
July 26, 2024 19:25 16m 10s master
master
July 26, 2024 19:25 16m 10s
macaw-{ppc,riscv}-symbolic: Move S definition above functions that us… CI #796: Commit 5ee37cf pushed by RyanGlScott
July 26, 2024 19:04 13m 49s T409-macaw-riscv-symbolic
T409-macaw-riscv-symbolic
July 26, 2024 19:04 13m 49s
Implement macaw-riscv-symbolic CI #795: Commit f47b425 pushed by RyanGlScott
July 26, 2024 15:00 12m 49s T409-macaw-riscv-symbolic
T409-macaw-riscv-symbolic
July 26, 2024 15:00 12m 49s
Merge pull request #406 from GaloisInc/vr/register-use-bvand CI #794: Commit eb0a3c7 pushed by Ptival
July 25, 2024 19:14 47m 32s master
master
July 25, 2024 19:14 47m 32s
Merge pull request #403 from GaloisInc/feature/better-jumptable-trunc… CI #793: Commit 82aae49 pushed by staslyakhov
July 24, 2024 20:45 1h 17m 38s master
master
July 24, 2024 20:45 1h 17m 38s
Improve handling of JumpBound truncation constraints CI #792: Commit 75e31f8 pushed by staslyakhov
July 24, 2024 20:44 43m 18s feature/better-jumptable-truncation
feature/better-jumptable-truncation
July 24, 2024 20:44 43m 18s
support alignment ops when processing statements in RegisterUse CI #791: Commit dc1591d pushed by Ptival
July 24, 2024 16:59 38m 47s vr/register-use-bvand
vr/register-use-bvand
July 24, 2024 16:59 38m 47s
support alignment ops when processing statements in RegisterUse CI #790: Commit 0986922 pushed by Ptival
July 24, 2024 15:43 1h 18m 31s vr/register-use-bvand
vr/register-use-bvand
July 24, 2024 15:43 1h 18m 31s
Merge pull request #405 from GaloisInc/vr/bits-memint CI #789: Commit 3224462 pushed by Ptival
July 24, 2024 15:43 42m 3s master
master
July 24, 2024 15:43 42m 3s
Improve handling of JumpBound truncation constraints CI #788: Commit a8d039b pushed by staslyakhov
July 23, 2024 23:58 2h 47m 26s feature/better-jumptable-truncation
feature/better-jumptable-truncation
July 23, 2024 23:58 2h 47m 26s
Merge pull request #404 from GaloisInc/vr/expose-memInt CI #787: Commit 4b38285 pushed by Ptival
July 23, 2024 23:57 2h 4m 12s master
master
July 23, 2024 23:57 2h 4m 12s
add a Bits instance to MemInt CI #786: Commit d2561b1 pushed by Ptival
July 23, 2024 23:57 1h 35m 15s vr/bits-memint
vr/bits-memint
July 23, 2024 23:57 1h 35m 15s
fixup! Improve handling of JumpBound truncation constraints CI #785: Commit a36c57e pushed by staslyakhov
July 23, 2024 23:56 1h 7m 19s feature/better-jumptable-truncation
feature/better-jumptable-truncation
July 23, 2024 23:56 1h 7m 19s
support alignment ops when processing statements in RegisterUse CI #784: Commit dc21c4c pushed by Ptival
July 23, 2024 23:22 54m 55s vr/register-use-bvand
vr/register-use-bvand
July 23, 2024 23:22 54m 55s
add a Bits instance to MemInt CI #783: Commit 1a50954 pushed by Ptival
July 23, 2024 23:16 1h 16m 16s vr/bits-memint
vr/bits-memint
July 23, 2024 23:16 1h 16m 16s
expose memInt in Memory CI #782: Commit b380174 pushed by Ptival
July 23, 2024 23:09 42m 36s vr/expose-memInt
vr/expose-memInt
July 23, 2024 23:09 42m 36s
Improve handling of JumpBound truncation constraints CI #781: Commit 17d3d9b pushed by staslyakhov
July 23, 2024 20:56 39m 3s feature/better-jumptable-truncation
feature/better-jumptable-truncation
July 23, 2024 20:56 39m 3s
ppcInstructionMatcher: Reference PPCSyscall Haddocks CI #780: Commit ad31314 pushed by RyanGlScott
July 22, 2024 18:06 19m 5s powerpc-improvements
powerpc-improvements
July 22, 2024 18:06 19m 5s
macaw-ppc-symbolic: Add support for simulating syscalls CI #779: Commit 70a92e0 pushed by RyanGlScott
July 19, 2024 19:08 21m 42s powerpc-improvements
powerpc-improvements
July 19, 2024 19:08 21m 42s
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
ProTip! You can narrow down the results and go further in time using created:<2024-07-16 or the other filters available.