start improving the stability of smt in DynMatrix#830

fdupress wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

dynmatrix-stabilityEasyCrypt/easycrypt:dynmatrix-stabilityCopy head branch name to clipboard