Skip to content

Actions: ftsrg/theta

Actions

Build dockerfiles

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

separate traces when zone abstraction is used Build dockerfiles #1563: Commit 4e07ec8 pushed by kopero2000
May 21, 2024 20:02 2m 5s xta-eager
xta-eager
May 21, 2024 20:02 2m 5s
collect diffs instead of constr from DBM, ZoneState.isBottom changed Build dockerfiles #1562: Commit 4336da5 pushed by kopero2000
May 19, 2024 20:38 2m 13s xta-eager
xta-eager
May 19, 2024 20:38 2m 13s
benchmarks Build dockerfiles #1561: Commit 4eb4a45 pushed by kopero2000
May 16, 2024 17:47 2m 4s xta-eager
xta-eager
May 16, 2024 17:47 2m 4s
First tests completed about clock predicate abstraction Build dockerfiles #1560: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 2m 3s xta-eager
xta-eager
March 14, 2024 06:57 2m 3s
Temporarily disable assertions in tests Build dockerfiles #1559: Commit 9ad5987 pushed by mondokm
February 21, 2024 10:25 2m 43s zeta-merge
zeta-merge
February 21, 2024 10:25 2m 43s
Fixed a bug that could result in unsat terminal nodes Build dockerfiles #1558: Commit ef9dfaa pushed by mondokm
February 21, 2024 09:02 2m 28s zeta-merge
zeta-merge
February 21, 2024 09:02 2m 28s
Enable default values for unbounded domains Build dockerfiles #1557: Commit a3b3071 pushed by mondokm
February 20, 2024 14:03 2m 39s zeta-merge
zeta-merge
February 20, 2024 14:03 2m 39s
Temporarily disabled defaultvalue, because it is not handled in satur… Build dockerfiles #1556: Commit 71ba6b0 pushed by mondokm
February 20, 2024 10:57 2m 25s zeta-merge
zeta-merge
February 20, 2024 10:57 2m 25s
Fixed a bug that resulted in unintentional level skips Build dockerfiles #1555: Commit 105f3ea pushed by mondokm
February 16, 2024 16:26 2m 27s zeta-merge
zeta-merge
February 16, 2024 16:26 2m 27s
Switch to legacy relationalproduct provider Build dockerfiles #1554: Commit 19c406e pushed by mondokm
February 15, 2024 17:00 2m 17s zeta-merge
zeta-merge
February 15, 2024 17:00 2m 17s
Change to template-based iteration instead of transforming IntObjMapView Build dockerfiles #1553: Commit 521e8fa pushed by mondokm
February 15, 2024 16:43 2m 23s zeta-merge
zeta-merge
February 15, 2024 16:43 2m 23s
Added structural vs symbolic benchmarks Build dockerfiles #1552: Commit 8d5a07f pushed by mondokm
February 13, 2024 16:01 2m 20s zeta-merge
zeta-merge
February 13, 2024 16:01 2m 20s
Adjusted classes to the new checker interface Build dockerfiles #1551: Commit 1b2d844 pushed by mondokm
February 13, 2024 13:59 2m 17s zeta-merge
zeta-merge
February 13, 2024 13:59 2m 17s
Added RandomXsts and XstsSerializer Build dockerfiles #1550: Commit 241ed5f pushed by mondokm
February 13, 2024 09:32 2m 4s zeta-merge
zeta-merge
February 13, 2024 09:32 2m 4s
Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… Build dockerfiles #1549: Commit 3ec7f82 pushed by AdamZsofi
February 11, 2024 21:12 2m 16s trace-generation
trace-generation
February 11, 2024 21:12 2m 16s
First tests completed about clock predicate abstraction Build dockerfiles #1548: Commit 3dc717f pushed by kopero2000
October 31, 2023 18:36 3m 21s xta-eager
xta-eager
October 31, 2023 18:36 3m 21s
Update delta jar Build dockerfiles #1547: Commit 06fd699 pushed by mondokm
September 18, 2023 12:17 3m 25s zeta-merge
zeta-merge
September 18, 2023 12:17 3m 25s
Generalized the initializer in GSP Build dockerfiles #1546: Commit c04fa4b pushed by mondokm
September 15, 2023 08:34 2m 24s zeta-merge
zeta-merge
September 15, 2023 08:34 2m 24s
Fix cursor of singleton AbstractNextStateDescriptor Build dockerfiles #1545: Commit bb27659 pushed by mondokm
September 14, 2023 14:45 2m 56s zeta-merge
zeta-merge
September 14, 2023 14:45 2m 56s
Update MddStateSpaceInfo to use constrained cursors Build dockerfiles #1544: Commit f32d6a7 pushed by mondokm
September 8, 2023 14:53 3m 1s zeta-merge
zeta-merge
September 8, 2023 14:53 3m 1s