Skip to content

Actions: lisa-analyzer/lisa

Actions

PR: compile, test and check style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add file Apron.java and edit file build.gradle PR: compile, test and check style #638: Pull request #321 opened by ariannacipolla
November 14, 2024 14:39 1m 26s ariannacipolla:APRON
ariannacipolla:APRON
November 14, 2024 14:39 1m 26s
modifications on split cache implementation PR: compile, test and check style #637: Pull request #318 synchronize by VincenzoArceri
September 7, 2024 14:27 50s yoooimg:splitBranch
yoooimg:splitBranch
September 7, 2024 14:27 50s
Html visualizer rework PR: compile, test and check style #634: Pull request #319 synchronize by lucaneg
August 16, 2024 12:47 1m 56s html-visualizer-rework
html-visualizer-rework
August 16, 2024 12:47 1m 56s
Html visualizer rework PR: compile, test and check style #633: Pull request #319 opened by lucaneg
August 16, 2024 11:20 1m 58s html-visualizer-rework
html-visualizer-rework
August 16, 2024 11:20 1m 58s
modifications on split cache implementation PR: compile, test and check style #632: Pull request #318 synchronize by VincenzoArceri
August 14, 2024 21:32 52s yoooimg:splitBranch
yoooimg:splitBranch
August 14, 2024 21:32 52s
Location-based working set for fixpoints PR: compile, test and check style #629: Pull request #317 opened by lucaneg
August 9, 2024 13:57 2m 1s location-based-ws
location-based-ws
August 9, 2024 13:57 2m 1s
Implementation of split operator PR: compile, test and check style #626: Pull request #315 opened by yoooimg
August 6, 2024 10:58 55s yoooimg:splitBranch
yoooimg:splitBranch
August 6, 2024 10:58 55s
Release roundup PR: compile, test and check style #625: Pull request #314 opened by lucaneg
August 1, 2024 13:06 2m 0s release-roundup
release-roundup
August 1, 2024 13:06 2m 0s
Stability domain implementation PR: compile, test and check style #624: Pull request #308 synchronize by lucaneg
July 30, 2024 09:29 2m 3s stability
stability
July 30, 2024 09:29 2m 3s
Stability domain implementation PR: compile, test and check style #623: Pull request #308 opened by lucaneg
July 30, 2024 09:28 2m 2s stability
stability
July 30, 2024 09:28 2m 2s
Substring relational domains PR: compile, test and check style #622: Pull request #306 synchronize by VincenzoArceri
July 12, 2024 07:48 1m 55s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
July 12, 2024 07:48 1m 55s
Substring relational domains PR: compile, test and check style #621: Pull request #306 synchronize by michelemartelli2002
July 10, 2024 22:41 1m 58s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
July 10, 2024 22:41 1m 58s
Substring relational domains PR: compile, test and check style #620: Pull request #306 synchronize by VincenzoArceri
July 9, 2024 14:59 1m 59s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
July 9, 2024 14:59 1m 59s
Substring relational domains PR: compile, test and check style #619: Pull request #306 synchronize by michelemartelli2002
July 9, 2024 14:46 1m 39s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
July 9, 2024 14:46 1m 39s
Substring relational domains PR: compile, test and check style #618: Pull request #306 synchronize by VincenzoArceri
July 9, 2024 14:08 1m 34s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
July 9, 2024 14:08 1m 34s
Substring relational domains PR: compile, test and check style #617: Pull request #306 synchronize by michelemartelli2002
June 25, 2024 17:28 1m 23s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 25, 2024 17:28 1m 23s
Substring relational domains PR: compile, test and check style #615: Pull request #306 synchronize by michelemartelli2002
June 22, 2024 11:46 1m 27s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 22, 2024 11:46 1m 27s
Substring relational domains PR: compile, test and check style #613: Pull request #306 synchronize by VincenzoArceri
June 21, 2024 12:23 2m 3s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 21, 2024 12:23 2m 3s
Substring relational domains PR: compile, test and check style #612: Pull request #306 synchronize by VincenzoArceri
June 21, 2024 11:22 1m 30s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 21, 2024 11:22 1m 30s
Substring relational domains PR: compile, test and check style #611: Pull request #306 synchronize by VincenzoArceri
June 21, 2024 07:42 1m 32s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 21, 2024 07:42 1m 32s
Substring relational domains PR: compile, test and check style #610: Pull request #306 synchronize by VincenzoArceri
June 20, 2024 11:47 1m 29s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 20, 2024 11:47 1m 29s
Substring relational domains PR: compile, test and check style #609: Pull request #306 synchronize by VincenzoArceri
June 20, 2024 11:35 1m 31s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 20, 2024 11:35 1m 31s
Substring relational domains PR: compile, test and check style #608: Pull request #306 opened by VincenzoArceri
June 20, 2024 11:32 1m 21s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
June 20, 2024 11:32 1m 21s
Fix type-checking errors in Addition and Remainder statements. PR: compile, test and check style #607: Pull request #305 opened by giacomoboldini
February 7, 2024 19:19 1m 59s giacomo-boldini/fix-statements
giacomo-boldini/fix-statements
February 7, 2024 19:19 1m 59s
Implementation of the pentagon abstract domain PR: compile, test and check style #606: Pull request #304 synchronize by VincenzoArceri
January 10, 2024 14:26 1m 55s pentagons
pentagons
January 10, 2024 14:26 1m 55s