summaryrefslogtreecommitdiff
path: root/contrib/fourier
ModeNameSize
-rw-r--r--Fourier.v973logplain
-rw-r--r--Fourier_util.v5270logplain
-rw-r--r--fourier.ml6259logplain
-rw-r--r--fourierR.ml20995logplain
-rw-r--r--g_fourier.ml4705logplain