Skip to content

Actions: TOPLLab/MIO

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Use the emulator by default in the configuration Build with Gradle #221: Commit de8a43d pushed by MaartenS11
3m 39s verder
verder
3m 39s
Add a Dockerfile for easily running the benchmarks Build with Gradle #220: Commit 6e74dcb pushed by MaartenS11
3m 44s verder
verder
3m 44s
Adjust order of evaluation programs to match the table Build with Gradle #219: Commit 7dcc42d pushed by MaartenS11
3m 30s verder
verder
3m 30s
Update crystal-ball evaluation to bound the random number with max Build with Gradle #218: Commit 8cab422 pushed by MaartenS11
3m 23s verder
verder
3m 23s
Update knock-lock evaluation Build with Gradle #217: Commit b65aaa7 pushed by MaartenS11
3m 22s verder
verder
3m 22s
Update gesture-robot evaluation Build with Gradle #216: Commit 465153a pushed by MaartenS11
3m 36s verder
verder
3m 36s
Add script to run the evaluation of the analysis Build with Gradle #215: Commit 0be104a pushed by MaartenS11
3m 29s verder
verder
3m 29s
Improve BlockingWindow styling Build with Gradle #214: Commit f315cbd pushed by MaartenS11
1m 46s main
main
1m 46s
Improve BlockingWindow styling Build with Gradle #213: Commit f441bd8 pushed by MaartenS11
3m 33s verder
verder
3m 33s
Enable tracing mode in the InteractiveDebugger Build with Gradle #212: Commit ec2629c pushed by MaartenS11
3m 44s verder
verder
3m 44s
Tracing mode support Build with Gradle #211: Commit 318cfe8 pushed by MaartenS11
1m 51s main
main
1m 51s
Tracing mode support Build with Gradle #210: Commit 4473fc2 pushed by MaartenS11
3m 42s verder
verder
3m 42s
Fixed tests so they work with the modified argument count of stepBack Build with Gradle #209: Commit 45bcdfe pushed by MaartenS11
3m 26s verder
verder
3m 26s
Disable checkpoint logging Build with Gradle #208: Commit 02c1bb7 pushed by MaartenS11
3m 0s verder
verder
3m 0s
Cleaned up logging a bit more Build with Gradle #207: Commit 90ab073 pushed by MaartenS11
3m 21s verder
verder
3m 21s
Clean up woodstate logging a bit more Build with Gradle #206: Commit a378efb pushed by MaartenS11
3m 35s verder
verder
3m 35s
Merge branch 'woodstate-logger' into verder Build with Gradle #205: Commit dfe9f3e pushed by MaartenS11
3m 41s verder
verder
3m 41s
Use special formatting so the prompt for overwriting the config file … Build with Gradle #204: Commit fb2b2f0 pushed by MaartenS11
3m 36s verder
verder
3m 36s
Allow setup to optionally override your existing config Build with Gradle #203: Commit f29db6a pushed by MaartenS11
3m 31s verder
verder
3m 31s
Downgrade to java 21 Build with Gradle #202: Commit 0264651 pushed by MaartenS11
3m 45s verder
verder
3m 45s
Use logger in woodstate so it doesn't print at all times Build with Gradle #201: Commit 943678b pushed by MaartenS11
1m 26s woodstate-logger
woodstate-logger
1m 26s
Use logger in woodstate so it doesn't print at all times Build with Gradle #200: Commit 3426509 pushed by MaartenS11
1m 35s woodstate-logger
woodstate-logger
1m 35s
Use logger in woodstate so it doesn't print at all times Build with Gradle #199: Commit 77806ae pushed by MaartenS11
1m 34s woodstate-logger
woodstate-logger
1m 34s
Add a series of tests for the concolic execution engine (#8) Build with Gradle #198: Commit 4388b8f pushed by MaartenS11
3m 31s verder
verder
3m 31s
Add GDBStub for debugging with LLDB Build with Gradle #197: Pull request #15 synchronize by MaartenS11
1m 33s feat/gdbstub
feat/gdbstub
1m 33s