Hi,
I suggest adding the correct CORA 2020 download link to the manual https://tumcps.github.io/CORA/data/CORA_2020.zip, instead of only linking to the website.
Also, make clear that CORA is not backward compatible.

Possible issue noticed inside MATLAB script ". \algorithms\linSysMPC\linSysMPC.m". On lines 184 and 185,  the function "project" is called. Matlab flags this function as an error and mentions "'project' has been removed. With appropriate code changes, use 'projfwd' instead."

Examples from AROC were run with:
Matlab R2023a, AROC_2022, CORA_2022, MOSEK (without operator overloading)

The CORA 2022 and ACADO are successfully installed withnot test failures. However, the AROC test can not pass with 13/18 cases failure. Would you please help my installing?

The running log is attached as follows,

runUnitTests
Running testCombinedControl
Time step: 1
Starting parallel pool (parpool) using the 'Processes' profile ...
Connected to parallel pool with 8 workers.
.
Done testCombinedControl

Running testConformantSynthesis
.

Error occurred in testConformantSynthesis/TestLinearConformanceChecking and it did not run to completion.
---------
Error ID:
---------
'CORA:wrongInputInConstructor'
--------------
Error Details:
--------------
Error using linearSys>aux_checkInputArgs
Wrong input arguments for constructor of class: linearSys
Column dimension of output matrix C must match row/column dimension of state matrix A.
Type 'help linearSys' for more information.

Error in linearSys (line 92)
        aux_checkInputArgs(name,A,B,c,C,D,k,nargin);

Error in conformantSynthesisLinear>discreteTimeSystem (line 231)
    sys = linearSysDT(linearSys(A,[B,D],[],c),dt);

Error in conformantSynthesisLinear (line 150)
                    [A_,B_,D_,c_] = discreteTimeSystem(A,B,D,c,dt);

Error in conformantSynthesis (line 119)
        [W,V] = conformantSynthesisLinear(A,B,D,c,measurements,Opts);

Error in testConformantSynthesis (line 116)
[W,V] = conformantSynthesis('platoon',M,Opts);

================================================================================
.
Done testConformantSynthesis