-
Notifications
You must be signed in to change notification settings - Fork 12
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Apply
pre_dcpto one componentenhancementNew feature or requestNew feature or requestStatus: Open.#42 In verified-optimization/CvxLean;Reduce number of congruence rules applied by
pre_dcpenhancementNew feature or requestNew feature or requestStatus: Open.#41 In verified-optimization/CvxLean;PANIC on
mvarId!bugSomething isn't workingSomething isn't workingStatus: Open.#40 In verified-optimization/CvxLean;Project website
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#39 In verified-optimization/CvxLean;DCP autogenerated constraint names
enhancementNew feature or requestNew feature or requestStatus: Open.#38 In verified-optimization/CvxLean;Interactive online tutorial
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#37 In verified-optimization/CvxLean;New command:
#dcp_checkenhancementNew feature or requestNew feature or requestStatus: Open.#36 In verified-optimization/CvxLean;Support for ECOS
enhancementNew feature or requestNew feature or requestStatus: Open.#35 In verified-optimization/CvxLean;New command:
#print_atomsenhancementNew feature or requestNew feature or requestStatus: Open.#34 In verified-optimization/CvxLean;