Skip to content

ability to disable error tracing with @setDebugSafety #692

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

Jump to bottom
Closed
andrewrk opened this issue Jan 15, 2018 · 1 comment
Closed

ability to disable error tracing with @setDebugSafety #692

andrewrk opened this issue Jan 15, 2018 · 1 comment
Labels
enhancement Solving this issue will likely involve adding new logic or components to the codebase.
Milestone
0.7.0

Comments

@andrewrk
Copy link
Member

See also #437

In any given function if we use @setDebugSafety that is supposed to enable full optimization, including disabling error return tracing code.
@andrewrk andrewrk added the enhancement Solving this issue will likely involve adding new logic or components to the codebase. label Jan 15, 2018
@andrewrk andrewrk added this to the 0.3.0 milestone Jan 15, 2018
@andrewrk andrewrk modified the milestones: 0.3.0, 0.4.0 Feb 28, 2018
@andrewrk andrewrk modified the milestones: 0.4.0, 0.5.0 Feb 7, 2019
@andrewrk andrewrk modified the milestones: 0.5.0, 0.6.0 Sep 20, 2019
@andrewrk andrewrk modified the milestones: 0.6.0, 0.7.0 Feb 10, 2020
@andrewrk
Copy link
Member Author

andrewrk commented Oct 9, 2020

superseded by #978

@andrewrk andrewrk closed this as completed Oct 9, 2020
@mlugg mlugg added this to Safety Aug 22, 2024
@mlugg mlugg moved this to To do in Safety Aug 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement Solving this issue will likely involve adding new logic or components to the codebase.
Projects
Safety
Status: To do
Milestone
0.7.0
Development

No branches or pull requests
1 participant
@andrewrk