Skip to content

Actions: uclid-org/uclid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Leiqi concrete simulator Uclid CI #705: Pull request #260 synchronize by lichye
February 21, 2025 14:08 6m 38s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 14:08 6m 38s
Leiqi concrete simulator Uclid CI #704: Pull request #260 synchronize by lichye
February 21, 2025 14:04 5m 17s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 14:04 5m 17s
Leiqi concrete simulator Uclid CI #703: Pull request #260 synchronize by lichye
February 21, 2025 13:54 5m 12s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 13:54 5m 12s
Leiqi concrete simulator Uclid CI #702: Pull request #260 synchronize by lichye
February 21, 2025 13:53 6m 39s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 13:53 6m 39s
Leiqi concrete simulator Uclid CI #701: Pull request #260 synchronize by lichye
February 21, 2025 13:49 5m 15s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 13:49 5m 15s
Leiqi concrete simulator Uclid CI #700: Pull request #260 synchronize by lichye
February 21, 2025 13:45 5m 15s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 13:45 5m 15s
Leiqi concrete simulator Uclid CI #699: Pull request #260 synchronize by lichye
February 21, 2025 13:40 5m 30s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 13:40 5m 30s
Leiqi concrete simulator Uclid CI #698: Pull request #260 synchronize by lichye
February 21, 2025 13:37 10m 44s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 21, 2025 13:37 10m 44s
Leiqi concrete simulator Uclid CI #697: Pull request #260 synchronize by lichye
February 18, 2025 14:57 13s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 18, 2025 14:57 13s
Leiqi concrete simulator Uclid CI #696: Pull request #260 synchronize by lichye
February 18, 2025 14:53 12s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 18, 2025 14:53 12s
Leiqi concrete simulator Uclid CI #695: Pull request #260 opened by lichye
February 18, 2025 12:38 5m 47s lichye:leiqi-concreteSimulator
lichye:leiqi-concreteSimulator
February 18, 2025 12:38 5m 47s
Added link to tutorial lectures Uclid CI #694: Commit 25674dd pushed by saseshia
November 14, 2024 19:47 10m 36s master
master
November 14, 2024 19:47 10m 36s
Merge pull request #254 from uclid-org/fix-253 Uclid CI #693: Commit 86f2248 pushed by FedericoAureliano
July 17, 2024 20:17 5m 17s master
master
July 17, 2024 20:17 5m 17s
Fix data type hashing; fix 253 Uclid CI #692: Pull request #254 synchronize by FedericoAureliano
July 17, 2024 16:49 5m 12s fix-253
fix-253
July 17, 2024 16:49 5m 12s
Fix data type hashing; fix 253 Uclid CI #691: Pull request #254 synchronize by FedericoAureliano
July 17, 2024 16:44 2m 46s fix-253
fix-253
July 17, 2024 16:44 2m 46s
Merge pull request #256 from uclid-org/fix-255 Uclid CI #690: Commit 289628e pushed by FedericoAureliano
July 17, 2024 16:42 4m 43s master
master
July 17, 2024 16:42 4m 43s
add test to CI and remove control block to avoid needless solver call Uclid CI #689: Commit f4fae77 pushed by polgreen
July 17, 2024 16:34 10m 26s master
master
July 17, 2024 16:34 10m 26s
Rewrite Polymorphic Select for Quantifiers and Other Vars Too Uclid CI #688: Pull request #259 opened by FedericoAureliano
July 17, 2024 16:01 10m 24s fix-249-take-2
fix-249-take-2
July 17, 2024 16:01 10m 24s
add correct parser spec Uclid CI #687: Commit 3f1a8b1 pushed by polgreen
July 4, 2024 15:41 5m 20s master
master
July 4, 2024 15:41 5m 20s
update IsRewritable in RewritePolymorphicSelect to handle functions; … Uclid CI #686: Commit d506959 pushed by polgreen
July 4, 2024 15:41 5m 7s master
master
July 4, 2024 15:41 5m 7s
Fix For Issue #249 Uclid CI #685: Pull request #252 synchronize by polgreen
July 4, 2024 15:16 9m 8s fix-249
fix-249
July 4, 2024 15:16 9m 8s
revert to macOS 13 Uclid CI #684: Commit be53fa4 pushed by polgreen
July 4, 2024 15:13 10m 28s master
master
July 4, 2024 15:13 10m 28s
fix CI for mac Uclid CI #683: Pull request #257 synchronize by polgreen
July 4, 2024 15:02 9m 23s fix_ci
fix_ci
July 4, 2024 15:02 9m 23s
fix CI for mac Uclid CI #682: Pull request #257 opened by polgreen
July 4, 2024 14:51 10m 11s fix_ci
fix_ci
July 4, 2024 14:51 10m 11s
Fix For Issue #249 Uclid CI #681: Pull request #252 synchronize by polgreen
July 4, 2024 14:43 5m 34s fix-249
fix-249
July 4, 2024 14:43 5m 34s