index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
ui
/
contracts
Age
Commit message (
Expand
)
Author
Lines
2025-07-19
tests: Require `run-fail` ui tests to have an exit code (`SIGABRT` not ok)
Martin Nordholts
-20
/
+20
2025-04-08
Fix unreachable expression warning
Celina G. Val
-55
/
+10
2025-04-07
Enable contracts for const functions
Celina G. Val
-9
/
+144
2025-02-11
Rollup merge of #136837 - compiler-errors:contracts-body-lowering, r=celinval
Jacob Pratt
-0
/
+29
2025-02-10
Don't ICE when failing to lower contracts for associated impl items
Michael Goulet
-0
/
+29
2025-02-10
Stop using span hack for contracts feature gating
Michael Goulet
-4
/
+4
2025-02-03
Rename rustc_contract to contract
Celina G. Val
-72
/
+429
2025-02-03
Improve contracts intrisics and remove wrapper function
Celina G. Val
-40
/
+30
2025-02-03
Refactor contract builtin macro + error handling
Celina G. Val
-0
/
+207
2025-02-03
Separate contract feature gates for the internal machinery
Felix S. Klock II
-6
/
+103
2025-02-03
demonstrate how to capture state at precondition time and feed into postcond...
Felix S. Klock II
-0
/
+74
2025-02-03
Desugars contract into the internal AST extensions
Felix S. Klock II
-0
/
+164
2025-02-03
Express contracts as part of function header and lower it to the contract lan...
Celina G. Val
-0
/
+118
2025-02-03
contracts: added lang items that act as hooks for rustc-injected code to invoke.
Felix S. Klock II
-0
/
+47
2025-02-03
Contracts core intrinsics.
Felix S. Klock II
-0
/
+23