ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.1
why3/examples/python
History
Matteo Manighetti 7ae65be566 Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
..
arrays
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
break_continue
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
check_duplicates
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
concat
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
dicho
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
even
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
fact
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
is_sorted
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
isqrt
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
isqrt_fun
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
mult
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
nim
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
pgcd
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
range
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
reverse
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
selection_sort
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
sort
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
sum_reverse
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
triangular
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
turing
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
types
fix sessions and CE oracles
2024-11-14 14:48:30 +01:00
arrays.py
…
break_continue.py
…
check_duplicates.py
…
concat.py
Remove some trailing whitespaces.
2023-11-23 18:46:29 +01:00
dicho.py
…
even.py
…
fact.py
…
is_sorted.py
fixed Python example and proof session
2022-09-09 14:56:11 +02:00
isqrt_fun.py
…
isqrt.py
…
mult.py
…
nim.py
…
pgcd.py
…
range.py
…
reverse.py
…
selection_sort.py
new python example selection sort
2023-03-08 10:39:55 +01:00
sort.py
…
sum_reverse.py
…
triangular.py
…
turing.py
fixed Python lexer
2021-12-09 08:48:51 +01:00
types.py
…