Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Actions: lisa-analyzer/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
607 workflow runs
607 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
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
Making Reachability's inner domain public Gradle Build (master) #165: Commit d85c7d3 pushed by lucaneg
6m 50s master
master
6m 50s
Making Reachability's inner domain public Autoupdate PRs on master #164: Commit d85c7d3 pushed by lucaneg
13s master
master
13s
1.0 Release publishing #22: Release v1.0 published by lucaneg
2m 20s
2m 20s
bump version info Gradle Build (master) #164: Commit a6ff036 pushed by lucaneg
7m 23s master
master
7m 23s
bump version info Autoupdate PRs on master #163: Commit a6ff036 pushed by lucaneg
13s master
master
13s
bump version info Release Drafter #144: Commit a6ff036 pushed by lucaneg
10s master
master
10s
Release publishing Release publishing #21: published by lucaneg
2m 29s
2m 29s
[FEATURE REQUEST] Make WholeValueAnalysis and its infrastructure generally available Move resolved issues #718: Issue #357 labeled by lucaneg
9s
9s
[FEATURE REQUEST] Make WholeValueAnalysis and its infrastructure generally available Label closed issues #139: Issue #357 closed by lucaneg
9s
9s
Merge pull request #371 from lisa-analyzer/whole-value-broadening Autoupdate PRs on master #162: Commit 5d1d3f3 pushed by lucaneg
12s master
master
12s
Merge pull request #371 from lisa-analyzer/whole-value-broadening Release Drafter #143: Commit 5d1d3f3 pushed by lucaneg
9s master
master
9s
Merge pull request #371 from lisa-analyzer/whole-value-broadening Gradle Build (master) #163: Commit 5d1d3f3 pushed by lucaneg
6m 40s master
master
6m 40s
Broadening applicability of constraint-based whole value analysis PR: compile, test and check style #787: Pull request #371 synchronize by lucaneg
2m 13s whole-value-broadening
whole-value-broadening
2m 13s
Merge branch 'master' into whole-value-broadening Gradle Build (non-master branch) #699: Commit 5e2f31b pushed by lucaneg
1m 14s whole-value-broadening
whole-value-broadening
1m 14s
formatting and minor changes Gradle Build (non-master branch) #698: Commit 55acf7b pushed by lucaneg
59s whole-value-broadening
whole-value-broadening
59s
Allocation sites should refer to heap Gradle Build (non-master branch) #697: Commit b1d60ac pushed by giacomoboldini
1m 14s llvmir-new
llvmir-new
1m 14s
Running Copilot Code Review Copilot #1: by Copilot AI
4m 24s whole-value-broadening
whole-value-broadening
4m 24s
more tests #357 Gradle Build (non-master branch) #696: Commit 78ad94e pushed by lucaneg
1m 17s whole-value-broadening
whole-value-broadening
1m 17s
Morty Proxy This is a proxified and sanitized view of the page, visit original site.