Vivien Rindisbacher
Vivien Rindisbacher
I'd need to look at the code again to be 100% sure but I don't think this is currently supported - the left side of "dot" expressions are parsed as...
I think the parsing may be a pain here... 🙃
Ya I think it is an issue with the IPC implementation.
I would be open to taking this. I might need to be pointed in the right direction though.
Thanks @nilehmann! @enjhnsn2, could you provide some detail on how you would expect this to work exactly, i.e. what do you do (add annotations, configs etc.) and what is the...
@enjhnsn2 see #861
No worries. I can put the breaks in that MapCell and outside for now so I can avoid refactoring until later. Refactoring should be doable too, just a pain to...
Sorry for the delay on this, but here's an isolated example from our discussion this morning. ```rust #[flux_rs::opaque] #[flux_rs::refined_by(m: Map)] pub struct RArray { arr: [T; 8], } impl RArray...
@nilehmann, the wrapper seems interesting. Are you thinking something along these lines? ```rust use std::ops::{BitAnd, Not}; flux_rs::defs! { fn bv32(val: int) -> bitvec { bv_int_to_bv32(val) } fn int(val: bitvec) ->...
I think this is kind of nice, but I really don't like how verbose `B32::from` and `.into()` are. Also, if you wanted to run this program, would all that code...