Search results

[Feature Request] Pipeline Operator to be used in __call__

Status: Open.

#237 In cdonovick/peak;

· rdaly525 opened on Oct 8, 2021

Please add a LICENSE file

Status: Open.

#209 In cdonovick/peak;

· mithro opened on Oct 5, 2020

Family issues

Status: Open.

#208 In cdonovick/peak;

· rdaly525 opened on Sep 18, 2020

external loop code does not work with Float (UF)

Status: Open.

#174 In cdonovick/peak;

· rdaly525 opened on Jun 12, 2020

Add test for Sum of Products with the rewrite rule generator

Status: Open.

#166 In cdonovick/peak;

· rdaly525 opened on Jun 9, 2020

Add ability to constrain particular Sum/Tagged Union choices

Status: Open.

#165 In cdonovick/peak;

· rdaly525 opened on Jun 8, 2020

rewrite rule generator can choose "impossible" values

Status: Open.

#162 In cdonovick/peak;

· rdaly525 opened on Jun 7, 2020

Feature Request: Assembling "external" functions

Status: Open.

#159 In cdonovick/peak;

· rdaly525 opened on May 10, 2020

Tuple argument in __call__ causes fault error

Status: Open.

#154 In cdonovick/peak;

· jack-melchert opened on Apr 22, 2020

Tuple construction within call

Status: Open.

#153 In cdonovick/peak;

· rdaly525 opened on Apr 16, 2020

Restrict the search space of the mapper

Status: Open.

#130 In cdonovick/peak;

· rdaly525 opened on Feb 6, 2020

Mapper should only existentially quantify values of type Const

Status: Open.

#129 In cdonovick/peak;

· rdaly525 opened on Feb 6, 2020