Skip to content

Actions: benmandrew/CEGIW

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add tests and linting instructions to README CI #148: Commit 1982f2b pushed by benmandrew
2m 28s main
main
2m 28s
Rename project to CEGIW CI #147: Commit 796d99b pushed by benmandrew
1m 58s main
main
1m 58s
Improve README instructions CI #146: Commit a90014b pushed by benmandrew
2m 5s main
main
2m 5s
Reduce Docker image size CI #145: Commit d4100b9 pushed by benmandrew
1m 56s main
main
1m 56s
Push Docker image in CI CI #144: Commit 126b10a pushed by benmandrew
2m 18s main
main
2m 18s
Correct CI for dev-requirements.txt CI #143: Commit 8761966 pushed by benmandrew
1m 23s main
main
1m 23s
Dockerfile for running case studies CI #142: Commit e18aff3 pushed by benmandrew
16s main
main
16s
Small changes to satisfy tests and linters CI #141: Commit 0100267 pushed by benmandrew
1m 26s main
main
1m 26s
Attempt at generating synthetic benchmarks CI #140: Commit 269d391 pushed by benmandrew
36s synthetic
synthetic
36s
Use decreasing battery instead of increasing timer CI #139: Commit 3494130 pushed by benmandrew
1m 19s main
main
1m 19s
Update requirements.txt CI #138: Commit f799aac pushed by benmandrew
1m 25s main
main
1m 25s
Add script for running all case studies CI #137: Commit 2cf151c pushed by benmandrew
1m 38s main
main
1m 38s
Add licence CI #136: Commit 879c41b pushed by benmandrew
2m 54s main
main
2m 54s
Run nuXmv BMC once for each loopback CI #135: Commit 89e5b90 pushed by benmandrew
1m 40s main
main
1m 40s
Better error handling for nuxmv CI #134: Commit 409685c pushed by benmandrew
1m 37s main
main
1m 37s
Remove unused functions CI #133: Commit 6603dde pushed by benmandrew
2m 1s main
main
2m 1s
Check safety properties instead of NP cycles CI #132: Commit 670e26c pushed by benmandrew
1m 55s main
main
1m 55s
Add commandline arg for showing trace markings CI #131: Commit c0faa48 pushed by benmandrew
1m 39s main
main
1m 39s
Added minimal pml model and various fixes CI #130: Commit 1c10926 pushed by benmandrew
2m 24s main
main
2m 24s
Make Spin trace analysis applicable to other models CI #129: Commit 69c3bd5 pushed by benmandrew
2m 51s main
main
2m 51s
Make Spin trace analysis applicable to other models CI #128: Commit d8e1610 pushed by benmandrew
1m 44s main
main
1m 44s
Make Spin trace analysis applicable to other models CI #127: Commit 60df5ac pushed by benmandrew
43s main
main
43s
Misc CI #126: Commit f1d14d5 pushed by benmandrew
2m 18s main
main
2m 18s
Support weakening on finite traces CI #125: Commit e473afc pushed by benmandrew
1m 45s main
main
1m 45s
Implemented LTL semantics for finite traces CI #124: Commit 1bf8328 pushed by benmandrew
2m 42s finite-traces
finite-traces
2m 42s