Skip to content

Actions: esbmc/C-instrumentator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Early warning on push #31: Commit b08fece pushed by rafaelsamenezes
July 1, 2024 14:21 1m 23s main
main
July 1, 2024 14:21 1m 23s
Update README.md Early warning on push #30: Commit 771bdcf pushed by rafaelsamenezes
July 1, 2024 14:20 1m 31s main
main
July 1, 2024 14:20 1m 31s
support for constants Early warning on push #29: Commit ad660ab pushed by rafaelsamenezes
July 1, 2024 13:44 1m 27s main
main
July 1, 2024 13:44 1m 27s
more .data() Early warning on push #28: Commit caaba81 pushed by rafaelsamenezes
July 1, 2024 13:07 1m 30s main
main
July 1, 2024 13:07 1m 30s
more .data() Early warning on push #27: Commit caaba81 pushed by rafaelsamenezes
July 1, 2024 13:04 1m 29s unrolling
unrolling
July 1, 2024 13:04 1m 29s
calling .data() from string_view to invoke char* interface of ifstream Early warning on push #26: Commit 340ca5c pushed by rafaelsamenezes
July 1, 2024 13:02 1m 17s unrolling
unrolling
July 1, 2024 13:02 1m 17s
added read mode Early warning on push #25: Commit e6a0056 pushed by rafaelsamenezes
July 1, 2024 12:52 1m 27s unrolling
unrolling
July 1, 2024 12:52 1m 27s
replaced std::format with fmt::format Early warning on push #24: Commit 3166993 pushed by rafaelsamenezes
July 1, 2024 12:46 1m 17s unrolling
unrolling
July 1, 2024 12:46 1m 17s
fixed included headerds Early warning on push #23: Commit 9f8a5f7 pushed by rafaelsamenezes
July 1, 2024 12:42 1m 14s unrolling
unrolling
July 1, 2024 12:42 1m 14s
updated readme Early warning on push #22: Commit 005dda7 pushed by rafaelsamenezes
July 1, 2024 12:41 1m 20s unrolling
unrolling
July 1, 2024 12:41 1m 20s
fixed test-cases Early warning on push #21: Commit 9df84ea pushed by rafaelsamenezes
July 1, 2024 12:33 2m 46s unrolling
unrolling
July 1, 2024 12:33 2m 46s
assume that clang-format is on path Early warning on push #20: Commit 3cfcc05 pushed by rafaelsamenezes
July 1, 2024 10:22 1m 29s unrolling
unrolling
July 1, 2024 10:22 1m 29s
unroller now uses clang rewritter to incrementally replace loops Early warning on push #19: Commit 26709cd pushed by rafaelsamenezes
June 28, 2024 11:09 1m 21s unrolling
unrolling
June 28, 2024 11:09 1m 21s
loop unroller can detect loop bounds Early warning on push #18: Commit 77e2e41 pushed by rafaelsamenezes
June 26, 2024 12:41 1m 33s main
main
June 26, 2024 12:41 1m 33s
added loop bounds identification Early warning on push #17: Commit dfe9ecd pushed by rafaelsamenezes
June 25, 2024 16:06 1m 25s main
main
June 25, 2024 16:06 1m 25s
added bounded loop unroller class Early warning on push #16: Commit 43e8fe5 pushed by rafaelsamenezes
June 25, 2024 10:53 1m 15s main
main
June 25, 2024 10:53 1m 15s
moved goal injector main executable Early warning on push #15: Commit 451eb07 pushed by rafaelsamenezes
June 25, 2024 10:38 1m 19s main
main
June 25, 2024 10:38 1m 19s
Update README.md Early warning on push #14: Commit 02dff8b pushed by rafaelsamenezes
June 25, 2024 10:07 2m 12s main
main
June 25, 2024 10:07 2m 12s
added build instructions Early warning on push #13: Commit 65b107e pushed by rafaelsamenezes
June 25, 2024 10:05 1m 17s main
main
June 25, 2024 10:05 1m 17s
set C++23 Early warning on push #12: Commit d908012 pushed by rafaelsamenezes
June 24, 2024 15:04 1m 13s main
main
June 24, 2024 15:04 1m 13s
moved GoalInjector description Early warning on push #11: Commit d162320 pushed by rafaelsamenezes
June 24, 2024 14:55 1m 5s main
main
June 24, 2024 14:55 1m 5s
Update build-unix.yml Early warning on push #10: Commit 292a02b pushed by rafaelsamenezes
June 24, 2024 14:36 1m 26s main
main
June 24, 2024 14:36 1m 26s
Update build-unix.yml Early warning on push #9: Commit 205a15b pushed by rafaelsamenezes
June 24, 2024 14:35 41s main
main
June 24, 2024 14:35 41s
Update build-unix.yml Early warning on push #8: Commit 780c096 pushed by rafaelsamenezes
June 24, 2024 14:32 34s main
main
June 24, 2024 14:32 34s
changed LLVM version to the system default Early warning on push #7: Commit cd8bae7 pushed by rafaelsamenezes
June 24, 2024 14:32 21s main
main
June 24, 2024 14:32 21s