BONNOT Paul 2444f6c60a Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.

2023-09-07 18:05:01 +00:00

..

arrays

Move CVC4 proofs to CVC5

2023-08-28 14:31:08 +02:00

break_continue

Move CVC4 proofs to CVC5

2023-08-28 14:31:08 +02:00

check_duplicates

Move CVC4 proofs to CVC5

2023-08-28 14:31:08 +02:00

concat

updated sessions

2023-08-24 16:29:59 +02:00

dicho

updated sessions

2023-08-24 16:29:59 +02:00

even

updated sessions

2023-08-24 16:29:59 +02:00

fact

updated sessions

2023-08-24 16:29:59 +02:00

is_sorted

Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.

2023-09-07 18:05:01 +00:00

isqrt

updated sessions

2023-08-24 16:29:59 +02:00

isqrt_fun

updated sessions

2023-08-24 16:29:59 +02:00

mult

updated sessions

2023-08-24 16:29:59 +02:00

nim

updated sessions

2023-08-24 16:29:59 +02:00

pgcd

updated sessions

2023-08-24 16:29:59 +02:00

range

updated sessions

2023-08-24 16:29:59 +02:00

reverse

updated sessions

2023-08-24 16:29:59 +02:00

selection_sort

Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.

2023-09-07 18:05:01 +00:00

sort

Resolve "Remove axioms in Z3 and CVC4 drivers"

2023-09-01 15:47:33 +00:00

sum_reverse

Move CVC4 proofs to CVC5

2023-08-28 14:31:08 +02:00

triangular

updated sessions

2023-08-24 16:29:59 +02:00

turing

Move CVC4 proofs to CVC5

2023-08-28 14:31:08 +02:00

types

Move CVC4 proofs to CVC5

2023-08-28 14:31:08 +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

selection_sort.py

new python example selection sort

2023-03-08 10:39:55 +01: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