Jean-Christophe Filliatre f95a5214f6 fixed Python example and proof session

2022-09-09 14:56:11 +02:00

..

arrays

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

break_continue

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

check_duplicates

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

concat

fix sessions

2021-10-30 11:11:24 +02:00

dicho

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

even

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

fact

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

is_sorted

fixed Python example and proof session

2022-09-09 14:56:11 +02:00

isqrt

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

isqrt_fun

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

mult

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

nim

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

pgcd

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

range

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

reverse

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

sort

introduce_premises also "dequant" the let-ins

2022-04-21 16:23:20 +00:00

sum_reverse

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

triangular

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

turing

micro-Python: new example

2021-12-06 10:34:17 +01:00

types

micro-Python: added support for built-in function pow

2021-10-29 15:57:14 +02:00

arrays.py

bench of Python/Micro-C files

2021-07-08 14:45:49 +02:00

break_continue.py

bench of Python/Micro-C files

2021-07-08 14:45:49 +02:00

check_duplicates.py

Python: Added examples

2021-06-24 11:44:07 +02:00

concat.py

Python: Added examples

2021-06-24 11:44:07 +02:00

dicho.py

moved micro-C/Python examples from tests/ to examples/

2021-02-05 20:01:48 +01:00

even.py

Python: Added examples

2021-06-24 11:44:07 +02:00

fact.py

moved micro-C/Python examples from tests/ to examples/

2021-02-05 20:01:48 +01:00

is_sorted.py

fixed Python example and proof session

2022-09-09 14:56:11 +02:00

isqrt_fun.py

moved micro-C/Python examples from tests/ to examples/

2021-02-05 20:01:48 +01:00

isqrt.py

Python: Added examples

2021-06-24 11:44:07 +02:00

mult.py

Python: Added examples

2021-06-24 11:44:07 +02:00

nim.py

Python: Added examples

2021-06-24 11:44:07 +02:00

pgcd.py

Python: Added examples

2021-06-24 11:44:07 +02:00

range.py

Python: Added examples

2021-06-24 11:44:07 +02:00

reverse.py

Python: Added examples

2021-06-24 11:44:07 +02:00

sort.py

moved micro-C/Python examples from tests/ to examples/

2021-02-05 20:01:48 +01:00

sum_reverse.py

Python: Added examples

2021-06-24 11:44:07 +02:00

triangular.py

Python: Added examples

2021-06-24 11:44:07 +02:00

turing.py

fixed Python lexer

2021-12-09 08:48:51 +01:00

types.py

micro Python: type annotations in programs

2021-09-24 18:27:07 +02:00