Issues

• Apply pre_dcp to one component

  enhancement
  verified-optimization/CvxLean#42 · Filter by author ramonfmir opened on May 21, 2024

• Reduce number of congruence rules applied by pre_dcp

  enhancement
  verified-optimization/CvxLean#41 · Filter by author ramonfmir opened on May 21, 2024

• PANIC on mvarId!

  bug
  verified-optimization/CvxLean#40 · Filter by author ramonfmir opened on May 21, 2024

• Project website

  documentation
  verified-optimization/CvxLean#39 · Filter by author ramonfmir opened on May 21, 2024

• DCP autogenerated constraint names

  enhancement
  verified-optimization/CvxLean#38 · Filter by author ramonfmir opened on May 21, 2024

• Interactive online tutorial

  documentation
  verified-optimization/CvxLean#37 · Filter by author ramonfmir opened on May 21, 2024

• New command: #dcp_check

  enhancement
  verified-optimization/CvxLean#36 · Filter by author ramonfmir opened on May 21, 2024

• Support for ECOS

  enhancement
  verified-optimization/CvxLean#35 · Filter by author ramonfmir opened on May 21, 2024

• New command: #print_atoms

  enhancement
  verified-optimization/CvxLean#34 · Filter by author ramonfmir opened on May 21, 2024