Skip to content

Actions: ftsrg/theta

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-formatting.yml
1,560 workflow runs
1,560 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #311 from RipplB/ltl2 Check formatting #1864: Commit b513261 pushed by mondokm
January 23, 2025 21:15 4m 21s master
master
January 23, 2025 21:15 4m 21s
reformat Check formatting #1863: Commit ce57c6d pushed by AdamZsofi
January 23, 2025 19:00 2m 12s trace-generation
trace-generation
January 23, 2025 19:00 2m 12s
LTL checking Check formatting #1862: Pull request #311 synchronize by RipplB
January 23, 2025 16:18 2m 27s RipplB:ltl2
RipplB:ltl2
January 23, 2025 16:18 2m 27s
LTL checking Check formatting #1861: Pull request #311 synchronize by RipplB
January 23, 2025 15:40 2m 4s RipplB:ltl2
RipplB:ltl2
January 23, 2025 15:40 2m 4s
LTL checking Check formatting #1860: Pull request #311 synchronize by RipplB
January 23, 2025 15:35 2m 56s RipplB:ltl2
RipplB:ltl2
January 23, 2025 15:35 2m 56s
LTL checking Check formatting #1859: Pull request #311 synchronize by RipplB
December 17, 2024 11:16 2m 22s RipplB:ltl2
RipplB:ltl2
December 17, 2024 11:16 2m 22s
LTL checking Check formatting #1858: Pull request #311 synchronize by RipplB
December 14, 2024 17:21 2m 11s RipplB:ltl2
RipplB:ltl2
December 14, 2024 17:21 2m 11s
Merge pull request #325 from ftsrg/fix-memloc Check formatting #1857: Commit bd69e1c pushed by leventeBajczi
December 10, 2024 10:46 1m 55s svcomp25
svcomp25
December 10, 2024 10:46 1m 55s
re-added tracegen as a separate test method Check formatting #1856: Commit aeeb0b2 pushed by szdan97
December 4, 2024 21:29 1m 54s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 4, 2024 21:29 1m 54s
LTL checking Check formatting #1855: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 2m 34s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 2m 34s
LTL checking Check formatting #1854: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 2m 13s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 2m 13s
LTL checking Check formatting #1853: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 2m 11s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 2m 11s
LTL checking Check formatting #1852: Pull request #311 synchronize by RipplB
December 4, 2024 08:58 2m 20s RipplB:ltl2
RipplB:ltl2
December 4, 2024 08:58 2m 20s
LTL checking Check formatting #1851: Pull request #311 synchronize by RipplB
December 4, 2024 07:37 2m 3s RipplB:ltl2
RipplB:ltl2
December 4, 2024 07:37 2m 3s
Added trace generation to Thyssen model Check formatting #1850: Commit 24f5c6f pushed by leventeBajczi
December 2, 2024 14:19 1m 52s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 14:19 1m 52s
Merged, removed gen folder, formatted Check formatting #1849: Commit a520e15 pushed by leventeBajczi
December 2, 2024 13:54 1m 55s trace-generation
trace-generation
December 2, 2024 13:54 1m 55s
Trace generation (#330) Check formatting #1848: Commit 0fd5bbe pushed by leventeBajczi
December 2, 2024 13:53 1m 57s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 13:53 1m 57s
sync fixes + toStrings Check formatting #1847: Commit 1bf5fdd pushed by szdan97
December 2, 2024 13:50 1m 51s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 13:50 1m 51s
Merged, removed gen folder, formatted Check formatting #1846: Commit a520e15 pushed by leventeBajczi
December 2, 2024 13:43 2m 2s trace-generation
trace-generation
December 2, 2024 13:43 2m 2s
Trace generation Check formatting #1845: Pull request #330 synchronize by leventeBajczi
December 2, 2024 13:43 2m 7s trace-generation
trace-generation
December 2, 2024 13:43 2m 7s
Counting vars now Check formatting #1844: Commit 6ad63b3 pushed by leventeBajczi
November 29, 2024 10:51 1m 45s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:51 1m 45s
Added support in LTS Check formatting #1843: Commit ccbbcb4 pushed by leventeBajczi
November 29, 2024 10:47 1m 59s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:47 1m 59s
Added low-effort sync Check formatting #1842: Commit e89774e pushed by leventeBajczi
November 29, 2024 10:43 2m 5s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:43 2m 5s
Added SBEPass with test Check formatting #1841: Commit 0be641c pushed by leventeBajczi
November 28, 2024 15:07 1m 47s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 15:07 1m 47s
model also added Check formatting #1840: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 1m 55s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 1m 55s