Skip to content

Actions: lisa-analyzer/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
535 workflow runs
535 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
[FEATURE REQUEST] FixpointInfo should be decoupled from lattice-level operations Move resolved issues #705: Issue #362 labeled by giacomozanatta
2s
2s
#362 Decouple FixpointInfo from ProgramState lattice-level operations PR: compile, test and check style #772: Pull request #363 opened by giacomozanatta
1m 50s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
1m 50s
#362 Decouple FixpointInfo from ProgramState lattice-level operations Label opened prs #108: Pull request #363 opened by giacomozanatta
11s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
11s
#362 Decouple FixpointInfo from ProgramState lattice-level operations Gradle Build (non-master branch) #672: Commit c0846a2 pushed by giacomozanatta
1m 21s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
1m 21s
[FEATURE REQUEST] FixpointInfo should be decoupled from lattice-level operations Move resolved issues #704: Issue #362 labeled by giacomozanatta
1s
1s
[FEATURE REQUEST] FixpointInfo should be decoupled from lattice-level operations Import created issues #159: Issue #362 opened by giacomozanatta
9s
9s
Fix unsound multiplication in Sign domain PR: compile, test and check style #771: Pull request #361 opened by giacomozanatta
2m 3s fix-sign-multiplication-soundness
fix-sign-multiplication-soundness
2m 3s
Fix unsound multiplication in Sign domain Label opened prs #107: Pull request #361 opened by giacomozanatta
12s fix-sign-multiplication-soundness
fix-sign-multiplication-soundness
12s
fix unsound multiplication in Sign domain Gradle Build (non-master branch) #671: Commit aaafded pushed by giacomozanatta
1m 15s fix-sign-multiplication-soundness
fix-sign-multiplication-soundness
1m 15s
Apron integration PR: compile, test and check style #770: Pull request #356 synchronize by RoccoFerrari
Action required RoccoFerrari:apron-maven
RoccoFerrari:apron-maven
Action required
Apron integration PR: compile, test and check style #769: Pull request #356 synchronize by RoccoFerrari
Action required RoccoFerrari:apron-maven
RoccoFerrari:apron-maven
Action required
Merge pull request #360 from lisa-analyzer/flamegraph-improvements Release Drafter #136: Commit de8816b pushed by lucaneg
13s master
master
13s
Merge pull request #360 from lisa-analyzer/flamegraph-improvements Autoupdate PRs on master #155: Commit de8816b pushed by lucaneg
13s master
master
13s
Merge pull request #360 from lisa-analyzer/flamegraph-improvements Gradle Build (master) #156: Commit de8816b pushed by lucaneg
6m 13s master
master
6m 13s
Flamegraph improvements PR: compile, test and check style #768: Pull request #360 synchronize by lucaneg
1m 51s flamegraph-improvements
flamegraph-improvements
1m 51s
copilot review Gradle Build (non-master branch) #670: Commit a24ad9f pushed by lucaneg
1m 20s flamegraph-improvements
flamegraph-improvements
1m 20s
Flamegraph improvements Move ready PRs #88: Pull request #360 unlabeled by lucaneg
10s flamegraph-improvements
flamegraph-improvements
10s
Flamegraph improvements PR: compile, test and check style #767: Pull request #360 opened by lucaneg
2m 0s flamegraph-improvements
flamegraph-improvements
2m 0s
Copilot code review Copilot code review #9: by Copilot AI
5m 9s refs/pull/360/head
refs/pull/360/head
5m 9s
Flamegraph improvements Label opened prs #106: Pull request #360 opened by lucaneg
12s flamegraph-improvements
flamegraph-improvements
12s
adding overview map Gradle Build (non-master branch) #669: Commit 1506593 pushed by lucaneg
1m 20s flamegraph-improvements
flamegraph-improvements
1m 20s
updating tests Gradle Build (non-master branch) #668: Commit dd70432 pushed by lucaneg
1m 20s flamegraph-improvements
flamegraph-improvements
1m 20s
[FEATURE REQUEST] Improve usability of BaseHeapDomain Move resolved issues #703: Issue #358 labeled by lucaneg
11s
11s
[FEATURE REQUEST] Improve usability of BaseHeapDomain Label closed issues #135: Issue #358 closed by lucaneg
11s
11s
Merge pull request #359 from lisa-analyzer/base-heap-domain-rework Gradle Build (master) #155: Commit 3187e60 pushed by lucaneg
7m 34s master
master
7m 34s