aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/fourier
ModeNameSize
-rw-r--r--.cvsignore5logplain
-rw-r--r--Fourier.v926logplain
-rw-r--r--Fourier_util.v5218logplain
-rw-r--r--fourier.ml6211logplain
-rw-r--r--fourierR.ml20945logplain
-rw-r--r--g_fourier.ml4683logplain