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,346 workflow runs
1,346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

basic trace summary and visualization added Windows build and test #1384: Commit a49a7c8 pushed by AdamZsofi
September 23, 2024 13:57 16m 51s trace-generation
trace-generation
September 23, 2024 13:57 16m 51s
refactor trace metadata to trace summary Windows build and test #1383: Commit e4adab5 pushed by AdamZsofi
September 23, 2024 11:00 6m 48s trace-generation
trace-generation
September 23, 2024 11:00 6m 48s
changing return value of trace generation Windows build and test #1382: Commit 388a9cc pushed by AdamZsofi
September 21, 2024 20:16 8m 41s trace-generation
trace-generation
September 21, 2024 20:16 8m 41s
added basic trace metadata collection; tracegen refactored to clikt Windows build and test #1381: Commit 9b8c51e pushed by AdamZsofi
September 20, 2024 18:36 16m 49s trace-generation
trace-generation
September 20, 2024 18:36 16m 49s
added v0 trace metadata, wip refactor tracegen checker Windows build and test #1380: Commit 37089d3 pushed by AdamZsofi
September 19, 2024 07:21 5m 56s trace-generation
trace-generation
September 19, 2024 07:21 5m 56s
OC checker Windows build and test #1379: Pull request #264 synchronize by csanadtelbisz
September 16, 2024 15:18 16m 28s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
September 16, 2024 15:18 16m 28s
cleaning up before trace metadata Windows build and test #1378: Commit 41f6809 pushed by AdamZsofi
September 11, 2024 11:31 6m 4s trace-generation
trace-generation
September 11, 2024 11:31 6m 4s
Merge pull request #296 from ftsrg/add-svcomp-flag Windows build and test #1377: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 20m 20s master
master
August 29, 2024 16:27 20m 20s
added new flag --only-svcomp-witness Windows build and test #1376: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 16m 32s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 16m 32s
added new flag --only-svcomp-witness Windows build and test #1375: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 16m 23s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 16m 23s
merge master into tracegen Windows build and test #1374: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 4m 56s trace-generation
trace-generation
August 19, 2024 11:01 4m 56s
Change Preconditions check to assertion Windows build and test #1373: Commit ea0d2b2 pushed by mondokm
August 15, 2024 14:38 15m 2s mdd-dev
mdd-dev
August 15, 2024 14:38 15m 2s
Rename temp vars to local Windows build and test #1372: Commit 08963dd pushed by mondokm
August 15, 2024 13:22 16m 52s mdd-dev
mdd-dev
August 15, 2024 13:22 16m 52s
Reformat files Windows build and test #1371: Commit 07353cc pushed by mondokm
August 15, 2024 13:12 10m 20s mdd-dev
mdd-dev
August 15, 2024 13:12 10m 20s
Don't include tmp vars Windows build and test #1370: Commit fbc035d pushed by mondokm
August 15, 2024 12:42 14m 32s mdd-dev
mdd-dev
August 15, 2024 12:42 14m 32s
Merge pull request #294 from ftsrg/xsts-cli-fix Windows build and test #1369: Commit 289781e pushed by mondokm
August 13, 2024 09:08 18m 38s master
master
August 13, 2024 09:08 18m 38s
XSTS Cli fixes Windows build and test #1368: Pull request #294 opened by mondokm
August 13, 2024 08:03 14m 55s xsts-cli-fix
xsts-cli-fix
August 13, 2024 08:03 14m 55s
Bump version Windows build and test #1367: Commit 10e6793 pushed by mondokm
August 13, 2024 08:02 15m 20s xsts-cli-fix
xsts-cli-fix
August 13, 2024 08:02 15m 20s
Reformat files Windows build and test #1366: Commit c80a182 pushed by mondokm
August 12, 2024 16:04 10m 58s mdd-dev
mdd-dev
August 12, 2024 16:04 10m 58s
Add level skip for unbounded domain Windows build and test #1365: Commit f288371 pushed by mondokm
August 12, 2024 15:07 11m 18s mdd-dev
mdd-dev
August 12, 2024 15:07 11m 18s
Added different default solver for CHC, fixed cex length printing Windows build and test #1364: Commit 215a22f pushed by mondokm
August 12, 2024 11:40 16m 31s xsts-cli-fix
xsts-cli-fix
August 12, 2024 11:40 16m 31s
Merge pull request #292 from RipplB/xsts-cli-clikt Windows build and test #1363: Commit 575544c pushed by mondokm
August 9, 2024 10:35 18m 21s master
master
August 9, 2024 10:35 18m 21s
Xsts cli clikt Windows build and test #1362: Pull request #292 synchronize by mondokm
August 9, 2024 09:51 16m 39s RipplB:xsts-cli-clikt
RipplB:xsts-cli-clikt
August 9, 2024 09:51 16m 39s
Xsts cli clikt Windows build and test #1361: Pull request #292 synchronize by mondokm
August 9, 2024 09:47 3m 45s RipplB:xsts-cli-clikt
RipplB:xsts-cli-clikt
August 9, 2024 09:47 3m 45s
Xsts cli clikt Windows build and test #1360: Pull request #292 synchronize by mondokm
August 7, 2024 14:47 18m 55s RipplB:xsts-cli-clikt
RipplB:xsts-cli-clikt
August 7, 2024 14:47 18m 55s