Felix S. Klock II bcb8565f30 Contracts core intrinsics. ...

These are hooks to:

  1. control whether contract checks are run
  2. allow 3rd party tools to intercept and reintepret the results of running contracts.

2025-02-03 12:53:57 -08:00

..

abs_domain.rs

Implement MIR, CTFE, and codegen for unsafe binders

2025-01-31 17:19:53 +00:00

builder.rs

Contracts core intrinsics.

2025-02-03 12:53:57 -08:00

mod.rs

Simplify rustc_mir_dataflow::abs_domain.

2024-12-11 10:45:47 +11:00