Skip to content

Updating Carbon's safety strategy #5914

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 25 commits into from
Aug 21, 2025
+810 −31
Merged

Updating Carbon's safety strategy #5914

Changes from 1 commit
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
69d8848
Filling out template with PR 5914
chandlerc Aug 6, 2025
d2057e8
Flesh out the safety design, terminology, and make the proposal more
chandlerc Aug 7, 2025
af5f2ed
tidy
chandlerc Aug 7, 2025
833b9c7
tidy
chandlerc Aug 7, 2025
e966542
tidy
chandlerc Aug 7, 2025
285d1ff
Apply suggestions from code review
chandlerc Aug 8, 2025
8daa3a9
Apply suggestions from code review
chandlerc Aug 8, 2025
77333ba
review
chandlerc Aug 8, 2025
8d9298e
more review
chandlerc Aug 8, 2025
6630fa9
fix
chandlerc Aug 8, 2025
0f74238
more review
chandlerc Aug 11, 2025
320aa65
tweak ecosystem section
chandlerc Aug 11, 2025
8dff909
fix
chandlerc Aug 11, 2025
5078180
Update docs/design/safety/terminology.md
chandlerc Aug 12, 2025
643d290
more review
chandlerc Aug 12, 2025
36a343c
fix
chandlerc Aug 12, 2025
a0c0928
Apply suggestions from code review
chandlerc Aug 12, 2025
3979665
review tweak
chandlerc Aug 12, 2025
f84b0dd
another review tweake
chandlerc Aug 12, 2025
0e622eb
Apply suggestions from code review
chandlerc Aug 13, 2025
2ca2b76
review fixes
chandlerc Aug 13, 2025
1336eb3
fix
chandlerc Aug 13, 2025
7bee8ed
feedback
chandlerc Aug 14, 2025
38c1d49
Update docs/design/safety/README.md
chandlerc Aug 20, 2025
9abe3be
format
chandlerc Aug 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 5 additions & 4 deletions docs/design/safety/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -228,10 +228,11 @@ that disables the run-time enforcement, enabling the control of any overhead inc
[evidence]: https://chandlerc.blog/posts/2024/11/story-time-bounds-checking/
[performance control]: /docs/project/goals.md#performance-critical-software

The debug build will work to cause bugs and any detectable undefined or
erroneous behavior to have [fail-stop] behavior and even detailed diagnostics to
enable better debugging. This mode will at least provide similar bug [detection]
capabilities to [AddressSanitizer] and [MemorySanitizer].
The debug build will work to cause bugs, in both safe and unsafe code, and any
detectable undefined or erroneous behavior to have [fail-stop] behavior and even
detailed diagnostics to enable better debugging. This mode will at least provide
similar bug [detection] capabilities to [AddressSanitizer] and
[MemorySanitizer].

[fail-stop]: /docs/design/safety/terminology.md#fail-stop
[detection]: /docs/design/safety/terminology.md#detecting
Expand Down
Loading