Search results

Make synchronous channels work for process families

type: enhancement

Status: Open.

#130 In input-output-hk/thorn-calculus;

· javierdiaz72 opened on Jan 15, 2024

Add support for ordered transmission

type: enhancement

Status: Open.

#128 In input-output-hk/thorn-calculus;

· jeltsch opened on Oct 24, 2023

·  

Availability of the software in a proper state

Move support for derived constructs to dedicated theories

type: improvement

Status: Open.

#113 In input-output-hk/thorn-calculus;

· jeltsch opened on Sep 28, 2023

·  

Availability of the software in a proper state

Rename Core_Bisimilarities to Basic_Bisimilarities

type: improvement

Status: Open.

#112 In input-output-hk/thorn-calculus;

· jeltsch opened on Sep 28, 2023

·  

Availability of the software in a proper state

Move process family type annotations to right-hand sides

type: improvement

Status: Open.

#101 In input-output-hk/thorn-calculus;

· jeltsch opened on May 17, 2023

·  

Availability of the software in a proper state

Make proofs of existence smoother

type: improvement

Status: Open.

#87 In input-output-hk/thorn-calculus;

· jeltsch opened on Apr 21, 2023

·  

Availability of the software in a proper state

Add @javierdiaz’s examples to Thorn_Calculus-Examples

type: enhancement

Status: Open.

#75 In input-output-hk/thorn-calculus;

· javierdiaz72 opened on Jan 5, 2023

·  

Availability of the software in a proper state

Complete the formalization of the asynchronous semantics

type: enhancement

Status: Open.

#46 In input-output-hk/thorn-calculus;

· jeltsch opened on Jul 2, 2022

·  

Availability of the software in a proper state

Impose proper order for constructors and derived functions

type: improvement

Status: Open.

#30 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 23, 2022

·  

Availability of the software in a proper state

Make equivalence work with repeated_receive

type: enhancement

Status: Open.

#29 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 23, 2022

·  

Availability of the software in a proper state

Make equivalence work with receive

type: enhancement

Status: Open.

#28 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 22, 2022

·  

Availability of the software in a proper state

Make equivalence work with new_channel

type: improvement

Status: Open.

#22 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 14, 2022

·  

Availability of the software in a proper state