Skip to content

Actions: lisa-analyzer/lisa

Actions

Move resolved issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
resolved-issues.yml
58 workflow runs
58 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
[FEATURE REQUEST] Backward analysis (beta) Move resolved issues #552: Issue #120 labeled by lucaneg
October 9, 2023 09:21 13s
October 9, 2023 09:21 13s
[FEATURE REQUEST] Backward analysis (final version) Move resolved issues #551: Issue #292 labeled by lucaneg
October 6, 2023 15:25 4s
October 6, 2023 15:25 4s
[FEATURE REQUEST] Backward analysis (final version) Move resolved issues #550: Issue #292 labeled by lucaneg
October 6, 2023 15:25 3s
October 6, 2023 15:25 3s
[FEATURE REQUEST] Backward analysis (final version) Move resolved issues #549: Issue #292 labeled by lucaneg
October 6, 2023 15:25 3s
October 6, 2023 15:25 3s
[FEATURE REQUEST] Customizable initialization of entrypoints parameters Move resolved issues #548: Issue #280 labeled by lucaneg
October 2, 2023 21:04 12s
October 2, 2023 21:04 12s
[BUG] Annotations are not propagated to heap identifiers Move resolved issues #547: Issue #286 labeled by lucaneg
October 2, 2023 20:10 15s
October 2, 2023 20:10 15s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Move resolved issues #546: Issue #291 labeled by lucaneg
October 2, 2023 20:10 13s
October 2, 2023 20:10 13s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Move resolved issues #545: Issue #291 labeled by lucaneg
September 21, 2023 10:55 3s
September 21, 2023 10:55 3s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Move resolved issues #544: Issue #291 labeled by lucaneg
September 21, 2023 10:55 3s
September 21, 2023 10:55 3s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Move resolved issues #543: Issue #291 labeled by lucaneg
September 21, 2023 10:55 3s
September 21, 2023 10:55 3s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Move resolved issues #542: Issue #291 labeled by lucaneg
September 21, 2023 10:55 3s
September 21, 2023 10:55 3s
[FEATURE REQUEST] Add support for arraylength in IMP Move resolved issues #541: Issue #288 labeled by lucaneg
September 11, 2023 17:21 17s
September 11, 2023 17:21 17s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Move resolved issues #540: Issue #287 labeled by lucaneg
September 11, 2023 15:19 18s
September 11, 2023 15:19 18s
[FEATURE REQUEST] Add support for arraylength in IMP Move resolved issues #539: Issue #288 labeled by lucaneg
September 9, 2023 12:54 2s
September 9, 2023 12:54 2s
[FEATURE REQUEST] Add support for arraylength in IMP Move resolved issues #538: Issue #288 labeled by lucaneg
September 9, 2023 12:54 2s
September 9, 2023 12:54 2s
[FEATURE REQUEST] Add support for arraylength in IMP Move resolved issues #537: Issue #288 labeled by lucaneg
September 9, 2023 12:54 2s
September 9, 2023 12:54 2s
[BUG] Review assignment rules Move resolved issues #536: Issue #284 labeled by lucaneg
September 8, 2023 15:46 11s
September 8, 2023 15:46 11s
[FEATURE REQUEST] Customizable defaults for environments Move resolved issues #535: Issue #279 labeled by lucaneg
September 8, 2023 15:37 13s
September 8, 2023 15:37 13s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Move resolved issues #534: Issue #287 labeled by lucaneg
September 8, 2023 13:30 3s
September 8, 2023 13:30 3s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Move resolved issues #533: Issue #287 labeled by lucaneg
September 8, 2023 13:30 3s
September 8, 2023 13:30 3s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Move resolved issues #532: Issue #287 labeled by lucaneg
September 8, 2023 13:30 3s
September 8, 2023 13:30 3s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Move resolved issues #531: Issue #287 labeled by lucaneg
September 8, 2023 13:30 3s
September 8, 2023 13:30 3s
[BUG] Annotations are not propagated to heap identifiers Move resolved issues #530: Issue #286 labeled by lucaneg
September 8, 2023 13:03 3s
September 8, 2023 13:03 3s
[BUG] Annotations are not propagated to heap identifiers Move resolved issues #529: Issue #286 labeled by lucaneg
September 8, 2023 13:03 3s
September 8, 2023 13:03 3s
[BUG] AnalysisSetupException: No registered default for different default interface Move resolved issues #528: Issue #268 labeled by lucaneg
September 8, 2023 10:38 14s
September 8, 2023 10:38 14s