Skip to content

Actions: ftsrg/theta

Actions

Windows build

Actions

Loading...

Show workflow options

Create status badge

110 workflow runs
110 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
First tests completed about clock predicate abstraction Windows build #809: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 6h 0m 17s xta-eager
xta-eager
March 14, 2024 06:57 6h 0m 17s
Temporarily disable assertions in tests Windows build #808: Commit 9ad5987 pushed by mondokm
February 21, 2024 10:25 6m 47s zeta-merge
zeta-merge
February 21, 2024 10:25 6m 47s
Fixed a bug that could result in unsat terminal nodes Windows build #807: Commit ef9dfaa pushed by mondokm
February 21, 2024 09:02 6h 0m 17s zeta-merge
zeta-merge
February 21, 2024 09:02 6h 0m 17s
Enable default values for unbounded domains Windows build #806: Commit a3b3071 pushed by mondokm
February 20, 2024 14:03 6h 0m 17s zeta-merge
zeta-merge
February 20, 2024 14:03 6h 0m 17s
Temporarily disabled defaultvalue, because it is not handled in satur… Windows build #805: Commit 71ba6b0 pushed by mondokm
February 20, 2024 10:57 6h 0m 16s zeta-merge
zeta-merge
February 20, 2024 10:57 6h 0m 16s
Fixed a bug that resulted in unintentional level skips Windows build #804: Commit 105f3ea pushed by mondokm
February 16, 2024 16:26 6h 0m 18s zeta-merge
zeta-merge
February 16, 2024 16:26 6h 0m 18s
Switch to legacy relationalproduct provider Windows build #803: Commit 19c406e pushed by mondokm
February 15, 2024 17:00 6h 0m 17s zeta-merge
zeta-merge
February 15, 2024 17:00 6h 0m 17s
Change to template-based iteration instead of transforming IntObjMapView Windows build #802: Commit 521e8fa pushed by mondokm
February 15, 2024 16:43 6h 0m 15s zeta-merge
zeta-merge
February 15, 2024 16:43 6h 0m 15s
Added structural vs symbolic benchmarks Windows build #801: Commit 8d5a07f pushed by mondokm
February 13, 2024 16:01 6m 1s zeta-merge
zeta-merge
February 13, 2024 16:01 6m 1s
Adjusted classes to the new checker interface Windows build #800: Commit 1b2d844 pushed by mondokm
February 13, 2024 13:59 5m 4s zeta-merge
zeta-merge
February 13, 2024 13:59 5m 4s
Added RandomXsts and XstsSerializer Windows build #799: Commit 241ed5f pushed by mondokm
February 13, 2024 09:32 5m 30s zeta-merge
zeta-merge
February 13, 2024 09:32 5m 30s
Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… Windows build #798: Commit 3ec7f82 pushed by AdamZsofi
February 11, 2024 21:12 6m 54s trace-generation
trace-generation
February 11, 2024 21:12 6m 54s
Control flow splitting for Timed XSTS Windows build #797: Commit 3b96563 pushed by DoriCz
December 18, 2023 19:35 6m 11s txsts
txsts
December 18, 2023 19:35 6m 11s
First tests completed about clock predicate abstraction Windows build #796: Commit 3dc717f pushed by kopero2000
October 31, 2023 18:36 6h 0m 24s xta-eager
xta-eager
October 31, 2023 18:36 6h 0m 24s
Update delta jar Windows build #795: Commit 06fd699 pushed by mondokm
September 18, 2023 12:17 9m 12s zeta-merge
zeta-merge
September 18, 2023 12:17 9m 12s
Generalized the initializer in GSP Windows build #794: Commit c04fa4b pushed by mondokm
September 15, 2023 08:34 10m 7s zeta-merge
zeta-merge
September 15, 2023 08:34 10m 7s
Fix cursor of singleton AbstractNextStateDescriptor Windows build #793: Commit bb27659 pushed by mondokm
September 14, 2023 14:45 9m 21s zeta-merge
zeta-merge
September 14, 2023 14:45 9m 21s
Update MddStateSpaceInfo to use constrained cursors Windows build #792: Commit f32d6a7 pushed by mondokm
September 8, 2023 14:53 7m 11s zeta-merge
zeta-merge
September 8, 2023 14:53 7m 11s
Reordered XcfaCli for a better overview Windows build #791: Commit f9364b8 pushed by leventeBajczi
July 8, 2023 12:17 12m 28s xcfa-refactor
xcfa-refactor
July 8, 2023 12:17 12m 28s
Merge remote-tracking branch 'origin/master' into xcfa-refactor Windows build #790: Commit 28a1bdf pushed by leventeBajczi
July 7, 2023 11:25 15m 26s xcfa-refactor
xcfa-refactor
July 7, 2023 11:25 15m 26s
Fix missing " Windows build #789: Commit 5422226 pushed by leventeBajczi
July 7, 2023 09:58 10m 33s master
master
July 7, 2023 09:58 10m 33s
Fixed multiline string in github output Windows build #788: Commit 298e179 pushed by leventeBajczi
July 7, 2023 09:50 11m 7s master
master
July 7, 2023 09:50 11m 7s
Fixed printfs Windows build #787: Commit e672159 pushed by leventeBajczi
July 7, 2023 09:33 9m 35s master
master
July 7, 2023 09:33 9m 35s
Fix outputs Windows build #786: Commit 2f743cb pushed by leventeBajczi
July 7, 2023 09:24 11m 22s master
master
July 7, 2023 09:24 11m 22s
Update CD-create_release.yml Windows build #785: Commit fbff545 pushed by leventeBajczi
July 7, 2023 09:14 12m 35s master
master
July 7, 2023 09:14 12m 35s