Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Go

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
go.yml
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2035 from JasonGross/movabs Test Generated Go #5852: Commit dcfe2aa pushed by JasonGross
March 11, 2025 04:34 Queued master
master
March 11, 2025 04:34 Queued
Actually test more asm functions Test Generated Go #5851: Pull request #2044 opened by JasonGross
March 11, 2025 04:06 31m 21s JasonGross:more-asm-tests
JasonGross:more-asm-tests
March 11, 2025 04:06 31m 21s
Merge pull request #2037 from JasonGross/shld Test Generated Go #5850: Commit ab4af3c pushed by JasonGross
March 11, 2025 03:52 9m 29s master
master
March 11, 2025 03:52 9m 29s
Add from_bytes asm tests (#2043) Test Generated Go #5849: Commit 83f84f9 pushed by JasonGross
March 11, 2025 02:21 4m 3s master
master
March 11, 2025 02:21 4m 3s
Don't print the report too early Test Generated Go #5848: Commit 76d6deb pushed by JasonGross
March 10, 2025 22:52 41m 43s master
master
March 10, 2025 22:52 41m 43s
Add from_bytes asm tests Test Generated Go #5847: Pull request #2043 synchronize by JasonGross
March 10, 2025 21:29 42s JasonGross:from-bytes-asm-tests
JasonGross:from-bytes-asm-tests
March 10, 2025 21:29 42s
Add from_bytes asm tests Test Generated Go #5846: Pull request #2043 opened by JasonGross
March 10, 2025 20:13 37s JasonGross:from-bytes-asm-tests
JasonGross:from-bytes-asm-tests
March 10, 2025 20:13 37s
Set array sizes from bounds Test Generated Go #5845: Pull request #2042 synchronize by JasonGross
March 10, 2025 16:56 36s JasonGross:fix-array-size
JasonGross:fix-array-size
March 10, 2025 16:56 36s
Set array sizes from bounds Test Generated Go #5844: Pull request #2042 opened by JasonGross
March 8, 2025 00:41 10m 7s JasonGross:fix-array-size
JasonGross:fix-array-size
March 8, 2025 00:41 10m 7s
Add ZRange.bitwidth, ZRange.of_bitwidth (#2041) Test Generated Go #5843: Commit c177f8e pushed by JasonGross
March 8, 2025 00:07 39s master
master
March 8, 2025 00:07 39s
Add ZRange.bitwidth, ZRange.of_bitwidth Test Generated Go #5842: Pull request #2041 synchronize by JasonGross
March 7, 2025 20:18 29s JasonGross:bitwidth-range-conversions
JasonGross:bitwidth-range-conversions
March 7, 2025 20:18 29s
Add ZRange.bitwidth, ZRange.of_bitwidth Test Generated Go #5841: Pull request #2041 opened by JasonGross
March 7, 2025 20:09 30s JasonGross:bitwidth-range-conversions
JasonGross:bitwidth-range-conversions
March 7, 2025 20:09 30s
Move signed to Z.signed in ZUtil.Definitions (#2039) Test Generated Go #5840: Commit 2d55a49 pushed by JasonGross
March 7, 2025 11:47 30s master
master
March 7, 2025 11:47 30s
Add --debug-asm-symex-first (#2036) Test Generated Go #5839: Commit 181e3d5 pushed by JasonGross
March 7, 2025 09:31 32s master
master
March 7, 2025 09:31 32s
Move signed to Z.signed in ZUtil.Definitions Test Generated Go #5838: Pull request #2039 synchronize by JasonGross
March 7, 2025 04:59 20m 22s JasonGross:move-signed
JasonGross:move-signed
March 7, 2025 04:59 20m 22s
Move signed to Z.signed in ZUtil.Definitions Test Generated Go #5837: Pull request #2039 synchronize by JasonGross
March 7, 2025 04:59 22s JasonGross:move-signed
JasonGross:move-signed
March 7, 2025 04:59 22s
Move signed to Z.signed in ZUtil.Definitions Test Generated Go #5836: Pull request #2039 synchronize by JasonGross
March 7, 2025 04:55 3m 32s JasonGross:move-signed
JasonGross:move-signed
March 7, 2025 04:55 3m 32s
Move signed to Z.signed in ZUtil.Definitions Test Generated Go #5835: Pull request #2039 synchronize by JasonGross
March 7, 2025 04:55 14s JasonGross:move-signed
JasonGross:move-signed
March 7, 2025 04:55 14s
Move signed to Z.signed in ZUtil.Definitions Test Generated Go #5834: Pull request #2039 opened by JasonGross
March 7, 2025 04:38 6m 23s JasonGross:move-signed
JasonGross:move-signed
March 7, 2025 04:38 6m 23s
Add support for nop (#2034) Test Generated Go #5833: Commit cd21d34 pushed by JasonGross
March 7, 2025 03:22 1h 29m 15s master
master
March 7, 2025 03:22 1h 29m 15s
Add support for movsx Test Generated Go #5832: Pull request #2038 opened by JasonGross
March 7, 2025 01:55 14m 16s JasonGross:movsx
JasonGross:movsx
March 7, 2025 01:55 14m 16s
Add support for movabs,movdqa,movdqu,movq,movd,movups Test Generated Go #5831: Pull request #2035 synchronize by JasonGross
March 7, 2025 01:41 1h 53m 37s JasonGross:movabs
JasonGross:movabs
March 7, 2025 01:41 1h 53m 37s
Bump rewriter from 1e17dcd to 869b054 Test Generated Go #5830: Pull request #2033 synchronize by dependabot bot
March 7, 2025 01:38 1m 45s dependabot/submodules/rewriter-869b054
dependabot/submodules/rewriter-869b054
March 7, 2025 01:38 1m 45s
Bump rewriter from 1e17dcd to 869b054 Test Generated Go #5829: Commit bd2ae52 pushed by dependabot bot
March 7, 2025 01:38 30m 35s dependabot/submodules/rewriter-869b054
dependabot/submodules/rewriter-869b054
March 7, 2025 01:38 30m 35s
Add --debug-asm-symex-first Test Generated Go #5828: Pull request #2036 synchronize by JasonGross
March 7, 2025 01:35 40s JasonGross:debug-asm-first
JasonGross:debug-asm-first
March 7, 2025 01:35 40s