Skip to content

Actions: toolCHAINZ/jingle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add call Check #127: Commit 1a52400 pushed by toolCHAINZ
November 5, 2024 16:43 1m 41s semantics
semantics
November 5, 2024 16:43 1m 41s
Remove duplicate def Check #126: Commit dcfb48b pushed by toolCHAINZ
November 5, 2024 16:27 1m 32s semantics
semantics
November 5, 2024 16:27 1m 32s
Merge branch 'dev' of github-toolchainz-ssh:toolCHAINZ/jingle into se… Check #125: Commit fe691ab pushed by toolCHAINZ
November 5, 2024 16:21 1m 45s semantics
semantics
November 5, 2024 16:21 1m 45s
Change branch flag Check #124: Commit 703f071 pushed by toolCHAINZ
November 5, 2024 16:19 1m 42s semantics
semantics
November 5, 2024 16:19 1m 42s
Update jingle.svg Check #123: Commit e77167b pushed by toolCHAINZ
November 5, 2024 00:16 1m 38s dev
dev
November 5, 2024 00:16 1m 38s
Update logo Check #122: Commit ed9566c pushed by toolCHAINZ
November 4, 2024 21:23 1m 48s dev
dev
November 4, 2024 21:23 1m 48s
Add merge of cache Check #121: Commit 58eb04d pushed by toolCHAINZ
November 1, 2024 23:48 1m 42s semantics
semantics
November 1, 2024 23:48 1m 42s
Very initial gross control flow recovery Check #120: Commit b820f15 pushed by toolCHAINZ
November 1, 2024 23:38 1m 37s semantics
semantics
November 1, 2024 23:38 1m 37s
Add helper to summarize branches Check #119: Commit 6776fcf pushed by toolCHAINZ
November 1, 2024 21:00 1m 38s semantics
semantics
November 1, 2024 21:00 1m 38s
Add helper to summarize branches Check #118: Commit fad7e0f pushed by toolCHAINZ
November 1, 2024 20:59 1m 46s dev
dev
November 1, 2024 20:59 1m 46s
Fix relative pcode branch destination Check #117: Commit 368ff75 pushed by toolCHAINZ
November 1, 2024 20:32 1m 48s semantics
semantics
November 1, 2024 20:32 1m 48s
cherrypick get_bytes Check #116: Commit 0d3f640 pushed by toolCHAINZ
October 30, 2024 11:11 1m 42s dev
dev
October 30, 2024 11:11 1m 42s
Initial cache for building cfg Check #115: Commit bd8fe56 pushed by toolCHAINZ
October 30, 2024 11:07 1m 46s semantics
semantics
October 30, 2024 11:07 1m 46s
Add methods to apply operations to state Check #114: Commit ed7e2fc pushed by toolCHAINZ
October 30, 2024 10:41 2m 23s semantics
semantics
October 30, 2024 10:41 2m 23s
ide warnings Check #113: Commit bfc1128 pushed by toolCHAINZ
October 30, 2024 10:13 1m 39s semantics
semantics
October 30, 2024 10:13 1m 39s
Add clone to context Check #112: Commit 11d0ca2 pushed by toolCHAINZ
October 30, 2024 10:05 1m 55s semantics
semantics
October 30, 2024 10:05 1m 55s
Simplify concretize Check #111: Commit acc5635 pushed by toolCHAINZ
October 30, 2024 09:19 1m 40s semantics
semantics
October 30, 2024 09:19 1m 40s
Remove extra file Check #110: Commit dd7837f pushed by toolCHAINZ
October 29, 2024 20:33 1m 40s semantics
semantics
October 29, 2024 20:33 1m 40s
Fix CLI build Check #109: Commit ec9ee93 pushed by toolCHAINZ
October 29, 2024 20:21 1m 40s semantics
semantics
October 29, 2024 20:21 1m 40s
Some little pcode tweaks Check #108: Commit 305d031 pushed by toolCHAINZ
October 29, 2024 19:44 1m 40s semantics
semantics
October 29, 2024 19:44 1m 40s
More formatting Check #107: Commit cc69baa pushed by toolCHAINZ
October 29, 2024 11:30 1m 42s semantics
semantics
October 29, 2024 11:30 1m 42s
Fix imports Check #106: Commit cc72b90 pushed by toolCHAINZ
October 29, 2024 11:27 1m 37s semantics
semantics
October 29, 2024 11:27 1m 37s
Clippy and fmt Check #105: Commit 9e71d0b pushed by toolCHAINZ
October 29, 2024 10:46 1m 38s semantics
semantics
October 29, 2024 10:46 1m 38s
Add memory state relation Check #104: Commit 5e0fbbc pushed by toolCHAINZ
October 29, 2024 10:19 1m 41s semantics
semantics
October 29, 2024 10:19 1m 41s
Name tweak Check #103: Commit 2acef25 pushed by toolCHAINZ
October 27, 2024 12:04 1m 32s dev
dev
October 27, 2024 12:04 1m 32s