MARCHE Claude 715fa89d16 separate transformations for intros, dequant, and remove_unused ...

remove unused before reflection transformation

avoid subst to a unused symbol

2023-04-25 12:20:08 +00:00

..

arrays

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

break_continue

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

check_duplicates

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

concat

Initial bulk upgrade of z3

2023-04-13 09:43:18 +00:00

dicho

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

even

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

fact

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

is_sorted

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

isqrt

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

isqrt_fun

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

mult

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

nim

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

pgcd

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

range

Initial bulk upgrade of z3

2023-04-13 09:43:18 +00:00

reverse

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

selection_sort

Initial bulk upgrade of z3

2023-04-13 09:43:18 +00:00

sort

separate transformations for intros, dequant, and remove_unused

2023-04-25 12:20:08 +00:00

sum_reverse

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

triangular

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

turing

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01:00

types

fix obsolete sessions and one failed session

2023-02-07 12:25:21 +01: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

…

even.py

Python: Added examples

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

fact.py

…

is_sorted.py

fixed Python example and proof session

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

isqrt_fun.py

…

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

selection_sort.py

new python example selection sort

2023-03-08 10:39:55 +01:00

sort.py

…

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