Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
1,156 workflow runs
1,156 workflow runs

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
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Doxygen Documentation #10732: Pull request #8878 synchronize by tautschnig
1m 27s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
1m 27s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Doxygen Documentation #10731: Pull request #8878 synchronize by tautschnig
1m 33s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
1m 33s
Cleanup fmod vs IEEE remainder Build Doxygen Documentation #10730: Pull request #7885 synchronize by tautschnig
1m 24s tautschnig:cleanup/floatbv-mod-rem
tautschnig:cleanup/floatbv-mod-rem
1m 24s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Doxygen Documentation #10729: Pull request #8878 synchronize by tautschnig
1m 33s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
1m 33s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Build Doxygen Documentation #10728: Pull request #8878 synchronize by tautschnig
1m 32s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
1m 32s
Unit tests: verify complementary pair detection in AND/OR Build Doxygen Documentation #10727: Pull request #8982 opened by tautschnig
15m 1s tautschnig:simplifier/complementary-pairs
tautschnig:simplifier/complementary-pairs
15m 1s
Simplifier: enable USE_LOCAL_REPLACE_MAP for if-then-else Build Doxygen Documentation #10726: Pull request #8981 opened by tautschnig
1h 0m 2s tautschnig:simplifier/enable-local-replace-map
tautschnig:simplifier/enable-local-replace-map
1h 0m 2s
Recognize malloc/calloc/realloc in local_bitvector_analysist Build Doxygen Documentation #10725: Pull request #8980 opened by tautschnig
57m 35s tautschnig:local_bitvector_analysis-libc-alloc
tautschnig:local_bitvector_analysis-libc-alloc
57m 35s
Implement solver-based branch pruning Build Doxygen Documentation #10724: Pull request #8979 opened by tautschnig
46m 59s tautschnig:branch-pruning
tautschnig:branch-pruning
46m 59s
Fix unnecessary irept copies found by check-irep-moves Build Doxygen Documentation #10723: Pull request #8978 opened by tautschnig
1h 7m 45s tautschnig:irept-copies
tautschnig:irept-copies
1h 7m 45s
Fix profiling: use --verbosity 8 instead of 10 Build Doxygen Documentation #10722: Pull request #8977 opened by tautschnig
39m 29s tautschnig:profiling-verbosity
tautschnig:profiling-verbosity
39m 29s
Improve hash functions: FNV-1a for strings, MurmurHash3 for ireps Build Doxygen Documentation #10721: Pull request #8976 opened by tautschnig
1h 10m 15s tautschnig:change-hash-functions
tautschnig:change-hash-functions
1h 10m 15s
Drop unused functions before property instrumentation Build Doxygen Documentation #10720: Pull request #8975 opened by tautschnig
5m 45s tautschnig:move-drop-unused-functions
tautschnig:move-drop-unused-functions
5m 45s
Skip rename_symbolt::rename when maps are empty Build Doxygen Documentation #10719: Pull request #8974 opened by tautschnig
14m 6s tautschnig:skip-rename
tautschnig:skip-rename
14m 6s
Add CMake option to auto-detect and link tcmalloc or jemalloc Build Doxygen Documentation #10718: Pull request #8973 opened by tautschnig
30m 46s tautschnig:tcmalloc
tautschnig:tcmalloc
30m 46s
Reduce redundant pointer checks in goto_check_c Build Doxygen Documentation #10717: Pull request #8972 opened by tautschnig
1m 34s tautschnig:no-redundant-checks
tautschnig:no-redundant-checks
1m 34s
Avoid branches in CPROVER library for --paths mode Build Doxygen Documentation #10716: Pull request #8971 opened by tautschnig
1m 40s tautschnig:library-branching
tautschnig:library-branching
1m 40s
Unit test: ensure simplifier flattens nested AND/OR expressions Build Doxygen Documentation #10715: Pull request #8970 synchronize by tautschnig
1m 32s tautschnig:simplifier/flatten-and-or
tautschnig:simplifier/flatten-and-or
1m 32s
Unit test: ensure simplifier flattens nested AND/OR expressions Build Doxygen Documentation #10714: Pull request #8970 opened by tautschnig
1m 36s tautschnig:simplifier/flatten-and-or
tautschnig:simplifier/flatten-and-or
1m 36s
Remove support for CVC 3 and CVC 4 Build Doxygen Documentation #10713: Pull request #8967 synchronize by kroening
1m 34s smt-solver-cleanup
smt-solver-cleanup
1m 34s
Remove support for CVC 3 and CVC 4 Build Doxygen Documentation #10712: Pull request #8967 synchronize by kroening
1m 32s smt-solver-cleanup
smt-solver-cleanup
1m 32s
SMT2 backend: reduction operators Build Doxygen Documentation #10711: Pull request #8964 synchronize by kroening
1m 34s smt2-reduction-operators
smt2-reduction-operators
1m 34s
SMT2 backend: reduction operators Build Doxygen Documentation #10710: Pull request #8964 synchronize by kroening
12m 10s smt2-reduction-operators
smt2-reduction-operators
12m 10s
SMT2 backend: reduction operators Build Doxygen Documentation #10709: Pull request #8964 synchronize by kroening
11m 25s smt2-reduction-operators
smt2-reduction-operators
11m 25s
SMT2 backend: reduction operators Build Doxygen Documentation #10708: Pull request #8964 synchronize by kroening
2m 18s smt2-reduction-operators
smt2-reduction-operators
2m 18s