Skip to content

Actions: trailofbits/multiplier

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
33 workflow runs
33 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Symex: fork isolation, concrete-detection hardening, bulk-memory hook… Build #1097: Commit 3d07cd5 pushed by kumarak
2h 4m 12s main
main
2h 4m 12s
Symex: fork isolation, concrete-detection hardening, bulk-memory hook surface, explore_next Build #1096: Pull request #590 opened by pgoodman
1h 58m 33s feature/symex-fork-isolation-and-hardening
feature/symex-fork-isolation-and-hardening
1h 58m 33s
Symex: typed step-result wire; suspend on unresolved globals; drop ki… Build #1095: Commit d7743f9 pushed by kumarak
1h 46m 32s main
main
1h 46m 32s
Symex: typed step-result wire; suspend on unresolved globals; drop kind tags Build #1094: Pull request #589 opened by pgoodman
1h 22m 28s symex-typed-wire-protocol
symex-typed-wire-protocol
1h 22m 28s
IRGen: fix EnumConstantDecl miscompile + verifier; symex: structural … Build #1093: Commit 6d3100a pushed by kumarak
1h 58m 24s main
main
1h 58m 24s
IRGen: fix EnumConstantDecl miscompile + verifier; symex: structural Concat fold for byte shadows Build #1092: Pull request #588 opened by pgoodman
2h 1m 48s feature/irgen-decl-ref-fix
feature/irgen-decl-ref-fix
2h 1m 48s
Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL gu… Build #1091: Commit 81a86a0 pushed by kumarak
1h 44m 18s main
main
1h 44m 18s
Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL guards Build #1090: Pull request #587 opened by pgoodman
1h 46m 30s symex-hardening-and-irgen-fixes
symex-hardening-and-irgen-fixes
1h 46m 30s
Closed: superseded Build #1089: Pull request #586 opened by pgoodman
1m 11s symex-hardening-and-irgen-fixes
symex-hardening-and-irgen-fixes
1m 11s
Add symbolic execution engine (Phases 0-14) with IR binding fixes (#585) Build #1088: Commit 3adf81d pushed by kumarak
2h 0m 39s main
main
2h 0m 39s
Add symbolic execution engine (Phases 0-14) with IR binding fixes Build #1087: Pull request #585 opened by pgoodman
1h 43m 48s feature/symbolic-execution
feature/symbolic-execution
1h 43m 48s
Add configurable argument filter for mx-index (#584) Build #1086: Commit a784e63 pushed by kumarak
1h 56m 51s main
main
1h 56m 51s
Add configurable argument filter for mx-index Build #1085: Pull request #584 synchronize by pgoodman
1h 20m 34s fix/indexer-improvements
fix/indexer-improvements
1h 20m 34s
Add configurable argument filter for mx-index Build #1084: Pull request #584 opened by pgoodman
19m 59s fix/indexer-improvements
fix/indexer-improvements
19m 59s
Refactor interpreter from monolithic CLI to policy-based library (#583) Build #1083: Commit 9970c91 pushed by kumarak
1h 40m 34s main
main
1h 40m 34s
Refactor interpreter to policy-based library Build #1082: Pull request #583 opened by pgoodman
1h 52m 54s feature/interpreter-refactor
feature/interpreter-refactor
1h 52m 54s
Upgrade vendored dependencies (#582) Build #1081: Commit 6ed2e1e pushed by pgoodman
1h 43m 57s main
main
1h 43m 57s
Upgrade vendored dependencies Build #1080: Pull request #582 synchronize by pgoodman
1h 33m 41s fix/vendor-upgrades
fix/vendor-upgrades
1h 33m 41s
Upgrade vendored dependencies Build #1079: Pull request #582 synchronize by pgoodman
35s fix/vendor-upgrades
fix/vendor-upgrades
35s
Upgrade vendored dependencies Build #1078: Pull request #582 opened by pgoodman
8m 46s fix/vendor-upgrades
fix/vendor-upgrades
8m 46s
Add statement-level IR with codegen, interpreter, and test suite (#581) Build #1077: Commit c620dcc pushed by kumarak
1h 32m 36s main
main
1h 32m 36s
Add statement-level IR with codegen, interpreter, and test suite Build #1076: Pull request #581 synchronize by pgoodman
1h 58m 27s feature/ir-codegen
feature/ir-codegen
1h 58m 27s
Add statement-level IR with codegen, interpreter, and test suite Build #1075: Pull request #581 synchronize by pgoodman
16m 41s feature/ir-codegen
feature/ir-codegen
16m 41s
Add statement-level IR with codegen, interpreter, and test suite Build #1074: Pull request #581 synchronize by pgoodman
1h 56m 23s feature/ir-codegen
feature/ir-codegen
1h 56m 23s
Add statement-level IR with codegen, interpreter, and test suite Build #1073: Pull request #581 synchronize by pgoodman
46m 40s feature/ir-codegen
feature/ir-codegen
46m 40s