Search results

Formal spec "Broadcast"

FormalIssue concerning formal specificationIssue concerning formal specification

Status: Open.

#108 In ericjenn/working-groups;

· JeanLoupFarges opened on Jan 20, 2026

Update guidelines

Other

TLSE WGWorking group meeting periodically in Toulouse (France)Working group meeting periodically in Toulouse (France)

Status: Open.

#106 In ericjenn/working-groups;

· ericjenn opened on Jan 15, 2026

Update glossary

Other

Status: Open.

#105 In ericjenn/working-groups;

· ericjenn opened on Jan 15, 2026

Informal spec "LeakyRelu"

Status: Open.

#104 In ericjenn/working-groups;

· ericjenn opened on Jan 15, 2026

Formal spec "Flatten"

FormalIssue concerning formal specificationIssue concerning formal specification

Status: Open.

#100 In ericjenn/working-groups;

· ericjenn opened on Dec 17, 2025

Formal spec "Squeeze"

FormalIssue concerning formal specificationIssue concerning formal specification

Status: Open.

#99 In ericjenn/working-groups;

· ericjenn opened on Dec 17, 2025

Formal spec "Range"

FormalIssue concerning formal specificationIssue concerning formal specification

Status: Open.

#98 In ericjenn/working-groups;

· ericjenn opened on Dec 17, 2025

Formal spec "Shape"

FormalIssue concerning formal specificationIssue concerning formal specification

Status: Open.

#97 In ericjenn/working-groups;

· ericjenn opened on Dec 17, 2025

Create guidelines to specify numerical accuracy.

NumAccIssue concerning the specification / analysis of numerical accuracyIssue concerning the specification / analysis of numerical accuracy

Status: Open.

#96 In ericjenn/working-groups;

· ericjenn opened on Dec 17, 2025

Informal spec "Reshape"

Status: Open.

#95 In ericjenn/working-groups;

· ericjenn opened on Dec 17, 2025

Tests for "Range"

TestIssue concerning testingIssue concerning testing

Status: Open.

#94 In ericjenn/working-groups;

· jc-machado opened on Dec 16, 2025

Informal spec "Range"

Status: Open.

#93 In ericjenn/working-groups;

· jc-machado opened on Dec 16, 2025