why3/examples/stdlib at master - why3

ada/why3

Fork 0

mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00

Files

History

Claude Marche fc857b2fc2 proved udivexact generique

2025-11-25 11:26:25 +01:00

array

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

bintree

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

byte_string

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

fmap

fix sessions and CE oracles

2024-11-14 14:48:30 +01:00

list

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

mach

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

map

map.MapPermut is a permutation

2025-05-07 23:43:38 +02:00

pigeon

fix sessions and CE oracles

2024-11-14 14:48:30 +01:00

pqueue

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

stringCheck

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

tagset

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

ufloat

proved udivexact generique

2025-11-25 11:26:25 +01:00

witness

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

stringCheck.mlw

String theory: change [] to s_at (at is a why3 reserved keyword)

2020-01-24 15:43:50 +01:00