Skip to content

Actions: ftsrg/theta

Actions

Linux build

Actions

Loading...

Show workflow options

Create status badge

106 workflow runs
106 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

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