Search results

Apply pre_dcp to one component

enhancementNew feature or requestNew feature or request

Status: Open.

#42 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

Reduce number of congruence rules applied by pre_dcp

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

PANIC on mvarId!

bugSomething isn't workingSomething isn't working

Status: Open.

#40 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

Project website

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#39 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

DCP autogenerated constraint names

enhancementNew feature or requestNew feature or request

Status: Open.

#38 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

Interactive online tutorial

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#37 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

New command: #dcp_check

enhancementNew feature or requestNew feature or request

Status: Open.

#36 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

Support for ECOS

enhancementNew feature or requestNew feature or request

Status: Open.

#35 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024

New command: #print_atoms

enhancementNew feature or requestNew feature or request

Status: Open.

#34 In verified-optimization/CvxLean;

· ramonfmir opened on May 21, 2024