Skip to content

Actions: lisa-analyzer/lisa

Actions

Move ready PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ready-prs.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Html visualizer rework Move ready PRs #74: Pull request #319 unlabeled by lucaneg
August 16, 2024 11:23 15s html-visualizer-rework
html-visualizer-rework
August 16, 2024 11:23 15s
Location-based working set for fixpoints Move ready PRs #73: Pull request #317 unlabeled by lucaneg
August 9, 2024 14:03 13s location-based-ws
location-based-ws
August 9, 2024 14:03 13s
Substring relational domains Move ready PRs #72: Pull request #306 unlabeled by lucaneg
August 1, 2024 13:37 14s michelemartelli2002:strings-domains
michelemartelli2002:strings-domains
August 1, 2024 13:37 14s
Release roundup Move ready PRs #71: Pull request #314 unlabeled by lucaneg
August 1, 2024 13:10 12s release-roundup
release-roundup
August 1, 2024 13:10 12s
Stability domain implementation Move ready PRs #70: Pull request #308 unlabeled by lucaneg
July 30, 2024 09:31 15s stability
stability
July 30, 2024 09:31 15s
Fix type-checking errors in Addition and Remainder statements. Move ready PRs #69: Pull request #305 unlabeled by lucaneg
February 9, 2024 15:25 13s giacomo-boldini/fix-statements
giacomo-boldini/fix-statements
February 9, 2024 15:25 13s
Implementation of the pentagon abstract domain Move ready PRs #68: Pull request #304 unlabeled by VincenzoArceri
January 10, 2024 14:18 11s pentagons
pentagons
January 10, 2024 14:18 11s
Restoring compareTo()'s Move ready PRs #67: Pull request #299 unlabeled by lucaneg
December 7, 2023 10:27 14s comparison
comparison
December 7, 2023 10:27 14s
Offset removal Move ready PRs #66: Pull request #297 unlabeled by lucaneg
December 5, 2023 15:38 14s offset-removal
offset-removal
December 5, 2023 15:38 14s
Fixed typos in CodeMemberDescriptor javadoc strings. Move ready PRs #65: Pull request #295 unlabeled by lucaneg
December 4, 2023 13:54 15s giacomo-boldini/typo
giacomo-boldini/typo
December 4, 2023 13:54 15s
Propagating field information Move ready PRs #64: Pull request #294 unlabeled by lucaneg
October 16, 2023 14:41 17s field-sensitive-fix
field-sensitive-fix
October 16, 2023 14:41 17s
Beta9 roundup Move ready PRs #63: Pull request #289 unlabeled by lucaneg
October 9, 2023 14:00 14s beta9
beta9
October 9, 2023 14:00 14s