Comments (3)
I discovered the -Z mir-enable-passes=val
flag, which allows choosing exactly which mir passes to run! I'll have to experiment to see if we can get drops without other optimizations.
from charon.
For context:
- Drop elaboration is well explained in the dev guide;
- It is run in the
analysis->runtime
MIR phase, the results of which are available only inmir_drops_elaborated_and_const_checked
andoptimized_mir
; - We can't run individual passes ourselves because they're not made public (but we could ask rustc devs for that). EDIT: see below.
from charon.
I discovered the
-Z mir-enable-passes=val
flag, which allows choosing exactly which mir passes to run! I'll have to experiment to see if we can get drops without other optimizations.
This looks very promising!
from charon.
Related Issues (20)
- Tracking issue for not crashing on the rustc test suite HOT 5
- Reorganize the Charon files into subfolders HOT 3
- Support for mutually recursive traits and functions HOT 4
- Add support for vec macro HOT 1
- `user_annotation.is_none` error when using `Self`
- Crash when using `Self` in enum impl HOT 1
- Support foreign constants HOT 2
- Crash when using constants in arithmetic operations HOT 3
- Expose charon as a rust library
- Hide provided trait methods
- Move rustc queries to hax
- Update rustc version
- Add weekly CI for installing the toolchain based on README instructions HOT 1
- CI: skip testing dependent projects when version changed HOT 1
- Regression on small example
- Can't leak crate-private traits error in libcrux-ml-kem HOT 5
- Handle build.rs HOT 6
- Unbounded memory consumption on large projects? HOT 1
- Clarify the encoding of closures
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from charon.