Skip to content

Actions: lisa-analyzer/lisa

Actions

Gradle Build (non-master branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-all.yml
73 workflow runs
73 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Adding support for other constants in Interval analysis Gradle Build (non-master branch) #515: Commit 9e1a19b pushed by lucaneg
February 21, 2024 10:27 1m 17s llvmir
llvmir
February 21, 2024 10:27 1m 17s
Fix type-checking errors in Addition and Remainder statements. Gradle Build (non-master branch) #514: Commit 2fc4e73 pushed by giacomo-boldini
February 7, 2024 19:10 1m 13s giacomo-boldini/fix-statements
giacomo-boldini/fix-statements
February 7, 2024 19:10 1m 13s
More constructors for logic and numeric exprs. Gradle Build (non-master branch) #513: Commit f6d4253 pushed by giacomo-boldini
February 7, 2024 15:11 1m 16s llvmir
llvmir
February 7, 2024 15:11 1m 16s
Update snapshot-branch.yml Gradle Build (non-master branch) #512: Commit 1617cc4 pushed by lucaneg
February 5, 2024 08:29 1m 18s llvmir
llvmir
February 5, 2024 08:29 1m 18s
Merge branch 'master' into llvmir Gradle Build (non-master branch) #511: Commit f7be255 pushed by giacomo-boldini
February 4, 2024 10:33 1m 9s llvmir
llvmir
February 4, 2024 10:33 1m 9s
Merge branch 'master' into llvmir Gradle Build (non-master branch) #510: Commit 01ffd4b pushed by giacomo-boldini
February 2, 2024 21:24 1m 15s llvmir
llvmir
February 2, 2024 21:24 1m 15s
Merge remote-tracking branch 'origin/master' into llvmir Gradle Build (non-master branch) #509: Commit 1b85f07 pushed by giacomo-boldini
January 17, 2024 12:28 1m 22s llvmir
llvmir
January 17, 2024 12:28 1m 22s
NumericType interf: getNbits() instead of is*bits(). Gradle Build (non-master branch) #508: Commit 1e8bf79 pushed by giacomo-boldini
January 17, 2024 12:18 1m 16s llvmir
llvmir
January 17, 2024 12:18 1m 16s
Javadoc Gradle Build (non-master branch) #507: Commit cd35111 pushed by VincenzoArceri
January 10, 2024 14:26 1m 14s pentagons
pentagons
January 10, 2024 14:26 1m 14s
Apply spotless Gradle Build (non-master branch) #506: Commit 0495a61 pushed by VincenzoArceri
January 10, 2024 14:20 1m 15s pentagons
pentagons
January 10, 2024 14:20 1m 15s
Apply spotless and Javadoc Gradle Build (non-master branch) #505: Commit 0329b43 pushed by VincenzoArceri
January 10, 2024 14:12 1m 16s pentagons
pentagons
January 10, 2024 14:12 1m 16s
Minor fix on NumericAnalysesTest Gradle Build (non-master branch) #504: Commit db23e87 pushed by olivieriluca
January 10, 2024 12:53 1m 14s pentagons
pentagons
January 10, 2024 12:53 1m 14s
Added missing documentation in Pentagons.java and UpperBounds.java Gradle Build (non-master branch) #503: Commit ebda88b pushed by olivieriluca
January 10, 2024 10:57 1m 15s pentagons
pentagons
January 10, 2024 10:57 1m 15s
Draft classes for testing pentagon domain Gradle Build (non-master branch) #502: Commit a797a9a pushed by VincenzoArceri
January 10, 2024 08:21 1m 26s pentagons
pentagons
January 10, 2024 08:21 1m 26s
Draft implementation of the pentagon abstract domain Gradle Build (non-master branch) #501: Commit ca77cc0 pushed by VincenzoArceri
January 9, 2024 11:11 1m 14s pentagons
pentagons
January 9, 2024 11:11 1m 14s
Unconditionally dump support files #302 Gradle Build (non-master branch) #500: Commit 0c59c3d pushed by lucaneg
December 12, 2023 16:05 1m 11s support-dumping
support-dumping
December 12, 2023 16:05 1m 11s
Restoring compareTo()'s #298 Gradle Build (non-master branch) #499: Commit 8a7caa9 pushed by lucaneg
December 7, 2023 10:26 1m 5s comparison
comparison
December 7, 2023 10:26 1m 5s
Reworked cron files structure Gradle Build (non-master branch) #498: Commit 2ce6bef pushed by lucaneg
December 5, 2023 12:18 1m 9s offset-removal
offset-removal
December 5, 2023 12:18 1m 9s
Fixing subnodes traversal order Gradle Build (non-master branch) #497: Commit c98ea15 pushed by lucaneg
December 5, 2023 11:16 1m 7s offset-removal
offset-removal
December 5, 2023 11:16 1m 7s
Spotless Gradle Build (non-master branch) #496: Commit 5e5a445 pushed by lucaneg
December 5, 2023 09:32 1m 8s offset-removal
offset-removal
December 5, 2023 09:32 1m 8s
Removing offset from nodes #296 Gradle Build (non-master branch) #495: Commit 6586dd7 pushed by lucaneg
December 4, 2023 17:10 1m 4s offset-removal
offset-removal
December 4, 2023 17:10 1m 4s
Fixed typos in javadoc strings. Gradle Build (non-master branch) #494: Commit e05a18e pushed by giacomo-boldini
November 30, 2023 12:59 1m 11s giacomo-boldini/typo
giacomo-boldini/typo
November 30, 2023 12:59 1m 11s
Spotless Gradle Build (non-master branch) #493: Commit 75be2cc pushed by lucaneg
October 25, 2023 13:23 1m 33s field-sensitive-fix
field-sensitive-fix
October 25, 2023 13:23 1m 33s
Regenerated tests Gradle Build (non-master branch) #492: Commit e6a7e59 pushed by lucaneg
October 25, 2023 13:04 1m 24s field-sensitive-fix
field-sensitive-fix
October 25, 2023 13:04 1m 24s
Fixing commonSuperType and canBeAssignedTo methods for ReferenceType Gradle Build (non-master branch) #491: Commit 26841f9 pushed by VincenzoArceri
October 19, 2023 15:18 1m 19s field-sensitive-fix
field-sensitive-fix
October 19, 2023 15:18 1m 19s