Skip to content

Actions: Fraunhofer-AISEC/cpg-contract-checker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md with Zenodo Link build #226: Commit 4ff0493 pushed by konradweiss
October 23, 2024 13:34 5m 40s main
main
October 23, 2024 13:34 5m 40s
Update build.yml build #225: Commit 43856da pushed by konradweiss
September 2, 2024 18:32 5m 39s main
main
September 2, 2024 18:32 5m 39s
Initial commit build #224: Commit c531ae3 pushed by konradweiss
September 2, 2024 18:12 1m 23s main
main
September 2, 2024 18:12 1m 23s
Update GitHub worklfow build build #223: Commit d2264e9 pushed by fwendland
August 22, 2024 07:19 6m 53s main
main
August 22, 2024 07:19 6m 53s
build build #222: Manually run by fwendland
August 21, 2024 14:13 5m 39s main
main
August 21, 2024 14:13 5m 39s
Enable Neo4j's apoc build #221: Commit 4e842b8 pushed by fwendland
May 8, 2024 07:23 6m 41s main
main
May 8, 2024 07:23 6m 41s
Add apoc dowload into docker build build #220: Commit 063d43a pushed by konradweiss
May 7, 2024 23:27 5m 18s main
main
May 7, 2024 23:27 5m 18s
Update type and query to improve reentrancy build #219: Commit e06c88f pushed by konradweiss
May 6, 2024 10:48 5m 22s main
main
May 6, 2024 10:48 5m 22s
Fix Type resolution for array subscriptions that use a mapping build #218: Commit aa7692b pushed by konradweiss
April 24, 2024 13:45 5m 38s main
main
April 24, 2024 13:45 5m 38s
Differentiation between source snippets and parallel snippets build #217: Commit b4901de pushed by konradweiss
December 6, 2023 15:17 6m 23s main
main
December 6, 2023 15:17 6m 23s
Add separation of contracts to verify that are comming from the snipp… build #216: Commit 5f7e9f7 pushed by konradweiss
December 4, 2023 23:02 6m 12s main
main
December 4, 2023 23:02 6m 12s
remove check for low node graphs build #215: Commit f6e378a pushed by konradweiss
December 4, 2023 16:36 6m 15s main
main
December 4, 2023 16:36 6m 15s
Lower threshold for really small snippets build #214: Commit fe1cd77 pushed by konradweiss
December 4, 2023 16:13 5m 54s main
main
December 4, 2023 16:13 5m 54s
Merge branch 'main' of github.com:Fraunhofer-AISEC/cpg-contract-check… build #213: Commit 1b52f97 pushed by konradweiss
December 4, 2023 14:15 7m 16s main
main
December 4, 2023 14:15 7m 16s
Merge branch 'main' of github.com:Fraunhofer-AISEC/cpg-contract-checker build #212: Commit c76312c pushed by christoftorres
December 4, 2023 09:34 7m 30s main
main
December 4, 2023 09:34 7m 30s
Merge branch 'main' of github.com:Fraunhofer-AISEC/cpg-contract-check… build #211: Commit b95af47 pushed by konradweiss
December 4, 2023 00:12 6m 41s main
main
December 4, 2023 00:12 6m 41s
Merge branch 'main' of github.com:Fraunhofer-AISEC/cpg-contract-checker build #210: Commit 36eca61 pushed by christoftorres
December 2, 2023 20:39 6m 14s main
main
December 2, 2023 20:39 6m 14s
Readding block and adapt Frontend to handle new grammar build #209: Commit f1b2c6e pushed by konradweiss
December 1, 2023 09:29 6m 16s main
main
December 1, 2023 09:29 6m 16s
Adjust fuzzy grammar after discussion on contractPart and possible sn… build #208: Commit 7c6dd39 pushed by fwendland
December 1, 2023 09:04 7m 24s main
main
December 1, 2023 09:04 7m 24s
Merge pull request #33 from Fraunhofer-AISEC/fw/update-fuzzy-grammar build #207: Commit f0c5f81 pushed by konradweiss
November 30, 2023 15:14 8m 58s main
main
November 30, 2023 15:14 8m 58s
Fixinginternal exclusion in arithmetic and add comments to some queries build #206: Commit 32ea845 pushed by konradweiss
November 30, 2023 15:07 7m 1s main
main
November 30, 2023 15:07 7m 1s
Update ANTLR grammar and make it fuzzy build #205: Pull request #33 opened by fwendland
November 30, 2023 14:21 7m 39s fw/update-fuzzy-grammar
fw/update-fuzzy-grammar
November 30, 2023 14:21 7m 39s
Excluding internal functions build #204: Commit 589fadf pushed by konradweiss
November 29, 2023 23:01 6m 59s main
main
November 29, 2023 23:01 6m 59s
Fix mitigation search in over and underflows build #203: Commit db42d6d pushed by konradweiss
November 29, 2023 17:52 7m 50s main
main
November 29, 2023 17:52 7m 50s
Fixing access control selfloop in eog build #202: Commit f5b1840 pushed by konradweiss
November 28, 2023 12:50 6m 37s main
main
November 28, 2023 12:50 6m 37s