Skip to content

Actions: GaloisInc/macaw

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

x86-symbolic: Improve div-by-zero error messages (#461) lint #88: Commit 3081ec9 pushed by langston-barrett
February 10, 2025 18:14 22s master
master
February 10, 2025 18:14 22s
x86-symbolic: Improve div-by-zero error messages lint #87: Pull request #461 synchronize by langston-barrett
February 10, 2025 16:41 31s lb/improve-errors
lb/improve-errors
February 10, 2025 16:41 31s
x86-symbolic: Improve div-by-zero error messages lint #86: Pull request #461 opened by langston-barrett
February 10, 2025 16:25 20s lb/improve-errors
lb/improve-errors
February 10, 2025 16:25 20s
dump: Improve comment lint #85: Commit 1dbf64a pushed by langston-barrett
January 2, 2025 19:35 19s master
master
January 2, 2025 19:35 19s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #84: Pull request #459 synchronize by langston-barrett
December 20, 2024 14:26 18s lb/dump-memory
lb/dump-memory
December 20, 2024 14:26 18s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #83: Pull request #459 synchronize by langston-barrett
December 19, 2024 20:49 22s lb/dump-memory
lb/dump-memory
December 19, 2024 20:49 22s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #82: Pull request #459 synchronize by langston-barrett
December 19, 2024 20:12 19s lb/dump-memory
lb/dump-memory
December 19, 2024 20:12 19s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #81: Pull request #459 synchronize by langston-barrett
December 19, 2024 19:26 17s lb/dump-memory
lb/dump-memory
December 19, 2024 19:26 17s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #80: Pull request #459 synchronize by langston-barrett
December 19, 2024 18:54 19s lb/dump-memory
lb/dump-memory
December 19, 2024 18:54 19s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #79: Pull request #459 synchronize by langston-barrett
December 19, 2024 18:45 20s lb/dump-memory
lb/dump-memory
December 19, 2024 18:45 20s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #78: Pull request #459 synchronize by langston-barrett
December 19, 2024 17:30 19s lb/dump-memory
lb/dump-memory
December 19, 2024 17:30 19s
dump: Add a command to print out the Data.Macaw.Memory.Memory lint #77: Pull request #459 opened by langston-barrett
December 19, 2024 15:59 20s lb/dump-memory
lb/dump-memory
December 19, 2024 15:59 20s
syntax: Simplify parsing of endianness lint #76: Commit aedf202 pushed by langston-barrett
December 19, 2024 15:18 20s master
master
December 19, 2024 15:18 20s
syntax: Simplify parsing of endianness lint #75: Pull request #458 opened by langston-barrett
December 18, 2024 18:31 19s lb/parse-endian
lb/parse-endian
December 18, 2024 18:31 19s
Merge pull request #457 from GaloisInc/T349-riscv-sugar lint #74: Commit 19d9e9e pushed by RyanGlScott
December 10, 2024 19:51 20s master
master
December 10, 2024 19:51 20s
macaw-riscv-syntax: Syntactic sugar for RISC-V CFGs lint #73: Pull request #457 opened by RyanGlScott
December 10, 2024 17:38 24s T349-riscv-sugar
T349-riscv-sugar
December 10, 2024 17:38 24s
Merge pull request #456 from GaloisInc/T444-riscv-symbolic-regs lint #72: Commit 76b1191 pushed by RyanGlScott
December 10, 2024 17:30 23s master
master
December 10, 2024 17:30 23s
macaw-riscv-symbolic: Indexes for registers lint #71: Pull request #456 synchronize by RyanGlScott
December 10, 2024 17:01 19s T444-riscv-symbolic-regs
T444-riscv-symbolic-regs
December 10, 2024 17:01 19s
macaw-riscv-symbolic: Indexes for registers lint #70: Pull request #456 opened by RyanGlScott
December 5, 2024 20:09 18s T444-riscv-symbolic-regs
T444-riscv-symbolic-regs
December 5, 2024 20:09 18s
Merge pull request #455 from GaloisInc/T454-riscv-floating-ABI-mnemonics lint #69: Commit 8ea511c pushed by RyanGlScott
December 4, 2024 19:38 19s master
master
December 4, 2024 19:38 19s
macaw-riscv: Define ABI mnemonics for floating-point registers lint #68: Pull request #455 opened by RyanGlScott
December 4, 2024 18:49 18s T454-riscv-floating-ABI-mnemonics
T454-riscv-floating-ABI-mnemonics
December 4, 2024 18:49 18s
Merge pull request #453 from GaloisInc/ppc-sugar lint #67: Commit c7c0d91 pushed by RyanGlScott
December 4, 2024 12:58 22s master
master
December 4, 2024 12:58 22s
macaw-ppc-syntax: Syntactic sugar for PowerPC CFGs lint #66: Pull request #453 synchronize by RyanGlScott
December 4, 2024 10:57 19s ppc-sugar
ppc-sugar
December 4, 2024 10:57 19s
Merge pull request #452 from GaloisInc/read-write-mem-model-functions lint #65: Commit 4bf0334 pushed by RyanGlScott
November 26, 2024 15:21 23s master
master
November 26, 2024 15:21 23s
macaw-ppc-syntax: Syntactic sugar for PowerPC CFGs lint #64: Pull request #453 opened by RyanGlScott
November 25, 2024 22:37 19s ppc-sugar
ppc-sugar
November 25, 2024 22:37 19s