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
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

5 Commits

Author SHA1 Message Date
Guillaume Melquiond
19b2b452d0 Fix typos. 2023-11-23 18:38:17 +01:00
Jean-Christophe Filliatre
110fc6f4d5 space-saving example: general case 2023-05-10 20:34:28 +02:00
Jean-Christophe Filliatre
458db577d6 space-saving example: better use map instead of seq 2023-05-10 11:20:26 +02:00
Jean-Christophe Filliatre
7e766e5378 space_saving example: no need to mention s in the spec 2023-05-09 15:58:42 +02:00
Jean-Christophe Filliatre
d350e39fd2 new example: space saving algorithm 2023-05-09 15:54:05 +02:00