Skip to content

Actions: flowr-analysis/flowr

Actions

QA

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
qa.yaml
2,656 workflow runs
2,656 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added support for named list arguments QA #2872: Pull request #1151 synchronize by Slartibartfass2
December 3, 2024 12:15 21s 1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
December 3, 2024 12:15 21s
feat(list-access): overwrite definition of indices if list is redefined QA #2871: Commit 3bc497c pushed by Slartibartfass2
December 3, 2024 12:14 1m 46s 1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
December 3, 2024 12:14 1m 46s
Added support for named list arguments QA #2870: Pull request #1151 synchronize by Slartibartfass2
December 3, 2024 11:10 21s 1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
December 3, 2024 11:10 21s
feat(list-access): replacement function are not marked as maybe anymore QA #2869: Commit e0f8f9f pushed by Slartibartfass2
December 3, 2024 11:10 2m 2s 1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
December 3, 2024 11:10 2m 2s
1194 an assign with an unknown target is an unknown side effect (#1195) QA #2868: Commit fdbcc7f pushed by EagleoutIce
December 1, 2024 19:47 17m 25s main
main
December 1, 2024 19:47 17m 25s
1194 an assign with an unknown target is an unknown side effect QA #2867: Pull request #1195 opened by EagleoutIce
December 1, 2024 19:44 16s 1194-an-assign-with-an-unknown-target-is-an-unknown-side-effect
1194-an-assign-with-an-unknown-target-is-an-unknown-side-effect
December 1, 2024 19:44 16s
feat-fix: assign may be unknown side effect if target unknown QA #2866: Commit bfe5fb3 pushed by EagleoutIce
December 1, 2024 19:44 2m 32s 1194-an-assign-with-an-unknown-target-is-an-unknown-side-effect
1194-an-assign-with-an-unknown-target-is-an-unknown-side-effect
December 1, 2024 19:44 2m 32s
Support maps:map and cascade on unknown side effects by predicate (… QA #2865: Commit 85c626e pushed by EagleoutIce
December 1, 2024 17:33 15m 45s main
main
December 1, 2024 17:33 15m 45s
Support maps:map and cascade on unknown side effects by predicate QA #2864: Pull request #1193 opened by EagleoutIce
December 1, 2024 17:23 17s 1192-support-to-continue-the-search-with-link-to-last-call-query
1192-support-to-continue-the-search-with-link-to-last-call-query
December 1, 2024 17:23 17s
feat: support maps::map with flag QA #2863: Commit ddc3a55 pushed by EagleoutIce
December 1, 2024 17:23 2m 26s 1192-support-to-continue-the-search-with-link-to-last-call-query
1192-support-to-continue-the-search-with-link-to-last-call-query
December 1, 2024 17:23 2m 26s
Added support for named list arguments QA #2862: Pull request #1151 synchronize by Slartibartfass2
December 1, 2024 15:24 18s 1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
December 1, 2024 15:24 18s
test(list-access): extended slicing tests QA #2861: Commit 5fb699b pushed by Slartibartfass2
December 1, 2024 15:24 1m 40s 1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
1139-add-support-for-named-list-arguments-field-sensitive-pointer-analysis
December 1, 2024 15:24 1m 40s
Merge remote-tracking branch 'origin/main' QA #2860: Commit 7b756c5 pushed by EagleoutIce
December 1, 2024 10:11 17m 6s main
main
December 1, 2024 10:11 17m 6s
perf: refactor array handling QA #2859: Commit f5b7a97 pushed by EagleoutIce
December 1, 2024 08:07 16m 45s main
main
December 1, 2024 08:07 16m 45s
feat: support car::Import (fixes #1190) and car::Export (fixes #1… QA #2858: Commit f5ce6d1 pushed by EagleoutIce
December 1, 2024 07:35 16m 17s main
main
December 1, 2024 07:35 16m 17s
feat: support car::Import (fixes #1190) and car::Export (fixes #1189) QA #2857: Pull request #1191 opened by EagleoutIce
December 1, 2024 07:32 16s 1189-carexport-writes-on-file
1189-carexport-writes-on-file
December 1, 2024 07:32 16s
feat: sup. car::Import (fixes #1190) and car::Export (fixes #1189) QA #2856: Commit 2b7c8f4 pushed by EagleoutIce
December 1, 2024 07:32 2m 28s 1189-carexport-writes-on-file
1189-carexport-writes-on-file
December 1, 2024 07:32 2m 28s
Feat: Support data dataset import (#1187) QA #2855: Commit 48956f2 pushed by EagleoutIce
November 30, 2024 20:36 16m 35s main
main
November 30, 2024 20:36 16m 35s
Feat: Support data dataset import QA #2854: Pull request #1187 opened by EagleoutIce
November 30, 2024 20:33 18s 1186-utilsdata
1186-utilsdata
November 30, 2024 20:33 18s
feat: support data calls as unknown side effects QA #2853: Commit ff82266 pushed by EagleoutIce
November 30, 2024 20:32 2m 26s 1186-utilsdata
1186-utilsdata
November 30, 2024 20:32 2m 26s
Fix: CFG with unary operator nestings (#1185) QA #2852: Commit f9e674a pushed by EagleoutIce
November 30, 2024 20:07 17m 2s main
main
November 30, 2024 20:07 17m 2s
Fix: CFG with unary operator nestings QA #2851: Pull request #1185 opened by EagleoutIce
November 30, 2024 20:05 15s 1183-mapsmap-as-plotting
1183-mapsmap-as-plotting
November 30, 2024 20:05 15s
feat-fix(cfg): unary op exit points QA #2850: Commit 89d3936 pushed by EagleoutIce
November 30, 2024 20:04 2m 28s 1183-mapsmap-as-plotting
1183-mapsmap-as-plotting
November 30, 2024 20:04 2m 28s
Extend on the System Tests (#1182) QA #2849: Commit 6ba4ce4 pushed by EagleoutIce
November 30, 2024 09:32 16m 0s main
main
November 30, 2024 09:32 16m 0s
Extend on the System Tests QA #2848: Pull request #1182 synchronize by EagleoutIce
November 30, 2024 09:21 15s 1179-extend-on-system-tests
1179-extend-on-system-tests
November 30, 2024 09:21 15s