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
CI: Test GHC 9.8, drop 9.2 CI #803: Commit a05c1cc pushed by RyanGlScott
August 8, 2024 13:34 1h 17m 17s master
master
August 8, 2024 13:34 1h 17m 17s
CI: Test GHC 9.8, drop 9.2 CI #802: Commit 383f581 pushed by RyanGlScott
August 7, 2024 15:52 1h 27m 6s ghc-9.8
ghc-9.8
August 7, 2024 15:52 1h 27m 6s
ppcInstructionMatcher: Reference PPCSyscall Haddocks CI #801: Commit 3e83b3e pushed by RyanGlScott
August 1, 2024 14:34 18m 43s master
master
August 1, 2024 14:34 18m 43s
ppcInstructionMatcher: Reference PPCSyscall Haddocks CI #800: Commit f0f8dd3 pushed by RyanGlScott
August 1, 2024 14:12 21m 52s powerpc-improvements
powerpc-improvements
August 1, 2024 14:12 21m 52s
macaw-riscv: Add riscvPLTStubInfo CI #799: Commit 1da090f pushed by RyanGlScott
July 31, 2024 14:11 41m 39s master
master
July 31, 2024 14:11 41m 39s
macaw-riscv: Add riscvPLTStubInfo CI #798: Commit 162fd62 pushed by RyanGlScott
July 30, 2024 17:32 43m 18s T414-RISC-V-plt-stubs-and-relocs
T414-RISC-V-plt-stubs-and-relocs
July 30, 2024 17:32 43m 18s
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