Search results

Examples from Cryptis

Status: Open.

#30 In utahplt/chorex;

· bennn opened on Jan 19, 2026

Docs: Clarify that "actor names" does *not* mean named processes, but rather role names

Status: Open.

#29 In utahplt/chorex;

· ashton314 opened on Sep 10, 2025

Investigate parallel compilation of modules

Status: Open.

#28 In utahplt/chorex;

· ashton314 opened on Sep 10, 2025

Examples from Links

Status: Open.

#27 In utahplt/chorex;

· bennn opened on Aug 27, 2025

Multi-branch conditional

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In utahplt/chorex;

· bennn opened on May 27, 2025

Static error for overloads

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In utahplt/chorex;

· bennn opened on May 27, 2025

Warn when actor not included in implementation map

Status: Open.

#24 In utahplt/chorex;

· ashton314 opened on May 9, 2025

POPL 2013 examples

Status: Open.

#23 In utahplt/chorex;

· bennn opened on Mar 27, 2025

Nice to have: syntactic sugar for sending the same message to multiple actors

Status: Open.

#22 In utahplt/chorex;

· ashton314 opened on Jan 21, 2025

Behaviour not getting picked up

Status: Open.

#21 In utahplt/chorex;

· ashton314 opened on Dec 4, 2024

Make it possible to use a PartitionSupervisor

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In utahplt/chorex;

· ashton314 opened on Nov 15, 2024

O₃ examples don't work because we don't have event-based channels

Status: Open.

#19 In utahplt/chorex;

· ashton314 opened on Nov 15, 2024