Merge branch '876-ide-crashes-when-clicking-on-goal' into 'master'master
[why3.git] / examples / python / 
tree9e4cdfa377b6fd1f718edb99c46afd9f99ae1335
drwxr-xr-x   ..
-rw-r--r-- 1118 arrays.py
drwxr-xr-x - arrays
-rw-r--r-- 323 break_continue.py
drwxr-xr-x - break_continue
-rw-r--r-- 235 check_duplicates.py
drwxr-xr-x - check_duplicates
-rw-r--r-- 620 concat.py
drwxr-xr-x - concat
-rw-r--r-- 799 dicho.py
drwxr-xr-x - dicho
-rw-r--r-- 261 even.py
drwxr-xr-x - even
-rw-r--r-- 117 fact.py
drwxr-xr-x - fact
-rw-r--r-- 323 is_sorted.py
drwxr-xr-x - is_sorted
-rw-r--r-- 293 isqrt.py
drwxr-xr-x - isqrt
-rw-r--r-- 367 isqrt_fun.py
drwxr-xr-x - isqrt_fun
-rw-r--r-- 395 mult.py
drwxr-xr-x - mult
-rw-r--r-- 1052 nim.py
drwxr-xr-x - nim
-rw-r--r-- 213 pgcd.py
drwxr-xr-x - pgcd
-rw-r--r-- 236 range.py
drwxr-xr-x - range
-rw-r--r-- 520 reverse.py
drwxr-xr-x - reverse
-rw-r--r-- 559 selection_sort.py
drwxr-xr-x - selection_sort
-rw-r--r-- 887 sort.py
drwxr-xr-x - sort
-rw-r--r-- 205 sum_reverse.py
drwxr-xr-x - sum_reverse
-rw-r--r-- 262 triangular.py
drwxr-xr-x - triangular
-rw-r--r-- 468 turing.py
drwxr-xr-x - turing
-rw-r--r-- 462 types.py
drwxr-xr-x - types