issues
search
stlab
/
adobe-contract-checks
Contract checking facilities for C++
Boost Software License 1.0
6
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Deal with the fact that signal handler installation may not be guaranteed to run.
#26
dabrahams
opened
2 weeks ago
1
DRY in CMake code.
#25
dabrahams
closed
1 month ago
0
Scopeguard advice.
#24
dabrahams
closed
3 weeks ago
1
Clean out needless cruft from the template we started with
#23
dabrahams
opened
1 month ago
0
Update the clang-format file to “not horrible”
#22
dabrahams
opened
1 month ago
0
Add configuration detection macro.
#21
dabrahams
opened
1 month ago
1
Arity mismatch diagnostics are poor
#20
dabrahams
opened
1 month ago
0
Arity mismatch detection is weak.
#19
dabrahams
opened
1 month ago
1
New implementation.
#18
dabrahams
closed
1 month ago
4
Configuration file, minimal handler support
#17
dabrahams
closed
1 month ago
0
Documentation updates
#16
dabrahams
closed
1 month ago
1
modernize codeql in ci
#15
dabrahams
closed
1 month ago
0
Implement ADOBE_CONTRACT_VIOLATED_THROWS
#14
dabrahams
closed
1 month ago
0
Nix ADOBE_CONTRACT_VIOLATED_RETURNS.
#13
dabrahams
closed
1 month ago
0
Nix unconditional fatal errors.
#12
dabrahams
closed
1 month ago
0
Implement ADOBE_POSTCONDITION and ADOBE_INVARIANT
#11
dabrahams
closed
1 month ago
0
Documentation
#10
dabrahams
closed
1 month ago
0
Check that emscripten death tests actually die.
#9
dabrahams
closed
1 month ago
0
Enable emscripten in CI
#8
dabrahams
closed
2 months ago
0
Remove submodule support from CI
#7
dabrahams
closed
2 months ago
0
Try using GTest death tests.
#6
dabrahams
closed
2 months ago
0
Simplify CI
#5
dabrahams
closed
2 months ago
0
Disable UBSAN for GCC/Apple
#4
dabrahams
closed
2 months ago
0
Always pass test commands through cmake
#3
dabrahams
closed
2 months ago
1
See if gcc-14 works on macOS.
#2
dabrahams
closed
2 months ago
0
Fixing CI issues
#1
sean-parent
closed
1 month ago
4