Fangyi Zhou

Thanks for the reply! > since the 4.11 AST bump, when bumping the AST we send a patch to the users we'd break I'm assuming that you're sending patches to...

Hi :wave: I'm a PhD student at Imperial College London, we're investigating how to OpenTelemetry and Multiparty Session Types for monitoring protocol conformance. Currently there's only a primitive prototype, but...

On a side note, https://github.com/nuscr/nuscr/blob/develop/test/cram-tests/core/proj-not-involved.t/Loop.nuscr the projection of B becomes `rec Loop { end }`, which is a degenerate recursion

/cc @zakcutner

https://github.com/backtracking/ocamlgraph/blob/1c028af097339ca8bc379436f7bd9477fa3a49cd/src/graphviz.ml#L573 It seems that the graph name is fixated to `G`, I'll think about another way to add the info in the dot output...

Thanks for the comments @nikswamy, I'm happy to add the proposed extensions, I'll try to finish them within upcoming weeks :)

Hi, got hit by this today and it took my quite a while to understand what went wrong. I think it's worth implementing the hint of some sort to help...

It seems that the Makefile and the examples haven't been updated in the last commit, but the previous commit seems to be able to run

I've attempted to fix the auto-scheduler in #2421. There has been a few commits refactoring the auto-scheduler and the refactoring is likely the cause of these errors. If you need...

Thanks for the reply. I agree that the current way to present this subtlety is probably not the best. Ideally, we first introduce the concept/definition of bisimulation: > Simulation: For...