Skip to content

Actions: lisa-analyzer/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
609 workflow runs
609 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Snapshot custom branch Snapshot custom branch #43: Manually run by lucaneg
7m 20s svcomp-2027
svcomp-2027
7m 20s
Fixes for SV-COMP 2027 PR: compile, test and check style #792: Pull request #374 synchronize by lucaneg
2m 11s svcomp-2027
svcomp-2027
2m 11s
Made two methods protected for better extensibility Gradle Build (non-master branch) #708: Commit f77e2b3 pushed by lucaneg
1m 26s svcomp-2027
svcomp-2027
1m 26s
Fixes for SV-COMP 2027 PR: compile, test and check style #791: Pull request #374 synchronize by lucaneg
2m 25s svcomp-2027
svcomp-2027
2m 25s
Addressing copilot review #373 Gradle Build (non-master branch) #707: Commit 437387c pushed by lucaneg
15m 58s svcomp-2027
svcomp-2027
15m 58s
Snapshot custom branch Snapshot custom branch #42: Manually run by lucaneg
6m 50s svcomp-2027
svcomp-2027
6m 50s
Running Copilot Code Review Copilot #2: by Copilot AI
3m 23s svcomp-2027
svcomp-2027
3m 23s
Fixes for SV-COMP 2027 Label opened prs #114: Pull request #374 opened by lucaneg
24s svcomp-2027
svcomp-2027
24s
Fixes for SV-COMP 2027 PR: compile, test and check style #790: Pull request #374 opened by lucaneg
2m 2s svcomp-2027
svcomp-2027
2m 2s
Weakened validity check of ProtectionBlock #373 Gradle Build (non-master branch) #706: Commit 3d28deb pushed by lucaneg
1m 15s svcomp-2027
svcomp-2027
1m 15s
[BUG] Validity check of ProtectionBlock is too narrow Move resolved issues #722: Issue #373 labeled by lucaneg
13s
13s
[BUG] Validity check of ProtectionBlock is too narrow Move resolved issues #721: Issue #373 labeled by lucaneg
1s
1s
[BUG] Validity check of ProtectionBlock is too narrow Move resolved issues #720: Issue #373 labeled by lucaneg
1s
1s
[BUG] Validity check of ProtectionBlock is too narrow Move resolved issues #719: Issue #373 labeled by lucaneg
1s
1s
[BUG] Validity check of ProtectionBlock is too narrow Import created issues #163: Issue #373 opened by lucaneg
10s
10s
Merge remote-tracking branch 'origin/master' into llvmir-new Gradle Build (non-master branch) #705: Commit 2559a0a pushed by giacomoboldini
1m 25s llvmir-new
llvmir-new
1m 25s
Merge remote-tracking branch 'origin/master' into llvmir-new #127 Gradle Build (non-master branch) #704: Commit d0d613b pushed by giacomoboldini
1m 26s llvmir-new
llvmir-new
1m 26s
Split AccessChild into StaticAccess (p.f) and DynamicAccess (p[s]) #127 Gradle Build (non-master branch) #703: Commit 411be60 pushed by giacomoboldini
1m 27s llvmir-new
llvmir-new
1m 27s
Add CFG transformation interface with loop unrolling Label opened prs #113: Pull request #372 opened by giacomozanatta
15s gzanatta/loop-unrolling
gzanatta/loop-unrolling
15s
Add CFG transformation interface with loop unrolling PR: compile, test and check style #789: Pull request #372 opened by giacomozanatta
1m 45s gzanatta/loop-unrolling
gzanatta/loop-unrolling
1m 45s
Add CFG transformation interface with loop unrolling Gradle Build (non-master branch) #702: Commit 1b096b3 pushed by giacomozanatta
1m 22s gzanatta/loop-unrolling
gzanatta/loop-unrolling
1m 22s
Split AccessChild into StaticAccess (p.f) and DynamicAccess (p[s]) Gradle Build (non-master branch) #701: Commit b4866db pushed by giacomoboldini
1m 21s llvmir-new
llvmir-new
1m 21s
Align memory expression classes Gradle Build (non-master branch) #700: Commit eed062f pushed by giacomoboldini
1m 17s llvmir-new
llvmir-new
1m 17s
Apron integration PR: compile, test and check style #788: Pull request #356 synchronize by VincenzoArceri
Action required RoccoFerrari:apron-maven
RoccoFerrari:apron-maven
Action required
Making Reachability's inner domain public Release Drafter #145: Commit d85c7d3 pushed by lucaneg
9s master
master
9s