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 <code>Core_Bisimilarities</code> to <code>Basic_Bisimilarities</code>

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 <code>process family</code> 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 <code>Thorn_Calculus-Examples</code>

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 <code>equivalence</code> work with <code>repeated_receive</code>

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 <code>equivalence</code> work with <code>receive</code>

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 <code>equivalence</code> work with <code>new_channel</code>

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