Skip to content

Actions: martin-cs/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for function-local analysis to goto-analyser Publish CBMC documentation #37: Commit cd97e21 pushed by martin-cs
September 3, 2023 11:11 2m 30s feature/ai-local-analysis
feature/ai-local-analysis
September 3, 2023 11:11 2m 30s
Add a task to goto-analyzer to instrument the program with invariants Publish CBMC documentation #36: Commit bf993ac pushed by martin-cs
September 3, 2023 11:10 2m 31s feature/goto-analyzer-instrument-task
feature/goto-analyzer-instrument-task
September 3, 2023 11:10 2m 31s
Add a task to goto-analyzer to instrument the program with invariants Publish CBMC documentation #35: Commit 800a4d0 pushed by martin-cs
September 2, 2023 17:09 2m 55s feature/goto-analyzer-instrument-task
feature/goto-analyzer-instrument-task
September 2, 2023 17:09 2m 55s
Various miscellaneous fixes Build and Test Xen #24: Commit ddb7e63 pushed by martin-cs
September 1, 2023 14:49 Startup failure VSD/sharing-map
VSD/sharing-map
September 1, 2023 14:49 Startup failure
Add helper for showing memory usage of string container Build and Test Xen #23: Commit b8bef97 pushed by martin-cs
September 1, 2023 14:46 1s VSD/string-container-stats
VSD/string-container-stats
September 1, 2023 14:46 1s
Merge pull request #7871 from thomasspriggs/tas/ctime_fix Publish CBMC documentation #34: Commit 228b9dd pushed by martin-cs
September 1, 2023 14:37 3m 25s VSD/sharing-map
VSD/sharing-map
September 1, 2023 14:37 3m 25s
Merge pull request #7871 from thomasspriggs/tas/ctime_fix Publish CBMC documentation #33: Commit 228b9dd pushed by martin-cs
September 1, 2023 14:34 3m 29s VSD/string-container-stats
VSD/string-container-stats
September 1, 2023 14:34 3m 29s
Work in progress in removing get_state Publish CBMC documentation #32: Commit 7174b13 pushed by martin-cs
September 1, 2023 14:22 3m 29s refactor/remove_deprecated_in_ai_2
refactor/remove_deprecated_in_ai_2
September 1, 2023 14:22 3m 29s
Merge pull request #7871 from thomasspriggs/tas/ctime_fix Publish CBMC documentation #31: Commit 228b9dd pushed by martin-cs
September 1, 2023 14:20 3m 36s fix/tag-z3-regression-tests-2
fix/tag-z3-regression-tests-2
September 1, 2023 14:20 3m 36s
WIP on instrumentation mode Publish CBMC documentation #30: Commit 2f5842b pushed by martin-cs
September 1, 2023 14:16 2m 50s feature/goto-analyzer-instrument-task
feature/goto-analyzer-instrument-task
September 1, 2023 14:16 2m 50s
working tweaks, do not commit Publish CBMC documentation #29: Commit da2480f pushed by martin-cs
September 1, 2023 14:10 3m 54s refactor/move-abstract-interpreter-functionality-into-goto-analyzer
refactor/move-abstract-interpreter-functionality-into-goto-analyzer
September 1, 2023 14:10 3m 54s
Create an example abstract domain and use in goto-analyzer Publish CBMC documentation #28: Commit 3a500c7 pushed by martin-cs
September 1, 2023 12:28 3m 6s example-domain
example-domain
September 1, 2023 12:28 3m 6s
Add support for function-local analysis to goto-analyser Publish CBMC documentation #27: Commit df71a75 pushed by martin-cs
September 1, 2023 12:18 3m 56s feature/ai-local-analysis
feature/ai-local-analysis
September 1, 2023 12:18 3m 56s
Adapt accessor methods to ait's newer style Publish CBMC documentation #26: Commit b6ed850 pushed by martin-cs
September 1, 2023 12:12 3m 23s refactor/remove-static-analysis
refactor/remove-static-analysis
September 1, 2023 12:12 3m 23s
WIP Publish CBMC documentation #25: Commit 6ef0226 pushed by martin-cs
September 1, 2023 12:09 3m 3s feature/unwind-bound-analysis
feature/unwind-bound-analysis
September 1, 2023 12:09 3m 3s
WIP Publish CBMC documentation #24: Commit f984b02 pushed by martin-cs
September 1, 2023 12:05 3m 47s feature/history-automata
feature/history-automata
September 1, 2023 12:05 3m 47s
Document the predicate tracking domain Publish CBMC documentation #23: Commit 0db89a2 pushed by martin-cs
September 1, 2023 11:51 2m 38s feature/vsd-predicate-tracking
feature/vsd-predicate-tracking
September 1, 2023 11:51 2m 38s
A test case which demonstrates the problem Publish CBMC documentation #22: Commit 46565cd pushed by martin-cs
September 1, 2023 11:35 2m 47s fix/ai-recursion
fix/ai-recursion
September 1, 2023 11:35 2m 47s
Update and correct the description of analyses/ Publish CBMC documentation #21: Commit 5380073 pushed by martin-cs
September 1, 2023 11:18 2m 28s fix/documentation-tidy
fix/documentation-tidy
September 1, 2023 11:18 2m 28s