Skip to content

Actions: JasonGross/fiat-crypto

Test Generated C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set array sizes from bounds
Test Generated C #1204: Commit 00afedb pushed by JasonGross
March 8, 2025 00:41 25m 17s fix-array-size
March 8, 2025 00:41 25m 17s
Set array sizes from bounds
Test Generated C #1203: Commit d506e12 pushed by JasonGross
March 8, 2025 00:40 24m 37s fix-array-size
March 8, 2025 00:40 24m 37s
Add ZRange.bitwidth, ZRange.of_bitwidth
Test Generated C #1202: Commit a7a7152 pushed by JasonGross
March 7, 2025 20:18 25m 44s bitwidth-range-conversions
March 7, 2025 20:18 25m 44s
Add ZRange.bitwidth, ZRange.of_bitwidth
Test Generated C #1201: Commit cb0be76 pushed by JasonGross
March 7, 2025 20:09 24m 48s bitwidth-range-conversions
March 7, 2025 20:09 24m 48s
WIP
Test Generated C #1200: Commit a1694d3 pushed by JasonGross
March 7, 2025 19:33 24m 49s fix-array-size
March 7, 2025 19:33 24m 49s
Move signed to Z.signed in ZUtil.Definitions
Test Generated C #1199: Commit ca67f47 pushed by JasonGross
March 7, 2025 04:59 25m 13s move-signed
March 7, 2025 04:59 25m 13s
Move signed to Z.signed in ZUtil.Definitions
Test Generated C #1198: Commit 1f2f7ca pushed by JasonGross
March 7, 2025 04:59 24m 50s move-signed
March 7, 2025 04:59 24m 50s
Move signed to Z.signed in ZUtil.Definitions
Test Generated C #1197: Commit 7229b62 pushed by JasonGross
March 7, 2025 04:55 24m 46s move-signed
March 7, 2025 04:55 24m 46s
Move signed to Z.signed in ZUtil.Definitions
Test Generated C #1196: Commit e188d69 pushed by JasonGross
March 7, 2025 04:55 25m 1s move-signed
March 7, 2025 04:55 25m 1s
Move signed to Z.signed in ZUtil.Definitions
Test Generated C #1195: Commit 85a6e17 pushed by JasonGross
March 7, 2025 04:38 25m 7s move-signed
March 7, 2025 04:38 25m 7s
Move signed to Z.signed in ZUtil.Definitions
Test Generated C #1194: Commit 0d8228b pushed by JasonGross
March 7, 2025 04:27 24m 59s move-signed
March 7, 2025 04:27 24m 59s
WIP on movsx
Test Generated C #1193: Commit f847700 pushed by JasonGross
March 7, 2025 01:52 24m 45s movsx
March 7, 2025 01:52 24m 45s
Add support: movabs,movdqa,movdqu,movq,movd,movups
Test Generated C #1192: Commit 11b2302 pushed by JasonGross
March 7, 2025 01:41 24m 44s movabs
March 7, 2025 01:41 24m 44s
Add --debug-asm-symex-first
Test Generated C #1191: Commit 10f6164 pushed by JasonGross
March 7, 2025 01:35 25m 3s debug-asm-first
March 7, 2025 01:35 25m 3s
Add support for shld
Test Generated C #1190: Commit 2c04184 pushed by JasonGross
March 6, 2025 23:53 24m 54s shld
March 6, 2025 23:53 24m 54s
Add support for shld
Test Generated C #1189: Commit 9458a35 pushed by JasonGross
March 6, 2025 22:36 24m 53s shld
March 6, 2025 22:36 24m 53s
Add --debug-asm-symex-first
Test Generated C #1188: Commit eafb105 pushed by JasonGross
March 6, 2025 22:35 24m 44s debug-asm-first
March 6, 2025 22:35 24m 44s
Add support for movabs
Test Generated C #1187: Commit 91f67d4 pushed by JasonGross
March 6, 2025 21:57 25m 3s movabs
March 6, 2025 21:57 25m 3s
Add support for nop
Test Generated C #1186: Commit d0a5d1b pushed by JasonGross
March 6, 2025 21:46 24m 55s nop
nop
March 6, 2025 21:46 24m 55s
Allow fuzzy matching of assembly labels
Test Generated C #1185: Commit 1b0d4e7 pushed by JasonGross
March 6, 2025 07:23 24m 59s allow-fuzzy-global-matching
March 6, 2025 07:23 24m 59s
Handle rip-relative addressing
Test Generated C #1184: Commit 15b841e pushed by JasonGross
March 6, 2025 07:22 24m 53s parse-rip
March 6, 2025 07:22 24m 53s
Allow fuzzy matching of assembly labels
Test Generated C #1183: Commit 992a18e pushed by JasonGross
March 6, 2025 07:17 24m 48s allow-fuzzy-global-matching
March 6, 2025 07:17 24m 48s
Add support for more assembly
Test Generated C #1182: Commit bebe0b6 pushed by JasonGross
March 5, 2025 17:50 25m 18s more-asm
March 5, 2025 17:50 25m 18s
Add support for parsing more assembly
Test Generated C #1181: Commit 9f80974 pushed by JasonGross
March 5, 2025 17:48 26m 19s more-asm-opcode-parse
March 5, 2025 17:48 26m 19s
Handle rip-relative addressing
Test Generated C #1180: Commit 1051071 pushed by JasonGross
March 5, 2025 17:34 24m 56s parse-rip
March 5, 2025 17:34 24m 56s