Skip to content

Actions: ftsrg/theta

Actions

Deploy Javadoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replaced ClockOps with Stmts in XTA Deploy Javadoc #475: Commit 5564c0e pushed by DoriCz
June 25, 2024 14:30 3m 31s txsts
txsts
June 25, 2024 14:30 3m 31s
separate traces when zone abstraction is used Deploy Javadoc #474: Commit 4e07ec8 pushed by kopero2000
May 21, 2024 20:02 3m 16s xta-eager
xta-eager
May 21, 2024 20:02 3m 16s
collect diffs instead of constr from DBM, ZoneState.isBottom changed Deploy Javadoc #473: Commit 4336da5 pushed by kopero2000
May 19, 2024 20:38 3m 18s xta-eager
xta-eager
May 19, 2024 20:38 3m 18s
benchmarks Deploy Javadoc #472: Commit 4eb4a45 pushed by kopero2000
May 16, 2024 17:47 3m 16s xta-eager
xta-eager
May 16, 2024 17:47 3m 16s
First tests completed about clock predicate abstraction Deploy Javadoc #471: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 3m 15s xta-eager
xta-eager
March 14, 2024 06:57 3m 15s
Temporarily disable assertions in tests Deploy Javadoc #470: Commit 9ad5987 pushed by mondokm
February 21, 2024 10:25 2m 7s zeta-merge
zeta-merge
February 21, 2024 10:25 2m 7s
Fixed a bug that could result in unsat terminal nodes Deploy Javadoc #469: Commit ef9dfaa pushed by mondokm
February 21, 2024 09:02 2m 4s zeta-merge
zeta-merge
February 21, 2024 09:02 2m 4s
Enable default values for unbounded domains Deploy Javadoc #468: Commit a3b3071 pushed by mondokm
February 20, 2024 14:03 2m 5s zeta-merge
zeta-merge
February 20, 2024 14:03 2m 5s
Temporarily disabled defaultvalue, because it is not handled in satur… Deploy Javadoc #467: Commit 71ba6b0 pushed by mondokm
February 20, 2024 10:57 2m 5s zeta-merge
zeta-merge
February 20, 2024 10:57 2m 5s
Fixed a bug that resulted in unintentional level skips Deploy Javadoc #466: Commit 105f3ea pushed by mondokm
February 16, 2024 16:26 2m 4s zeta-merge
zeta-merge
February 16, 2024 16:26 2m 4s
Switch to legacy relationalproduct provider Deploy Javadoc #465: Commit 19c406e pushed by mondokm
February 15, 2024 17:00 2m 2s zeta-merge
zeta-merge
February 15, 2024 17:00 2m 2s
Change to template-based iteration instead of transforming IntObjMapView Deploy Javadoc #464: Commit 521e8fa pushed by mondokm
February 15, 2024 16:43 1m 58s zeta-merge
zeta-merge
February 15, 2024 16:43 1m 58s
Added structural vs symbolic benchmarks Deploy Javadoc #463: Commit 8d5a07f pushed by mondokm
February 13, 2024 16:01 2m 4s zeta-merge
zeta-merge
February 13, 2024 16:01 2m 4s
Adjusted classes to the new checker interface Deploy Javadoc #462: Commit 1b2d844 pushed by mondokm
February 13, 2024 13:59 1m 57s zeta-merge
zeta-merge
February 13, 2024 13:59 1m 57s
Added RandomXsts and XstsSerializer Deploy Javadoc #461: Commit 241ed5f pushed by mondokm
February 13, 2024 09:32 2m 2s zeta-merge
zeta-merge
February 13, 2024 09:32 2m 2s
Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… Deploy Javadoc #460: Commit 3ec7f82 pushed by AdamZsofi
February 11, 2024 21:12 3m 29s trace-generation
trace-generation
February 11, 2024 21:12 3m 29s
Control flow splitting for Timed XSTS Deploy Javadoc #459: Commit 3b96563 pushed by DoriCz
December 18, 2023 19:35 3m 11s txsts
txsts
December 18, 2023 19:35 3m 11s
First tests completed about clock predicate abstraction Deploy Javadoc #458: Commit 3dc717f pushed by kopero2000
October 31, 2023 18:36 4m 17s xta-eager
xta-eager
October 31, 2023 18:36 4m 17s
Update delta jar Deploy Javadoc #457: Commit 06fd699 pushed by mondokm
September 18, 2023 12:17 2m 20s zeta-merge
zeta-merge
September 18, 2023 12:17 2m 20s
Generalized the initializer in GSP Deploy Javadoc #456: Commit c04fa4b pushed by mondokm
September 15, 2023 08:34 2m 13s zeta-merge
zeta-merge
September 15, 2023 08:34 2m 13s
Fix cursor of singleton AbstractNextStateDescriptor Deploy Javadoc #455: Commit bb27659 pushed by mondokm
September 14, 2023 14:45 2m 49s zeta-merge
zeta-merge
September 14, 2023 14:45 2m 49s
Update MddStateSpaceInfo to use constrained cursors Deploy Javadoc #454: Commit f32d6a7 pushed by mondokm
September 8, 2023 14:53 3m 11s zeta-merge
zeta-merge
September 8, 2023 14:53 3m 11s