Skip to content

Actions: nevillegrech/gigahorse-toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Various small memory modeling improvements CI-Tests #67: Pull request #106 opened by sifislag
July 27, 2023 11:22 22m 57s memory_modeling
memory_modeling
July 27, 2023 11:22 22m 57s
Move code around, introduce VariableDefinedInLoopUsedAfter. CI-Tests #66: Commit f719927 pushed by sifislag
July 6, 2023 15:33 23m 26s master
master
July 6, 2023 15:33 23m 26s
Merge pull request #103 from nevillegrech/cleanup_decomp_out CI-Tests #65: Commit a2676fb pushed by sifislag
July 5, 2023 15:09 27m 38s master
master
July 5, 2023 15:09 27m 38s
Cleanup decompiler_output.dl CI-Tests #64: Pull request #103 opened by sifislag
July 5, 2023 14:42 24m 33s cleanup_decomp_out
cleanup_decomp_out
July 5, 2023 14:42 24m 33s
Slightly stricter BlockPushesLabel (#102) CI-Tests #63: Commit 8e3a516 pushed by sifislag
July 4, 2023 13:20 26m 27s master
master
July 4, 2023 13:20 26m 27s
Slightly stricter BlockPushesLabel CI-Tests #62: Pull request #102 opened by sifislag
July 4, 2023 13:11 30m 49s stricter_blockpusheslabel
stricter_blockpusheslabel
July 4, 2023 13:11 30m 49s
Add some more relations to debug CI-Tests #61: Commit b122676 pushed by sifislag
July 3, 2023 11:03 26m 6s master
master
July 3, 2023 11:03 26m 6s
Small fix in arrays CI-Tests #60: Commit 3160bd1 pushed by sifislag
June 29, 2023 16:21 28m 6s master
master
June 29, 2023 16:21 28m 6s
Increase the maximum number of private function args and rets to 50 (… CI-Tests #59: Commit 5f89f49 pushed by sifislag
June 28, 2023 18:58 23m 46s master
master
June 28, 2023 18:58 23m 46s
Increase the maximum number of private function args and rets to 50 CI-Tests #58: Pull request #101 synchronize by sifislag
June 28, 2023 16:16 27m 24s increase_num_of_args
increase_num_of_args
June 28, 2023 16:16 27m 24s
Increase the maximum number of private function args and rets to 50 CI-Tests #57: Pull request #101 opened by sifislag
June 28, 2023 15:42 26m 38s increase_num_of_args
increase_num_of_args
June 28, 2023 15:42 26m 38s
Add Analytics_StmtMissingOperand to compare-runs.py CI-Tests #56: Commit c613975 pushed by sifislag
June 28, 2023 13:23 26m 36s master
master
June 28, 2023 13:23 26m 36s
Clients get the full timeout as well. (#100) CI-Tests #55: Commit 4ce2182 pushed by sifislag
June 28, 2023 09:08 25m 32s master
master
June 28, 2023 09:08 25m 32s
Clients get the full timeout as well. CI-Tests #54: Pull request #100 opened by sifislag
June 27, 2023 23:00 27m 31s timeout_logic_change
timeout_logic_change
June 27, 2023 23:00 27m 31s
Merge pull request #99 from nevillegrech/memory_modeling CI-Tests #53: Commit 7d91682 pushed by sifislag
June 27, 2023 14:54 28m 0s master
master
June 27, 2023 14:54 28m 0s
Various memory modeling improvements CI-Tests #52: Pull request #99 opened by sifislag
June 27, 2023 14:27 25m 56s memory_modeling
memory_modeling
June 27, 2023 14:27 25m 56s
Refactor gigahorse to allow for different fact generators (#98) CI-Tests #51: Commit 61ef3da pushed by sifislag
June 23, 2023 10:47 21m 50s master
master
June 23, 2023 10:47 21m 50s
Refactor gigahorse to allow for different fact generators CI-Tests #50: Pull request #98 synchronize by sifislag
June 22, 2023 08:10 22m 14s refactor_factgen
refactor_factgen
June 22, 2023 08:10 22m 14s
Refactor gigahorse to allow for different fact generators CI-Tests #49: Pull request #98 synchronize by sifislag
June 21, 2023 09:57 22m 17s refactor_factgen
refactor_factgen
June 21, 2023 09:57 22m 17s
Refactor gigahorse to allow for different fact generators CI-Tests #48: Pull request #98 opened by sifislag
June 21, 2023 09:09 20m 39s refactor_factgen
refactor_factgen
June 21, 2023 09:09 20m 39s
CI-Tests CI-Tests #47: Manually run by sifislag
June 20, 2023 14:40 23m 57s refactor_factgen
refactor_factgen
June 20, 2023 14:40 23m 57s
CI-Tests CI-Tests #46: Manually run by sifislag
June 20, 2023 14:20 19m 57s refactor_factgen
refactor_factgen
June 20, 2023 14:20 19m 57s
Increase stack limit from 50 to 70, increasing global analysis covera… CI-Tests #45: Commit 84b26f7 pushed by sifislag
June 15, 2023 13:52 26m 5s master
master
June 15, 2023 13:52 26m 5s
Increase stack limit from 50 to 70, increasing global analysis coverage CI-Tests #44: Pull request #97 opened by sifislag
June 15, 2023 13:23 27m 58s increase_stacklimit
increase_stacklimit
June 15, 2023 13:23 27m 58s
Minor improvement in error reporting of souffle executions CI-Tests #43: Commit cdd7571 pushed by sifislag
June 12, 2023 14:53 30m 29s master
master
June 12, 2023 14:53 30m 29s