Skip to content

Actions: ftsrg/theta

Actions

Windows build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
win-build-test.yml
1,418 workflow runs
1,418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Windows build and test #1868: Pull request #335 synchronize by KlevisImeri
January 29, 2025 22:44 Action required KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 29, 2025 22:44 Action required
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Windows build and test #1867: Pull request #335 synchronize by KlevisImeri
January 28, 2025 00:45 17m 23s KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 28, 2025 00:45 17m 23s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Windows build and test #1866: Pull request #335 opened by KlevisImeri
January 27, 2025 23:48 Action required KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 27, 2025 23:48 Action required
fixed coverage vs equality issue in bad end remover Windows build and test #1865: Commit d7db9d4 pushed by AdamZsofi
January 26, 2025 20:08 15m 42s trace-generation
trace-generation
January 26, 2025 20:08 15m 42s
Merge pull request #311 from RipplB/ltl2 Windows build and test #1864: Commit b513261 pushed by mondokm
January 23, 2025 21:15 22m 45s master
master
January 23, 2025 21:15 22m 45s
reformat Windows build and test #1863: Commit ce57c6d pushed by AdamZsofi
January 23, 2025 19:00 18m 31s trace-generation
trace-generation
January 23, 2025 19:00 18m 31s
LTL checking Windows build and test #1862: Pull request #311 synchronize by RipplB
January 23, 2025 16:18 19m 9s RipplB:ltl2
RipplB:ltl2
January 23, 2025 16:18 19m 9s
LTL checking Windows build and test #1861: Pull request #311 synchronize by RipplB
January 23, 2025 15:40 18m 29s RipplB:ltl2
RipplB:ltl2
January 23, 2025 15:40 18m 29s
LTL checking Windows build and test #1860: Pull request #311 synchronize by RipplB
January 23, 2025 15:35 4m 54s RipplB:ltl2
RipplB:ltl2
January 23, 2025 15:35 4m 54s
LTL checking Windows build and test #1859: Pull request #311 synchronize by RipplB
December 17, 2024 11:16 19m 58s RipplB:ltl2
RipplB:ltl2
December 17, 2024 11:16 19m 58s
LTL checking Windows build and test #1858: Pull request #311 synchronize by RipplB
December 14, 2024 17:21 17m 50s RipplB:ltl2
RipplB:ltl2
December 14, 2024 17:21 17m 50s
Merge pull request #325 from ftsrg/fix-memloc Windows build and test #1857: Commit bd69e1c pushed by leventeBajczi
December 10, 2024 10:46 14m 45s svcomp25
svcomp25
December 10, 2024 10:46 14m 45s
re-added tracegen as a separate test method Windows build and test #1856: Commit aeeb0b2 pushed by szdan97
December 4, 2024 21:29 12m 32s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 4, 2024 21:29 12m 32s
LTL checking Windows build and test #1855: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 18m 31s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 18m 31s
LTL checking Windows build and test #1854: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 17m 17s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 17m 17s
LTL checking Windows build and test #1853: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 11m 32s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 11m 32s
LTL checking Windows build and test #1852: Pull request #311 synchronize by RipplB
December 4, 2024 08:58 17m 18s RipplB:ltl2
RipplB:ltl2
December 4, 2024 08:58 17m 18s
LTL checking Windows build and test #1851: Pull request #311 synchronize by RipplB
December 4, 2024 07:37 13m 3s RipplB:ltl2
RipplB:ltl2
December 4, 2024 07:37 13m 3s
Added trace generation to Thyssen model Windows build and test #1850: Commit 24f5c6f pushed by leventeBajczi
December 2, 2024 14:19 12m 43s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 14:19 12m 43s
Merged, removed gen folder, formatted Windows build and test #1849: Commit a520e15 pushed by leventeBajczi
December 2, 2024 13:54 14m 50s trace-generation
trace-generation
December 2, 2024 13:54 14m 50s
Trace generation (#330) Windows build and test #1848: Commit 0fd5bbe pushed by leventeBajczi
December 2, 2024 13:53 12m 52s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 13:53 12m 52s
sync fixes + toStrings Windows build and test #1847: Commit 1bf5fdd pushed by szdan97
December 2, 2024 13:50 3m 50s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 2, 2024 13:50 3m 50s
Merged, removed gen folder, formatted Windows build and test #1846: Commit a520e15 pushed by leventeBajczi
December 2, 2024 13:43 11m 13s trace-generation
trace-generation
December 2, 2024 13:43 11m 13s
Trace generation Windows build and test #1845: Pull request #330 synchronize by leventeBajczi
December 2, 2024 13:43 13m 34s trace-generation
trace-generation
December 2, 2024 13:43 13m 34s
Counting vars now Windows build and test #1844: Commit 6ad63b3 pushed by leventeBajczi
November 29, 2024 10:51 13m 4s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 29, 2024 10:51 13m 4s