microsoft/CodeContracts
View on GitHub ↗ ★ 893 C# archived
Source code for the CodeContracts tools for .NET
5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2015-12-30 · latest 2024-01-21
20082026
-
…...and it was axed in .NET Core back in 2016 and hasn't been seen since: https://github.com/microsoft/CodeContracts/issues/409 Had Microsoft put more backing behind it, then C# could present itself as a language to supplant Ada in
comment by DaiPlusPlus · 2024-01-21 · in Remembering Bell Labs as legendary idea factory prepares to leave N.J. home -
…ttps://www.microsoft.com/en-us/research/project/code-contra... [2] https://github.com/Z3Prover/z3 [3] https://github.com/microsoft/CodeContracts [4] https://github.com/dafny-lang/dafny [5] https://github.com/dotnet/csharplang/issues/105
comment by Genbox · 2023-10-27 · in Lean4 helped Terence Tao discover a small bug in his recent paper -
…to throwing. There is some static capability, but I'm not sure what the extent of it is. [0]: https://github.com/Microsoft/CodeContracts [1]: https://docs.microsoft.com/en-us/dotnet/framework/debug-trac...
comment by usea · 2018-04-02 · in Defensive programming framework for .NET Framework -
…crosoft.com/en-us/research/publication/pentago... . I'm not sure, but that code might be available in https://github.com/Microsoft/CodeContracts .
comment by jbapple · 2017-03-27 · in Catching integer overflows with template metaprogramming (2015) -
https://github.com/Microsoft/CodeContracts Takes this to another degree for .Net. Enables deeper static analysis to catch more programming errors before runtime.
comment by Aleman360 · 2015-12-30 · in Migrating ifs to guards in Swift