Search results

Remove initialization syntax

good first issue

syntax

Status: Open.

#22 In labs-lang/labs;

· lou1306 opened on Jul 29, 2024

STS reduction

Status: Open.

#21 In labs-lang/labs;

· lou1306 opened on May 23, 2020

Maintain order of properties to check (BMC)

Status: Open.

#20 In labs-lang/labs;

· lou1306 opened on Jun 6, 2019

Multiple initializations for variables

enhancement

syntax

Status: Open.

#19 In labs-lang/labs;

· lou1306 opened on Apr 26, 2019

Fix parentheses parsing

Status: Open.

#15 In labs-lang/labs;

· lou1306 opened on Nov 22, 2018

"Let" bindings

Status: Open.

#14 In labs-lang/labs;

· lou1306 opened on Nov 1, 2018

Parametric process invocation

Status: Open.

#13 In labs-lang/labs;

· lou1306 opened on Oct 31, 2018

Replace global clock with Lamport timestamps

enhancement

Status: Open.

#10 In labs-lang/labs;

· lou1306 opened on Sep 28, 2018