Skip to content

Actions: ftsrg/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
1,531 workflow runs
1,531 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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