Guarantees and safety About the project Guarantees and safety Overview of TrustLang features responsible for code safety and quality Tags: Trust-Lang Safety Verification Memory
Stack overflow protection (stack check) About the project Guarantees and safety Stack overflow protection (stack check) Turning a stack overflow into a catchable exception instead of abnormal termination Tags: Safety Stack-Check Recursion