Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
31 workflow run results
31 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use goto-analyzer to add assumptions, assertions and code contracts Build Doxygen Documentation #7892: Pull request #7964 synchronize by martin-cs
October 17, 2023 08:04 2m 32s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 08:04 2m 32s
Use goto-analyzer to add assumptions, assertions and code contracts Build Doxygen Documentation #7891: Pull request #7964 opened by martin-cs
October 17, 2023 07:51 2m 17s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
October 17, 2023 07:51 2m 17s
Fix a pair of issues where const was (unintentionally) cast away Build Doxygen Documentation #7889: Pull request #7962 opened by thomasspriggs
October 16, 2023 18:18 2m 28s thomasspriggs:tas/const_cast_fixes
thomasspriggs:tas/const_cast_fixes
October 16, 2023 18:18 2m 28s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7887: Pull request #7924 synchronize by tautschnig
October 13, 2023 22:35 2m 14s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 22:35 2m 14s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7886: Pull request #7924 synchronize by tautschnig
October 13, 2023 21:03 3m 20s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 21:03 3m 20s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7885: Pull request #7924 synchronize by tautschnig
October 13, 2023 21:00 2m 40s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 21:00 2m 40s
Add support for union member expressions in incremental smt2 decision procedure Build Doxygen Documentation #7884: Pull request #7961 opened by thomasspriggs
October 13, 2023 20:08 2m 43s thomasspriggs:tas/smt_union_member
thomasspriggs:tas/smt_union_member
October 13, 2023 20:08 2m 43s
Adds an over-approximation for syscall function Build Doxygen Documentation #7883: Pull request #7937 synchronize by feliperodri
October 13, 2023 18:25 2m 4s feliperodri:add-model-syscall
feliperodri:add-model-syscall
October 13, 2023 18:25 2m 4s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7882: Pull request #7924 synchronize by tautschnig
October 13, 2023 13:45 2m 5s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 13:45 2m 5s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7881: Pull request #7924 synchronize by tautschnig
October 13, 2023 13:27 2m 4s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 13:27 2m 4s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7880: Pull request #7924 synchronize by tautschnig
October 13, 2023 12:17 2m 4s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 12:17 2m 4s
Build and infrastructure fixes for FreeBSD Build Doxygen Documentation #7879: Pull request #7924 synchronize by tautschnig
October 13, 2023 11:24 2m 26s tautschnig:bugfixes/freebsd-build
tautschnig:bugfixes/freebsd-build
October 13, 2023 11:24 2m 26s
Mimic GCC/Clang simplification behaviour when type checking ?: Build Doxygen Documentation #7878: Pull request #7959 opened by tautschnig
October 13, 2023 10:30 2m 4s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
October 13, 2023 10:30 2m 4s
Simplify byte_extract(byte_update(...)) when extracting from update Build Doxygen Documentation #7877: Pull request #7933 synchronize by tautschnig
October 13, 2023 09:57 2m 11s tautschnig:features/simplify-be-bu
tautschnig:features/simplify-be-bu
October 13, 2023 09:57 2m 11s
Restrict memory-analyzer build to Linux x86_64/i386 Build Doxygen Documentation #7876: Pull request #7958 opened by tautschnig
October 13, 2023 09:28 2m 11s tautschnig:bugfixes/memory-analyzer-config
tautschnig:bugfixes/memory-analyzer-config
October 13, 2023 09:28 2m 11s
C front-end: typecheck conditional operator over string literal and 0 Build Doxygen Documentation #7875: Pull request #7946 synchronize by tautschnig
October 13, 2023 09:07 2m 58s tautschnig:bugfixes/null-ptr
tautschnig:bugfixes/null-ptr
October 13, 2023 09:07 2m 58s
std::sort requires strict weak ordering Build Doxygen Documentation #7873: Pull request #7956 opened by tautschnig
October 12, 2023 14:32 2m 14s tautschnig:bugfixes/7949-comparison
tautschnig:bugfixes/7949-comparison
October 12, 2023 14:32 2m 14s
update CHANGELOG for last minute bug fixes Build Doxygen Documentation #7872: Pull request #7955 opened by TGWDB
October 12, 2023 11:47 2m 3s 20231012-CHANGELOG-update
20231012-CHANGELOG-update
October 12, 2023 11:47 2m 3s
Simplification towards singleton intervals requires single variable Build Doxygen Documentation #7871: Pull request #7954 opened by tautschnig
October 12, 2023 08:56 2m 29s tautschnig:bugfixes/7953-interval-simp
tautschnig:bugfixes/7953-interval-simp
October 12, 2023 08:56 2m 29s
20231011 cbmc 5.94.0 Build Doxygen Documentation #7869: Pull request #7948 synchronize by TGWDB
October 11, 2023 22:55 2m 12s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 22:55 2m 12s
20231011 cbmc 5.94.0 Build Doxygen Documentation #7868: Pull request #7948 synchronize by TGWDB
October 11, 2023 22:54 2m 27s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 22:54 2m 27s
Add missing lowering of symbol values in new SMT backend Build Doxygen Documentation #7867: Pull request #7952 opened by thomasspriggs
October 11, 2023 20:37 2m 24s thomasspriggs:tas/smt_lower_symbol_values
thomasspriggs:tas/smt_lower_symbol_values
October 11, 2023 20:37 2m 24s
Fix SMT encoding of structs which contain a single struct field Build Doxygen Documentation #7866: Pull request #7951 opened by thomasspriggs
October 11, 2023 19:50 2m 27s thomasspriggs:tas/smt_struct_of_struct
thomasspriggs:tas/smt_struct_of_struct
October 11, 2023 19:50 2m 27s
Fix book regression tests handling of smt test runs Build Doxygen Documentation #7865: Pull request #7950 opened by thomasspriggs
October 11, 2023 18:13 2m 55s thomasspriggs:tas/fix_book_examples_smt
thomasspriggs:tas/fix_book_examples_smt
October 11, 2023 18:13 2m 55s
20231011 cbmc 5.94.0 Build Doxygen Documentation #7864: Pull request #7948 opened by TGWDB
October 11, 2023 14:36 2m 17s 20231011-cbmc-5.94.0
20231011-cbmc-5.94.0
October 11, 2023 14:36 2m 17s