Skip to content

Actions: ftsrg/theta

Actions

.github/workflows/TR-pr.yml

Actions

Loading...

Show workflow options

Create status badge

18 workflow runs
18 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
First tests completed about clock predicate abstraction .github/workflows/TR-pr.yml #106: 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-pr.yml #105: 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-pr.yml #104: Commit 3dc717f pushed by kopero2000
October 31, 2023 18:36 Failure xta-eager
xta-eager
October 31, 2023 18:36 Failure
CHC support .github/workflows/TR-pr.yml #103: Pull request #183 synchronize by s0mark
July 2, 2023 15:20 14s s0mark:chc
s0mark:chc
July 2, 2023 15:20 14s
CHC support .github/workflows/TR-pr.yml #102: Pull request #183 synchronize by s0mark
July 2, 2023 15:09 16s s0mark:chc
s0mark:chc
July 2, 2023 15:09 16s
AAPOR (AADPOR) .github/workflows/TR-pr.yml #101: Pull request #192 synchronize by csanadtelbisz
June 24, 2023 16:41 12s csanadtelbisz:por/dpor
csanadtelbisz:por/dpor
June 24, 2023 16:41 12s
AAPOR (AADPOR) .github/workflows/TR-pr.yml #100: Pull request #192 synchronize by csanadtelbisz
June 9, 2023 13:54 15s csanadtelbisz:por/dpor
csanadtelbisz:por/dpor
June 9, 2023 13:54 15s
AAPOR (AADPOR) .github/workflows/TR-pr.yml #99: Pull request #192 opened by csanadtelbisz
June 7, 2023 11:44 17s csanadtelbisz:por/dpor
csanadtelbisz:por/dpor
June 7, 2023 11:44 17s
No more removing ops in exprsimplifier for bvconcat .github/workflows/TR-pr.yml #98: Pull request #191 opened by leventeBajczi
May 31, 2023 11:01 14s fix-bvconcat
fix-bvconcat
May 31, 2023 11:01 14s
CHC support .github/workflows/TR-pr.yml #97: Pull request #183 synchronize by s0mark
May 18, 2023 14:58 16s s0mark:chc
s0mark:chc
May 18, 2023 14:58 16s
Added maven publishing to gradle .github/workflows/TR-pr.yml #96: Pull request #190 synchronize by leventeBajczi
May 17, 2023 20:12 16s maven-publish
maven-publish
May 17, 2023 20:12 16s
Added maven publishing to gradle .github/workflows/TR-pr.yml #95: Pull request #190 opened by leventeBajczi
May 17, 2023 15:08 14s maven-publish
maven-publish
May 17, 2023 15:08 14s
Testing build action with PR .github/workflows/TR-pr.yml #94: Pull request #189 opened by blagazsolt
April 26, 2023 12:10 16s blagazsolt:master
blagazsolt:master
April 26, 2023 12:10 16s
Progress check partial refactor .github/workflows/TR-pr.yml #93: Pull request #188 opened by AdamZsofi
April 25, 2023 12:49 19s progress-check-refactor
progress-check-refactor
April 25, 2023 12:49 19s
Fixed copy-paste error in hash code functions .github/workflows/TR-pr.yml #92: Pull request #187 opened by AdamZsofi
March 22, 2023 15:38 15s hash-fix
hash-fix
March 22, 2023 15:38 15s
CHC support .github/workflows/TR-pr.yml #90: Pull request #183 synchronize by s0mark
March 14, 2023 19:35 23s s0mark:chc
s0mark:chc
March 14, 2023 19:35 23s
Smtlib update .github/workflows/TR-pr.yml #89: Pull request #185 opened by leventeBajczi
March 14, 2023 14:29 18s smtlib-update
smtlib-update
March 14, 2023 14:29 18s
Smtlib update .github/workflows/TR-pr.yml #88: Pull request #184 opened by leventeBajczi
March 14, 2023 14:26 18s smtlib-update
smtlib-update
March 14, 2023 14:26 18s