Skip to content

Actions: ftsrg/theta

Actions

Linux build-test-deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-build-test-deploy.yml
1,385 workflow runs
1,385 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed struct and pointer dereferencing Linux build-test-deploy #1423: Commit 244eb92 pushed by leventeBajczi
October 3, 2024 10:01 18m 8s frontend-update-2024
frontend-update-2024
October 3, 2024 10:01 18m 8s
trace generation checker is now a Checker Linux build-test-deploy #1422: Commit 23301f7 pushed by AdamZsofi
September 29, 2024 11:53 52m 47s trace-generation
trace-generation
September 29, 2024 11:53 52m 47s
basic trace summary and visualization added Linux build-test-deploy #1421: Commit a49a7c8 pushed by AdamZsofi
September 23, 2024 13:57 51m 58s trace-generation
trace-generation
September 23, 2024 13:57 51m 58s
refactor trace metadata to trace summary Linux build-test-deploy #1420: Commit e4adab5 pushed by AdamZsofi
September 23, 2024 11:00 5m 11s trace-generation
trace-generation
September 23, 2024 11:00 5m 11s
changing return value of trace generation Linux build-test-deploy #1419: Commit 388a9cc pushed by AdamZsofi
September 21, 2024 20:16 5m 35s trace-generation
trace-generation
September 21, 2024 20:16 5m 35s
added basic trace metadata collection; tracegen refactored to clikt Linux build-test-deploy #1418: Commit 9b8c51e pushed by AdamZsofi
September 20, 2024 18:36 51m 34s trace-generation
trace-generation
September 20, 2024 18:36 51m 34s
added v0 trace metadata, wip refactor tracegen checker Linux build-test-deploy #1417: Commit 37089d3 pushed by AdamZsofi
September 19, 2024 07:21 4m 52s trace-generation
trace-generation
September 19, 2024 07:21 4m 52s
OC checker Linux build-test-deploy #1416: Pull request #264 synchronize by csanadtelbisz
September 16, 2024 15:18 1h 0m 15s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
September 16, 2024 15:18 1h 0m 15s
cleaning up before trace metadata Linux build-test-deploy #1415: Commit 41f6809 pushed by AdamZsofi
September 11, 2024 11:31 4m 54s trace-generation
trace-generation
September 11, 2024 11:31 4m 54s
Linux build-test-deploy Linux build-test-deploy #1414: Manually run by leventeBajczi
August 29, 2024 16:28 1h 3m 53s master
master
August 29, 2024 16:28 1h 3m 53s
Merge pull request #296 from ftsrg/add-svcomp-flag Linux build-test-deploy #1413: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 1h 17m 38s master
master
August 29, 2024 16:27 1h 17m 38s
added new flag --only-svcomp-witness Linux build-test-deploy #1412: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 1h 2m 27s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 1h 2m 27s
added new flag --only-svcomp-witness Linux build-test-deploy #1411: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 1h 1m 37s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 1h 1m 37s
merge master into tracegen Linux build-test-deploy #1410: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 4m 48s trace-generation
trace-generation
August 19, 2024 11:01 4m 48s
Change Preconditions check to assertion Linux build-test-deploy #1409: Commit ea0d2b2 pushed by mondokm
August 15, 2024 14:38 58m 54s mdd-dev
mdd-dev
August 15, 2024 14:38 58m 54s
Rename temp vars to local Linux build-test-deploy #1408: Commit 08963dd pushed by mondokm
August 15, 2024 13:22 50m 24s mdd-dev
mdd-dev
August 15, 2024 13:22 50m 24s
Reformat files Linux build-test-deploy #1407: Commit 07353cc pushed by mondokm
August 15, 2024 13:12 10m 18s mdd-dev
mdd-dev
August 15, 2024 13:12 10m 18s
Don't include tmp vars Linux build-test-deploy #1406: Commit fbc035d pushed by mondokm
August 15, 2024 12:42 30m 20s mdd-dev
mdd-dev
August 15, 2024 12:42 30m 20s
Linux build-test-deploy Linux build-test-deploy #1405: Manually run by mondokm
August 13, 2024 09:09 58m 44s master
master
August 13, 2024 09:09 58m 44s
Merge pull request #294 from ftsrg/xsts-cli-fix Linux build-test-deploy #1404: Commit 289781e pushed by mondokm
August 13, 2024 09:08 1h 4m 30s master
master
August 13, 2024 09:08 1h 4m 30s
XSTS Cli fixes Linux build-test-deploy #1403: Pull request #294 opened by mondokm
August 13, 2024 08:03 1h 4m 21s xsts-cli-fix
xsts-cli-fix
August 13, 2024 08:03 1h 4m 21s
Bump version Linux build-test-deploy #1402: Commit 10e6793 pushed by mondokm
August 13, 2024 08:02 58m 55s xsts-cli-fix
xsts-cli-fix
August 13, 2024 08:02 58m 55s
Reformat files Linux build-test-deploy #1401: Commit c80a182 pushed by mondokm
August 12, 2024 16:04 59m 28s mdd-dev
mdd-dev
August 12, 2024 16:04 59m 28s
Add level skip for unbounded domain Linux build-test-deploy #1400: Commit f288371 pushed by mondokm
August 12, 2024 15:07 57m 7s mdd-dev
mdd-dev
August 12, 2024 15:07 57m 7s
Added different default solver for CHC, fixed cex length printing Linux build-test-deploy #1399: Commit 215a22f pushed by mondokm
August 12, 2024 11:40 59m 40s xsts-cli-fix
xsts-cli-fix
August 12, 2024 11:40 59m 40s