Skip to content

Actions: lisa-analyzer/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
562 workflow runs
562 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 LiSAFrontend SPI Gradle Build (non-master branch) #677: Commit fd88483 pushed by giacomozanatta
1m 4s microservices
microservices
1m 4s
Merge pull request #364 from lisa-analyzer/fix-illegal-char-ascii Gradle Build (master) #159: Commit 26b8dab pushed by lucaneg
5m 37s master
master
5m 37s
Merge pull request #364 from lisa-analyzer/fix-illegal-char-ascii Release Drafter #139: Commit 26b8dab pushed by lucaneg
7s master
master
7s
Merge pull request #364 from lisa-analyzer/fix-illegal-char-ascii Autoupdate PRs on master #158: Commit 26b8dab pushed by lucaneg
8s master
master
8s
Fix slash ascii code Move ready PRs #91: Pull request #364 unlabeled by lucaneg
6s fix-illegal-char-ascii
fix-illegal-char-ascii
6s
Fix slash ascii code Label opened prs #109: Pull request #364 opened by giacomozanatta
14s fix-illegal-char-ascii
fix-illegal-char-ascii
14s
Fix slash ascii code PR: compile, test and check style #777: Pull request #364 opened by giacomozanatta
1m 56s fix-illegal-char-ascii
fix-illegal-char-ascii
1m 56s
Fix slash ascii code Gradle Build (non-master branch) #676: Commit 0d61f3a pushed by giacomozanatta
1m 13s fix-illegal-char-ascii
fix-illegal-char-ascii
1m 13s
Apron integration PR: compile, test and check style #776: Pull request #356 synchronize by RoccoFerrari
Action required RoccoFerrari:apron-maven
RoccoFerrari:apron-maven
Action required
Apron integration PR: compile, test and check style #775: Pull request #356 synchronize by RoccoFerrari
1m 24s RoccoFerrari:apron-maven
RoccoFerrari:apron-maven
1m 24s
reworked WholeValueAnalysis to be general #357 Gradle Build (non-master branch) #675: Commit ff5a708 pushed by lucaneg
40s whole-value-broadening
whole-value-broadening
40s
[FEATURE REQUEST] FixpointInfo should be decoupled from lattice-level operations Label closed issues #136: Issue #362 closed by lucaneg
10s
10s
Merge pull request #363 from lisa-analyzer/362-fixpoint-info-not-in-l… Gradle Build (master) #158: Commit 11f4e35 pushed by lucaneg
6m 24s master
master
6m 24s
Merge pull request #363 from lisa-analyzer/362-fixpoint-info-not-in-l… Release Drafter #138: Commit 11f4e35 pushed by lucaneg
10s master
master
10s
Merge pull request #363 from lisa-analyzer/362-fixpoint-info-not-in-l… Autoupdate PRs on master #157: Commit 11f4e35 pushed by lucaneg
12s master
master
12s
#362 Decouple FixpointInfo from ProgramState lattice-level operations PR: compile, test and check style #774: Pull request #363 synchronize by giacomozanatta
1m 49s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
1m 49s
#362 Add clearExecutionInfo() in AnalysisState Gradle Build (non-master branch) #674: Commit 87dd4af pushed by giacomozanatta
1m 20s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
1m 20s
#362 Decouple FixpointInfo from ProgramState lattice-level operations PR: compile, test and check style #773: Pull request #363 synchronize by lucaneg
1m 47s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
1m 47s
Merge master into 362-fixpoint-info-not-in-lattice-ops Gradle Build (non-master branch) #673: Commit f1a4712 pushed by lucaneg
1m 17s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
1m 17s
Merge pull request #361 from lisa-analyzer/fix-sign-multiplication-so… Autoupdate PRs on master #156: Commit 16fe4e8 pushed by lucaneg
13s master
master
13s
Merge pull request #361 from lisa-analyzer/fix-sign-multiplication-so… Release Drafter #137: Commit 16fe4e8 pushed by lucaneg
10s master
master
10s
Merge pull request #361 from lisa-analyzer/fix-sign-multiplication-so… Gradle Build (master) #157: Commit 16fe4e8 pushed by lucaneg
6m 14s master
master
6m 14s
Fix unsound multiplication in Sign domain Move ready PRs #90: Pull request #361 unlabeled by lucaneg
11s fix-sign-multiplication-soundness
fix-sign-multiplication-soundness
11s
#362 Decouple FixpointInfo from ProgramState lattice-level operations Move ready PRs #89: Pull request #363 unlabeled by lucaneg
10s 362-fixpoint-info-not-in-lattice-ops
362-fixpoint-info-not-in-lattice-ops
10s
[FEATURE REQUEST] FixpointInfo should be decoupled from lattice-level operations Move resolved issues #708: Issue #362 labeled by lucaneg
8s
8s