Skip to content

Commit a3b3154

Browse files
PLeVasseurRalfJung
andauthored
LLVM distinction on how to handle hard t-opsem problems
Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent e3c263a commit a3b3154

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • subcommittee/liaison/meetings/2026-05-26-opsem-expert-session

subcommittee/liaison/meetings/2026-05-26-opsem-expert-session/minutes.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,7 @@ What is the “trust relationship” in entities among iceoryx2?
114114
Hard problems in opsem
115115

116116
* Two processes which do not trust each other, how can they share data
117-
* Not LLVM clear way of going about this
117+
* No clear way of going about this on the LLVM side
118118
* Let alone when it comes to how to specify this in the Rust Abstract Machine
119119
* If possible for only one “side” to mutate at a time, then picture changes
120120

0 commit comments

Comments
 (0)