diff options
Diffstat (limited to 'coq/ML4PG/doc/src/images')
18 files changed, 0 insertions, 0 deletions
diff --git a/coq/ML4PG/doc/src/images/algorithm1.png b/coq/ML4PG/doc/src/images/algorithm1.png Binary files differnew file mode 100644 index 00000000..8c8f47b5 --- /dev/null +++ b/coq/ML4PG/doc/src/images/algorithm1.png diff --git a/coq/ML4PG/doc/src/images/algorithm2.png b/coq/ML4PG/doc/src/images/algorithm2.png Binary files differnew file mode 100644 index 00000000..6b5e0835 --- /dev/null +++ b/coq/ML4PG/doc/src/images/algorithm2.png diff --git a/coq/ML4PG/doc/src/images/clusters1.png b/coq/ML4PG/doc/src/images/clusters1.png Binary files differnew file mode 100644 index 00000000..ca4ef219 --- /dev/null +++ b/coq/ML4PG/doc/src/images/clusters1.png diff --git a/coq/ML4PG/doc/src/images/clusters1pg.png b/coq/ML4PG/doc/src/images/clusters1pg.png Binary files differnew file mode 100644 index 00000000..b39d409f --- /dev/null +++ b/coq/ML4PG/doc/src/images/clusters1pg.png diff --git a/coq/ML4PG/doc/src/images/clusters2.png b/coq/ML4PG/doc/src/images/clusters2.png Binary files differnew file mode 100644 index 00000000..f091abbe --- /dev/null +++ b/coq/ML4PG/doc/src/images/clusters2.png diff --git a/coq/ML4PG/doc/src/images/clusters2pg.png b/coq/ML4PG/doc/src/images/clusters2pg.png Binary files differnew file mode 100644 index 00000000..6ba6dcb4 --- /dev/null +++ b/coq/ML4PG/doc/src/images/clusters2pg.png diff --git a/coq/ML4PG/doc/src/images/export.png b/coq/ML4PG/doc/src/images/export.png Binary files differnew file mode 100644 index 00000000..de048b47 --- /dev/null +++ b/coq/ML4PG/doc/src/images/export.png diff --git a/coq/ML4PG/doc/src/images/fig1.png b/coq/ML4PG/doc/src/images/fig1.png Binary files differnew file mode 100644 index 00000000..955fd048 --- /dev/null +++ b/coq/ML4PG/doc/src/images/fig1.png diff --git a/coq/ML4PG/doc/src/images/fig1pg.png b/coq/ML4PG/doc/src/images/fig1pg.png Binary files differnew file mode 100644 index 00000000..d4a0df9f --- /dev/null +++ b/coq/ML4PG/doc/src/images/fig1pg.png diff --git a/coq/ML4PG/doc/src/images/fig2.png b/coq/ML4PG/doc/src/images/fig2.png Binary files differnew file mode 100644 index 00000000..ed8c399e --- /dev/null +++ b/coq/ML4PG/doc/src/images/fig2.png diff --git a/coq/ML4PG/doc/src/images/fig3.png b/coq/ML4PG/doc/src/images/fig3.png Binary files differnew file mode 100644 index 00000000..f3741a0e --- /dev/null +++ b/coq/ML4PG/doc/src/images/fig3.png diff --git a/coq/ML4PG/doc/src/images/fig4.png b/coq/ML4PG/doc/src/images/fig4.png Binary files differnew file mode 100644 index 00000000..9df097bd --- /dev/null +++ b/coq/ML4PG/doc/src/images/fig4.png diff --git a/coq/ML4PG/doc/src/images/fig5.png b/coq/ML4PG/doc/src/images/fig5.png Binary files differnew file mode 100644 index 00000000..733a3d22 --- /dev/null +++ b/coq/ML4PG/doc/src/images/fig5.png diff --git a/coq/ML4PG/doc/src/images/frequencies.png b/coq/ML4PG/doc/src/images/frequencies.png Binary files differnew file mode 100644 index 00000000..4f90b5fc --- /dev/null +++ b/coq/ML4PG/doc/src/images/frequencies.png diff --git a/coq/ML4PG/doc/src/images/granularity.png b/coq/ML4PG/doc/src/images/granularity.png Binary files differnew file mode 100644 index 00000000..385b3972 --- /dev/null +++ b/coq/ML4PG/doc/src/images/granularity.png diff --git a/coq/ML4PG/doc/src/images/levels.png b/coq/ML4PG/doc/src/images/levels.png Binary files differnew file mode 100644 index 00000000..48e02db7 --- /dev/null +++ b/coq/ML4PG/doc/src/images/levels.png diff --git a/coq/ML4PG/doc/src/images/ml_system1.png b/coq/ML4PG/doc/src/images/ml_system1.png Binary files differnew file mode 100644 index 00000000..f11cebf1 --- /dev/null +++ b/coq/ML4PG/doc/src/images/ml_system1.png diff --git a/coq/ML4PG/doc/src/images/ml_system2.png b/coq/ML4PG/doc/src/images/ml_system2.png Binary files differnew file mode 100644 index 00000000..792c423d --- /dev/null +++ b/coq/ML4PG/doc/src/images/ml_system2.png |