Skip to content

Actions: EPFL-LAP/dynamatic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
[Formal][PropertyAnnotation] Annotating IOG-based invariants CI #2777: Pull request #855 synchronize by Basmet0
43m 10s Basmet0:invariant5
Basmet0:invariant5
43m 10s
[Formal][PropertyAnnotation] Annotating IOG-based invariants Build and Test Dynamatic on Ubuntu Latest #618: Pull request #855 synchronize by Basmet0
23m 7s Basmet0:invariant5
Basmet0:invariant5
23m 7s
[Formal][PropertyAnnotation] Annotating IOG-based invariants docs #1722: Pull request #855 synchronize by Basmet0
22s Basmet0:invariant5
Basmet0:invariant5
22s
[Formal][PropertyAnnotation] Annotating IOG-based invariants unittests #421: Pull request #855 synchronize by Basmet0
15m 42s Basmet0:invariant5
Basmet0:invariant5
15m 42s
[Formal][Property Annotation] Fixed a bug that made reconvergent path… CI #2776: Commit 5a40959 pushed by Basmet0
43m 3s main
main
43m 3s
[Formal][Property Annotation] Fixed a bug that made reconvergent path… unittests #420: Commit 5a40959 pushed by Basmet0
33m 36s main
main
33m 36s
[Formal][Property Annotation] Fixed a bug that made reconvergent path… Build and Test Dynamatic on Ubuntu Latest #617: Commit 5a40959 pushed by Basmet0
51m 18s main
main
51m 18s
[Formal][Property Annotation] Fixed a bug that made reconvergent path… docs #1721: Commit 5a40959 pushed by Basmet0
29s main
main
29s
[Formal][PropertyAnnotation] Annotating SingleEntryToken invariant docs #1720: Pull request #908 opened by Basmet0
20s Basmet0:invariant8
Basmet0:invariant8
20s
[Formal][PropertyAnnotation] Annotating SingleEntryToken invariant CI #2775: Pull request #908 opened by Basmet0
50m 20s Basmet0:invariant8
Basmet0:invariant8
50m 20s
[Formal][PropertyAnnotation] Annotating SingleEntryToken invariant Build and Test Dynamatic on Ubuntu Latest #616: Pull request #908 opened by Basmet0
13m 29s Basmet0:invariant8
Basmet0:invariant8
13m 29s
[Formal][PropertyAnnotation] Annotating SingleEntryToken invariant unittests #419: Pull request #908 opened by Basmet0
13m 54s Basmet0:invariant8
Basmet0:invariant8
13m 54s
[Formal][Property Annotation] Fixed a bug that made reconvergent path flow generate wrong equations unittests #418: Pull request #907 opened by Basmet0
15m 27s Basmet0:cmerge-smv-generator-fix
Basmet0:cmerge-smv-generator-fix
15m 27s
[Formal][Property Annotation] Fixed a bug that made reconvergent path flow generate wrong equations CI #2774: Pull request #907 opened by Basmet0
44m 17s Basmet0:cmerge-smv-generator-fix
Basmet0:cmerge-smv-generator-fix
44m 17s
[Formal][Property Annotation] Fixed a bug that made reconvergent path flow generate wrong equations Build and Test Dynamatic on Ubuntu Latest #615: Pull request #907 opened by Basmet0
17m 57s Basmet0:cmerge-smv-generator-fix
Basmet0:cmerge-smv-generator-fix
17m 57s
[Formal][Property Annotation] Fixed a bug that made reconvergent path flow generate wrong equations docs #1719: Pull request #907 opened by Basmet0
17s Basmet0:cmerge-smv-generator-fix
Basmet0:cmerge-smv-generator-fix
17s
[Formal][PropertyAnnotation] Annotating IOG-based invariants Build and Test Dynamatic on Ubuntu Latest #614: Pull request #855 synchronize by Basmet0
12m 38s Basmet0:invariant5
Basmet0:invariant5
12m 38s
[Formal][PropertyAnnotation] Annotating IOG-based invariants unittests #417: Pull request #855 synchronize by Basmet0
14m 44s Basmet0:invariant5
Basmet0:invariant5
14m 44s
[Formal][PropertyAnnotation] Annotating IOG-based invariants CI #2773: Pull request #855 synchronize by Basmet0
42m 19s Basmet0:invariant5
Basmet0:invariant5
42m 19s
[Formal][PropertyAnnotation] Annotating IOG-based invariants docs #1718: Pull request #855 synchronize by Basmet0
14s Basmet0:invariant5
Basmet0:invariant5
14s
[Formal][PropertyAnnotation] Annotating IOG-based invariants docs #1717: Pull request #855 synchronize by Basmet0
21s Basmet0:invariant5
Basmet0:invariant5
21s
[Formal][PropertyAnnotation] Annotating IOG-based invariants Build and Test Dynamatic on Ubuntu Latest #613: Pull request #855 synchronize by Basmet0
13m 3s Basmet0:invariant5
Basmet0:invariant5
13m 3s
[Formal][PropertyAnnotation] Annotating IOG-based invariants unittests #416: Pull request #855 synchronize by Basmet0
14m 25s Basmet0:invariant5
Basmet0:invariant5
14m 25s
[Formal][PropertyAnnotation] Annotating IOG-based invariants CI #2772: Pull request #855 synchronize by Basmet0
45m 21s Basmet0:invariant5
Basmet0:invariant5
45m 21s
[Formal][PropertyAnnotation]DeadBufferOp (#906) docs #1716: Commit 82c284f pushed by Basmet0
44s main
main
44s