Skip to content

Actions: ftsrg/theta

Actions

.github/workflows/TR-master.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replaced ClockOps with Stmts in XTA .github/workflows/TR-master.yml #113: Commit 5564c0e pushed by DoriCz
June 25, 2024 14:30 Failure txsts
txsts
June 25, 2024 14:30 Failure
separate traces when zone abstraction is used .github/workflows/TR-master.yml #112: Commit 4e07ec8 pushed by kopero2000
May 21, 2024 20:01 Failure xta-eager
xta-eager
May 21, 2024 20:01 Failure
collect diffs instead of constr from DBM, ZoneState.isBottom changed .github/workflows/TR-master.yml #111: Commit 4336da5 pushed by kopero2000
May 19, 2024 20:38 Failure xta-eager
xta-eager
May 19, 2024 20:38 Failure
benchmarks .github/workflows/TR-master.yml #110: Commit 4eb4a45 pushed by kopero2000
May 16, 2024 17:47 Failure xta-eager
xta-eager
May 16, 2024 17:47 Failure
First tests completed about clock predicate abstraction .github/workflows/TR-master.yml #109: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
Control flow splitting for Timed XSTS .github/workflows/TR-master.yml #108: Commit 3b96563 pushed by DoriCz
December 18, 2023 19:35 Failure txsts
txsts
December 18, 2023 19:35 Failure
First tests completed about clock predicate abstraction .github/workflows/TR-master.yml #107: Commit 3dc717f pushed by kopero2000
October 31, 2023 18:36 Failure xta-eager
xta-eager
October 31, 2023 18:36 Failure
Fix missing " .github/workflows/TR-master.yml #106: Commit 5422226 pushed by leventeBajczi
July 7, 2023 09:58 14s master
master
July 7, 2023 09:58 14s
Fixed multiline string in github output .github/workflows/TR-master.yml #105: Commit 298e179 pushed by leventeBajczi
July 7, 2023 09:50 16s master
master
July 7, 2023 09:50 16s
Fixed printfs .github/workflows/TR-master.yml #104: Commit e672159 pushed by leventeBajczi
July 7, 2023 09:33 15s master
master
July 7, 2023 09:33 15s
Fix outputs .github/workflows/TR-master.yml #103: Commit 2f743cb pushed by leventeBajczi
July 7, 2023 09:24 14s master
master
July 7, 2023 09:24 14s
Update CD-create_release.yml .github/workflows/TR-master.yml #102: Commit fbff545 pushed by leventeBajczi
July 7, 2023 09:14 17s master
master
July 7, 2023 09:14 17s
Add message to automated release generation .github/workflows/TR-master.yml #101: Commit 738d533 pushed by leventeBajczi
July 7, 2023 08:57 17s master
master
July 7, 2023 08:57 17s
Fix action versions to commits, bump versions, add -x test flag to bi… .github/workflows/TR-master.yml #100: Commit 1c4cb43 pushed by leventeBajczi
July 7, 2023 08:13 19s master
master
July 7, 2023 08:13 19s